Carregant...
Carregant...

Vés al contingut (premeu Retorn)

ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Total activitats: 13
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
ALBCOM
Adreça
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Obrir en finestra nova
Localitat
Barcelona
URL
http://albcom.cs.upc.edu Obrir en finestra nova
Objectius
L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.
Paraules clau
Algorismes, Combinatòria, Complexitat, Especificació, Estructures de dades, Genòmica, Grafs, Sistemes VLSI, Verificació.
Completa aquestes dades (només responsables)
  • Cases Muñoz, Rafel
    (fins 2011-05-31)
  • Clariso Viladrosa, Robert
    (fins 2003-01-31)
  • Clerici Martinez, Silvia Ines
    (fins 2014-12-31)
  • Costa Gorgônio, Kyller
    (fins 2006-09-30)
  • De San Pedro Martín, Javier
    (fins 2016-09-30)
  • Frances Medina, Guillem
    (fins 2009-06-14)
  • Frias Moya, Leonor
    (fins 2010-06-13)
  • Galceran Oms, Marc
    (fins 2010-06-30)
  • Garcia Chacon, Alina
    (fins 2007-04-30)
  • Gascon Caro, Adrian
    (fins 2013-07-31)
  • Gel Moreno, Bernat
    (fins 2010-12-31)
  • Gimenez Llach, Omer
    (fins 2010-10-31)
  • Hernandez Pibernat, Hugo
    (fins 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (fins 2008-09-28)
  • Maneva, Elitza Nikolaeva
    (fins 2009-11-05)
  • Meng, Jiangtao
    (fins 2005-10-15)
  • Muñoz Gama, Jorge
    (fins 2015-02-28)
  • Ochremiak, Joanna Regina
    (fins 2016-08-15)
  • Oliva Valls, Sergi
    (fins 2012-08-31)
  • Perez Gimenez, Xavier
    (fins 2003-08-31)
  • Roca Perez, Antoni
    (fins 2016-11-30)

Producció científica

1 a 13 de 13 resultats
 
  • A boolean rule-based approach for manufacturability-aware cell routing  Accés obert

     Cortadella, J.; Petit, J.; Gomez, S.; Moll, F.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 33, num. 3, p. 409-422
    DOI: 10.1109/TCAD.2013.2292514
    Data de publicació: 2014-03-01
    Article en revista
    Accés al text complet
  • Area-optimal transistor folding for 1-D gridded cell design  Accés obert

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 32, num. 11, p. 1708-1721
    DOI: 10.1109/TCAD.2013.2269680
    Data de publicació: 2013-11
    Article en revista
    Accés al text complet
  • Architectural exploration of large-scale hierarchical chip multiprocessors

     Nikitin, N.; San Pedro, J. de; Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 32, num. 10, p. 1569-1582
    DOI: 10.1109/TCAD.2013.2272539
    Data de publicació: 2013
    Article en revista
  • Elastic Circuits

     Carmona, J.; Cortadella, J.; Kishinevsky, M.; Taubin, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 28, num. 10, p. 1427-1455
    DOI: 10.1109/TCAD.2009.2030436
    Data de publicació: 2009-10
    Article en revista
  • Encoding Large Asynchronous Controllers With ILP Techniques

     Carmona, J.; Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 27, num. 1, p. 20-33
    DOI: 10.1109/TCAD.2007.907238
    Data de publicació: 2008-01
    Article en revista
  • Desynchronization: Synthesis of asynchronous circuits from synchronous specifications

     Cortadella, J.; Kondratyev, A.; Sotiriou, C.; Lavagno, L.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 25, num. 10, p. 1904-1921
    Data de publicació: 2006-10
    Article en revista
  • Synthesis of asynchronous controllers using integer linear programming

     Carmona, J.; Colom, J.; Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 25, num. 9, p. 1637-1651
    Data de publicació: 2006-09
    Article en revista
  • Quasi-Static Scheduling of Independent Tasks for Reactive Systems

     Cortadella, J.; Kondratyev, A.; Lavagno, L.; Passerone, C.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 24, num. 10, p. 1492-1514
    Data de publicació: 2005-10
    Article en revista
  • Timing-driven logic bi-decomposition

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 22, num. 6, p. 675-685
    Data de publicació: 2003-06
    Article en revista
  • Lazy transition systems and asynchronous circuits synthesis with relative timing assumptions

     Cortadella, J.; Kishinevsky, M.; Steve, M.; Kondratyev, A.; Lavagno, L.; Stevens, K.; Taubin, A.; Yakovlev, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 21, num. 2, p. 109-130
    Data de publicació: 2002-02
    Article en revista
  • Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pastor, E.; Yakovlev, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 18, num. 9, p. 1221-1236
    Data de publicació: 2000-09
    Article en revista
  • Structural Methods for the Synthesis of Speed-Independent Circuits

     Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 17, num. 11, p. 1108-1129
    Data de publicació: 1998-11
    Article en revista
  • A Region-Based Theory for State Assignment in Speed-Independent Circuits

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 16, num. 8, p. 793-812
    Data de publicació: 1997-08
    Article en revista