Go to the content (press return)

Scientific and technological production

1 to 50 of 384 results
 
  • Mining structured Petri nets for the visualization of process behavior

     De San Pedro, J.; Cortadella, J.
    ACM Symposium on Applied Computing*
    p. 839-846
    DOI: 10.1145/2851613.2851645
    Presentation's date: 2016-04
    Presentation of work at congresses
  • RTL synthesis: From logic synthesis to automatic pipelining  Open access

     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
    Date of publication: 2015-11-01
    Journal article
    Access to the full text
  • Reactive clocks with variability-tracking jitter  Open access

     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
    Presentation's date: 2015-10-20
    Presentation of work at congresses
    Access to the full text
  • Log-based simplification of process models  Open access

     De San Pedro, J.; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Presentation's date: 2015-09-03
    Presentation of work at congresses
    Access to the full text
  • SafeRazor: Metastability-robust adaptive clocking in resilient circuits  Open access

     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
    Date of publication: 2015-09-01
    Journal article
    Access to the full text
  • Adaptive clock with useful jitter  Open access

     Cortadella, J.; Lavagno, L.; López, P.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    Date: 2015-05-19
    Report
    Access to the full text
  • IEEE Fellow

     Cortadella, J.
    Award or recognition
  • A retargetable and accurate methodology for logic-IP-internal electromigration assessment  Open access

     Jain, P.; Sapatnekar, S.; Cortadella, J.
    Asia and South Pacific Design Automation Conference
    p. 346-351
    DOI: 10.1109/ASPDAC.2015.7059029
    Presentation's date: 2015-01
    Presentation of work at congresses
    Access to the full text
  • Process discovery algorithms using numerical abstract domains  Open access

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Date of publication: 2014-12-01
    Journal article
    Access to the full text
  • A hierarchical approach for generating regular floorplans  Open access

     De San Pedro, J.; Cortadella, J.; Roca, A.
    IEEE/ACM International Conference on Computer Aided Design
    p. 655-662
    DOI: 10.1109/ICCAD.2014.7001422
    Presentation's date: 2014-11-05
    Presentation of work at congresses
    Access to the full text
  • Metastability in better-than-worst-case designs  Open access

     Beer, S.; Cannizzaro, M.; Cortadella, J.; Ginosar, R.; Lavagno, L.
    International Symposium on Asynchronous Circuits and Systems
    p. 101-102
    DOI: 10.1109/ASYNC.2014.21
    Presentation's date: 2014-05
    Presentation of work at congresses
    Access to the full text
  • Adaptive Clocking Configurations and Calibration Methods Thereof

     Cortadella, J.
    Date of request: 2014-04-25
    Invention patent
  • A boolean rule-based approach for manufacturability-aware cell routing  Open access

     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
    Date of publication: 2014-03-01
    Journal article
    Access to the full text
  • Hardware primitives for the synthesis of multithreaded elastic systems  Open access

     Dimitrakopoulos, G.; Seitanidis, I.; Psarras, A.; Tsiouris, K.; Mattheakis, P.; Cortadella, J.
    Design, Automation & Test in Europe Conference & Exhibition
    p. 1-4
    DOI: 10.7873/DATE2014.314
    Presentation's date: 2014-03
    Presentation of work at congresses
    Access to the full text
  • Modelos y métodos computacionales para datos masivos estructurados

     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.; Orejas, F.
    Competitive project
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     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.; De San Pedro, J.; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.; Diaz, J.
    Competitive project
  • Area-optimal transistor folding for 1-D gridded cell design  Open access

     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
    Date of publication: 2013-11
    Journal article
    Access to the full text
  • Membre de l'Academia Europaea

     Cortadella, J.
    Award or recognition
  • Automatic Synthesis and Optimization of Chip Multiprocessors  Open access

     Nikitin, N.
    Universitat Politècnica de Catalunya
    Theses
  • 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
    Date of publication: 2013-02
    Journal article
  • Architectural exploration of large-scale hierarchical chip multiprocessors

     Nikitin, N.; De San Pedro, J.; 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
    Date of publication: 2013
    Journal article
  • Physical planning for the architectural exploration of large-scale chip multiprocessors

     De San Pedro, J.; Nikitin, N.; Cortadella, J.; Petit, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 1-2
    DOI: 10.1109/NoCS.2013.6558399
    Presentation's date: 2013
    Presentation of work at congresses
  • Physical-aware system-level design for tiled hierarchical chip multiprocessors  Open access

     Cortadella, J.; De San Pedro, J.; Nikitin, N.; Petit, J.
    ACM International Symposium on Physical Design
    p. 3-10
    DOI: 10.1145/2451916.2451920
    Presentation's date: 2013
    Presentation of work at congresses
    Access to the full text
  • 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
    Presentation's date: 2012-03
    Presentation of work at congresses
  • Analytical performance modeling of hierarchical interconnect fabrics

     Nikitin, N.; De San Pedro, J.; Carmona, J.; Cortadella, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 107-114
    DOI: 10.1109/NOCS.2012.20
    Presentation's date: 2012
    Presentation of work at congresses
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     De San Pedro, J.; Carmona, J.; Cortadella, J.; Petit, J.
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Presentation's date: 2012
    Presentation of work at congresses
  • 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
    Date of publication: 2011-12
    Journal article
  • Measuring the tolerance of self-adaptive clocks to supply voltage noise  Open access

     Perez, J.; Moll, F.; Cortadella, J.
    Conference on Design of Circuits and Integrated Systems
    p. 399-404
    Presentation's date: 2011-11-18
    Presentation of work at congresses
    Access to the full text
  • Automatic Pipelining of Elastic Systems

    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • 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
    Date of publication: 2011
    Journal article
  • PERFOMANCE OPTIMIZATION OF ELASTIC SYSTEMS

     Bufistov, D.
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • TOWARDS THE AUTOMATIC SYNTHESIS OF ASYNCHRONOUS COMMUNICATION MECHANISMS

     Costa, K.
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • Introduction to programming

     Cortadella, J.; Gavaldà, R.; Orejas, F.
    Date: 2010-09-01
    Report
  • 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
    Date of publication: 2010-09
    Journal article
  • Process mining meets abstract interpretation  Open access

     Carmona, J.; Cortadella, J.
    Date: 2010-07
    Report
    Access to the full text
  • 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
    Date of publication: 2010-01-26
    Journal article
  • 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
    Date of publication: 2009-10
    Journal article
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     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.; Diaz, J.
    Competitive project
  • 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
    Presentation's date: 2009-09-09
    Presentation of work at congresses
  • Genet: a Tool for the Synthesis and Mining of Petri Nets

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Application of Concurrency to System Design
    p. 181-185
    Presentation's date: 2009-07
    Presentation of work at congresses
  • 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
    Date of publication: 2009-07
    Journal article
  • 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
    p. 288-291
    DOI: 10.1145/1629911.1629988
    Presentation's date: 2009-07
    Presentation of work at congresses
  • Speculation in Elastic Systems

     Galceran, M.; Cortadella, J.; Kishinevsky, M.
    Design, Automation and Test in Europe
    p. 292-295
    Presentation's date: 2009-07
    Presentation of work at congresses
  • Speculation in elastic systems  Open access

     Galceran, M.; Cortadella, J.; Kishinevsky, M.
    Date: 2009-05
    Report
    Access to the full text
  • Retiming and recycling for elastic systems with early evaluation  Open access

     Bufistov, D.; Cortadella, J.; Galceran, M.; Julvez, J.; Kishinevsky, M.
    Date: 2009-04
    Report
    Access to the full text
  • A Recursive Paradigm to Solve Boolean Relations

     Baneres, D.; Cortadella, J.; Kishinevsky, M.
    IEEE transactions on computers
    Vol. 58, num. 4, p. 512-527
    DOI: 10.1109/TC.2008.165
    Date of publication: 2009-04
    Journal article
  • Divide-and-conquer strategies for process mining  Open access

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    Date: 2009-03
    Report
    Access to the full text
  • Region-based algorithms for process mining and synthesis of Petri nets  Open access

     Carmona, J.; Cortadella, J.; Kishinevsky, M.
    Date: 2009-02
    Report
    Access to the full text
  • Scheduling synchronous elastic designs  Open access  awarded activity

     Carmona, J.; Julvez, J.; Cortadella, J.; Kishinevsky, M.
    International Conference on Application of Concurrency to System Design
    p. 52-59
    DOI: 10.1109/ACSD.2009.12
    Presentation's date: 2009
    Presentation of work at congresses
    Access to the full text