Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 380
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)
  • Sanchez Charles, David
    (fins 2015-12-01)

Producció científica

1 a 50 de 380 resultats
 
  • Jutge.org: characteristics and experiences  Accés obert

     Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
    IEEE transactions on learning technologies
    DOI: 10.1109/TLT.2017.2723389
    Data de publicació: 2017-07-04
    Article en revista
    Accés al text complet
  • Algorithms and Methodologies for lnterconnect Reliability Analysis of lntegrated Circuits  Accés obert

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Discovering duplicate tasks in transition systems for the simplification of process models  Accés obert

     San Pedro, J. de; Cortadella, J.
    International Conference on Business Process Management
    p. 108-124
    DOI: 10.1007/978-3-319-45348-4_7
    Data de presentació: 2016-09
    Presentació treball a congrés
    Accés al text complet
  • A fast and retargetable framework for logic-IP-internal electromigration assessment comprehending advanced waveform effects  Accés obert

     Jain, P.; Cortadella, J.; Sapatnekar, S.
    IEEE transactions on very large scale integration (VLSI) systems
    Vol. 24, num. 6, p. 2345-2358
    DOI: 10.1109/TVLSI.2015.2505504
    Data de publicació: 2016-06-01
    Article en revista
    Accés al text complet
  • Ring oscillator clocks and margins  Accés obert

     Cortadella, J.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 19-26
    DOI: 10.1109/ASYNC.2016.14
    Data de presentació: 2016-05
    Presentació treball a congrés
    Accés al text complet
  • Specification mining for asynchronous controllers  Accés obert

     San Pedro, J. de; Bourgeat, T.; Cortadella, J.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 107-114
    DOI: 10.1109/ASYNC.2016.10
    Data de presentació: 2016-05
    Presentació treball a congrés
    Accés al text complet
  • Mining structured Petri nets for the visualization of process behavior  Accés obert

     San Pedro, J. de; Cortadella, J.
    ACM Symposium on Applied Computing
    p. 839-846
    DOI: 10.1145/2851613.2851645
    Data de presentació: 2016-04
    Presentació treball a congrés
    Accés al text complet
  • RTL synthesis: From logic synthesis to automatic pipelining  Accés obert

     Cortadella, J.; Galceran, M.; Kishinevsky, M.; Sapatnekar, S.
    Proceedings of the IEEE
    Vol. 103, num. 11, p. 2061-2075
    DOI: 10.1109/JPROC.2015.2456189
    Data de publicació: 2015-11-01
    Article en revista
    Accés al text complet
  • Reactive clocks with variability-tracking jitter  Accés obert

     Cortadella, J.; Lavagno, L.; López, P.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    IEEE International Conference on Computer Design
    p. 511-518
    DOI: 10.1109/ICCD.2015.7357159
    Data de presentació: 2015-10-20
    Presentació treball a congrés
    Accés al text complet
  • Log-based simplification of process models  Accés obert

     San Pedro, J. de; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Data de presentació: 2015-09-03
    Presentació treball a congrés
    Accés al text complet
  • SafeRazor: Metastability-robust adaptive clocking in resilient circuits  Accés obert

     Cannizzaro, M.; Beer, S.; Cortadella, J.; Ginosar, R.; Lavagno, L.
    IEEE transactions on circuits and systems I: regular papers
    Vol. 62, num. 9, p. 2238-2247
    DOI: 10.1109/TCSI.2014.2365878
    Data de publicació: 2015-09-01
    Article en revista
    Accés al text complet
  • Adaptive clock with useful jitter  Accés obert

     Cortadella, J.; Lavagno, L.; López, P.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    Data: 2015-05-19
    Document cientificotècnic
    Accés al text complet
  • IEEE Fellow

     Cortadella, J.
    Premi o reconeixement
  • A retargetable and accurate methodology for logic-IP-internal electromigration assessment  Accés obert

     Jain, P.; Sapatnekar, S.; Cortadella, J.
    Asia and South Pacific Design Automation Conference
    p. 346-351
    DOI: 10.1109/ASPDAC.2015.7059029
    Data de presentació: 2015-01
    Presentació treball a congrés
    Accés al text complet
  • Process discovery algorithms using numerical abstract domains  Accés obert

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Data de publicació: 2014-12-01
    Article en revista
    Accés al text complet
  • A hierarchical approach for generating regular floorplans  Accés obert

     San Pedro, J. de; Cortadella, J.; Roca, A.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 655-662
    DOI: 10.1109/ICCAD.2014.7001422
    Data de presentació: 2014-11-05
    Presentació treball a congrés
    Accés al text complet
  • Metastability in better-than-worst-case designs  Accés obert

     Beer, S.; Cannizzaro, M.; Cortadella, J.; Ginosar, R.; Lavagno, L.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 101-102
    DOI: 10.1109/ASYNC.2014.21
    Data de presentació: 2014-05
    Presentació treball a congrés
    Accés al text complet
  • Adaptive Clocking Configurations and Calibration Methods Thereof

     Cortadella, J.
    Data de sol·licitud: 2014-04-25
    Patent d'invenció
  • 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
  • Hardware primitives for the synthesis of multithreaded elastic systems  Accés obert

     Dimitrakopoulos, G.; Seitanidis, I.; Psarras, A.; Tsiouris, K.; Mattheakis, P.; Cortadella, J.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 1-4
    DOI: 10.7873/DATE2014.314
    Data de presentació: 2014-03
    Presentació treball a congrés
    Accés al text complet
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu
  • 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
  • Membre de l'Academia Europaea

     Cortadella, J.
    Premi o reconeixement
  • Automatic Synthesis and Optimization of Chip Multiprocessors  Accés obert

     Nikitin, N.
    Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Brownian circuits: fundamentals

     Peper, F.; Lee, J.; Carmona, J.; Cortadella, J.; Morita, K.
    ACM journal on emerging technologies in computing systems
    Vol. 9, num. 1, p. 3:1-3:24
    DOI: 10.1145/2422094.2422097
    Data de publicació: 2013-02
    Article en revista
  • 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
  • Physical-aware system-level design for tiled hierarchical chip multiprocessors  Accés obert

     Cortadella, J.; San Pedro, J. de; Nikitin, N.; Petit, J.
    ACM International Symposium on Physical Design
    p. 3-10
    DOI: 10.1145/2451916.2451920
    Data de presentació: 2013
    Presentació treball a congrés
    Accés al text complet
  • Physical planning for the architectural exploration of large-scale chip multiprocessors

     San Pedro, J. de; Nikitin, N.; Cortadella, J.; Petit, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 1-2
    DOI: 10.1109/NoCS.2013.6558399
    Data de presentació: 2013
    Presentació treball a congrés
  • Static task mapping for tiled chip multiprocessors with multiple voltage islands

     Nikitin, N.; Cortadella, J.
    International Conference on Architecture of Computing Systems
    p. 50-62
    DOI: 10.1007/978-3-642-28293-5_5
    Data de presentació: 2012-03
    Presentació treball a congrés
  • Analytical performance modeling of hierarchical interconnect fabrics

     Nikitin, N.; San Pedro, J. de; Carmona, J.; Cortadella, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 107-114
    DOI: 10.1109/NOCS.2012.20
    Data de presentació: 2012
    Presentació treball a congrés
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     San Pedro, J. de; Carmona, J.; Cortadella, J.; Petit, J.
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Data de presentació: 2012
    Presentació treball a congrés
  • Microarchitectural Transformations Using Elasticity

     Galceran, M.; Gotmanov, A.; Cortadella, J.; Kishinevsky, M.
    ACM journal on emerging technologies in computing systems
    Vol. 7, num. 4, p. 1-24
    DOI: 10.1145/2043643.2043648
    Data de publicació: 2011-12
    Article en revista
  • Measuring the tolerance of self-adaptive clocks to supply voltage noise  Accés obert

     Perez, J.; Moll, F.; Cortadella, J.
    Conference on Design of Circuits and Integrated Systems
    p. 399-404
    Data de presentació: 2011-11-18
    Presentació treball a congrés
    Accés al text complet
  • Automatic pipelining of elastic systems

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Static task mapping for tiled chip multiprocessors with multiple voltage islands  Accés obert

     Nikitin, N.; Cortadella, J.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • A scheduling strategy for synchronous elastic designs

     Carmona, J.; Julvez, J.; Cortadella, J.; Kishinevsky, M.
    Fundamenta informaticae
    Vol. 108, num. 1-2, p. 1-21
    DOI: 10.3233/FI-2011-411
    Data de publicació: 2011
    Article en revista
  • PERFOMANCE OPTIMIZATION OF ELASTIC SYSTEMS

     Bufistov, D.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • TOWARDS THE AUTOMATIC SYNTHESIS OF ASYNCHRONOUS COMMUNICATION MECHANISMS

     Costa, K.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Introduction to programming

     Cortadella, J.; Gavaldà, R.; Orejas, F.
    Data: 2010-09-01
    Document cientificotècnic
  • On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics

     Julvez, J.; Cortadella, J.; Kishinevsky, M.
    Discrete event dynamic systems-theory and applications
    Vol. 20, num. 356, p. 377-407
    DOI: 10.1007/s10626-009-0079-2
    Data de publicació: 2010-09
    Article en revista
  • Process mining meets abstract interpretation  Accés obert

     Carmona, J.; Cortadella, J.
    Data: 2010-07
    Document cientificotècnic
    Accés al text complet
  • New Region-Based Algorithms for Deriving Bounded Petri Nets

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    IEEE transactions on computers
    Vol. 59, num. 3, p. 371-384
    DOI: 10.1109/TC.2009.131
    Data de publicació: 2010-01-26
    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
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Projecte R+D+I competitiu
  • Divide-and-conquer strategies for process mining

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Business Process Management
    p. 327-343
    DOI: 10.1007/978-3-642-03848-8_22
    Data de presentació: 2009-09-09
    Presentació treball a congrés
  • Genet: a Tool for the Synthesis and Mining of Petri Nets

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Application of Concurrency in System Design
    p. 181-185
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Guest Editorial: Special Section on Asynchronous Circuits and Systems

     Cortadella, J.; Taubin, A.
    IEEE transactions on very large scale integration (VLSI) systems
    Vol. 17, num. 7, p. 853-854
    DOI: 10.1109/TVLSI.2009.2022864
    Data de publicació: 2009-07
    Article en revista
  • Speculation in Elastic Systems

     Galceran, M.; Cortadella, J.; Kishinevsky, M.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 292-295
    Data de presentació: 2009-07
    Presentació treball a congrés
  • Retiming and Recycling for Elastic Systems with Early Evaluation

     Bufistov, D.; Cortadella, J.; Galceran, M.; Julvez, J.; Kishinevsky, M.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 288-291
    DOI: 10.1145/1629911.1629988
    Data de presentació: 2009-07
    Presentació treball a congrés