Go to the content (press return)

Scientific and technological production

1 to 50 of 368 results
 
  • IEEE Fellow

     Cortadella Fortuny, Jordi
    Award or recognition
  • Process discovery algorithms using numerical abstract domains

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi
    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
  • Metastability in better-than-worst-case designs  Open access

     Beer, Salomon; Cannizzaro, Marco; Cortadella Fortuny, Jordi; Ginosar, Ran; Lavagno, Luciano
    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
  • A boolean rule-based approach for manufacturability-aware cell routing  Open access

     Cortadella Fortuny, Jordi; Petit Silvestre, Jordi; Gomez Fernandez, Sergio; Moll Echeto, Francesc de Borja
    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, George N.; Seitanidis, I.; Psarras, A.; Tsiouris, K.; Mattheakis, Pavlos M.; Cortadella Fortuny, Jordi
    Design, Automation and Test in Europe
    p. 1-4
    DOI: 10.7873/DATE2014.314
    Presentation's date: 2014-03
    Presentation of work at congresses
    Access to the full text
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

     Cortadella Fortuny, Jordi; Orejas Valdes, Fernando; Martinez Parra, Conrado; Serna Iglesias, Maria Jose; Alvarez Faura, Maria Del Carme; Gabarro Valles, Joaquin; Atserias, Albert; Messeguer Peypoch, Xavier; Petit Silvestre, Jordi; Pino Blanco, Elvira Patricia; Roura Ferret, Salvador; Valiente Feruglio, Gabriel Alejandro; Carmona Vargas, Jose; Godoy Balil, Guillermo; Duch Brown, Amalia; Blesa Aguilera, Maria Jose; Molter, Hendrik; De San Pedro Martín, Javier; Muñoz Gama, Jorge; Diaz Cort, Jose Maria
    Competitive project
  • Modelos y métodos computacionales para datos masivos estructurados

     Diaz Cort, Jose Maria; Cortadella Fortuny, Jordi; Serna Iglesias, Maria Jose; Alvarez Faura, Maria Del Carme; Pino Blanco, Elvira Patricia; Carmona Vargas, Jose; Gabarro Valles, Joaquin; Xhafa Xhafa, Fatos; Pasarella Sanchez, Ana Edelmira; Petit Silvestre, Jordi; Mylonakis Pascual, Nicolas Eduardo; Martinez Parra, Conrado; Duch Brown, Amalia; Godoy Balil, Guillermo; Roura Ferret, Salvador; Roca Perez, Antoni; Soares Ribeiro, Joel Tiago; Pérez Giménez, Xavier; Orejas Valdes, Fernando
    Competitive project
  • Area-optimal transistor folding for 1-D gridded cell design  Open access

     Cortadella Fortuny, Jordi
    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 Fortuny, Jordi
    Award or recognition
  • Automatic Synthesis and Optimization of Chip Multiprocessors  Open access

     Nikitin, Nikita
    Universitat Politècnica de Catalunya
    Theses
  • Brownian circuits: fundamentals

     Peper, Ferdinand; Lee, Jia; Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Morita, Kenichi
    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, Nikita; De San Pedro Martín, Javier; Cortadella Fortuny, Jordi
    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 Martín, Javier; Nikitin, Nikita; Cortadella Fortuny, Jordi; Petit Silvestre, Jordi
    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 Fortuny, Jordi; De San Pedro Martín, Javier; Nikitin, Nikita; Petit Silvestre, Jordi
    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, Nikita; Cortadella Fortuny, Jordi
    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
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     De San Pedro Martín, Javier; Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Petit Silvestre, Jordi
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Presentation's date: 2012
    Presentation of work at congresses
  • Analytical performance modeling of hierarchical interconnect fabrics

     Nikitin, Nikita; De San Pedro Martín, Javier; Carmona Vargas, Jose; Cortadella Fortuny, Jordi
    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
  • Microarchitectural Transformations Using Elasticity

     Galceran Oms, Marc; Gotmanov, Alexander; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    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 Puigdemont, Jordi; Moll Echeto, Francesc de Borja; Cortadella Fortuny, Jordi
    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

     Galceran Oms, Marc
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • A scheduling strategy for synchronous elastic designs

     Carmona Vargas, Jose; Julvez, Jorge; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    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

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

     Costa Gorgônio, Kyller
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • Introduction to programming

     Cortadella Fortuny, Jordi; Gavaldà Mestre, Ricard; Orejas Valdes, Fernando
    Date: 2010-09-01
    Report
  • On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics

     Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    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
  • New Region-Based Algorithms for Deriving Bounded Petri Nets

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    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 Vargas, Jose; Cortadella Fortuny, Jordi; 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 Valdes, Fernando; Galceran Oms, Marc; Oliva Valls, Sergi; Godoy Balil, Guillermo; Atserias, Albert; Martinez Parra, Conrado; Pasarella Sanchez, Ana Edelmira; Pino Blanco, Elvira Patricia; Alvarez Faura, Maria Del Carme; Blum, Christian Clemens; Gabarro Valles, Joaquin; Cortadella Fortuny, Jordi; Molinero Albareda, Xavier; Serna Iglesias, Maria Jose; Messeguer Peypoch, Xavier; Roura Ferret, Salvador; Blesa Aguilera, Maria Jose; Valiente Feruglio, Gabriel Alejandro; Duch Brown, Amalia; Carmona Vargas, Jose; Hernandez Pibernat, Hugo; Gel Moreno, Bernat; Gascon Caro, Adrian; Petit Silvestre, Jordi; Diaz Cort, Jose Maria
    Competitive project
  • Divide-and-conquer strategies for process mining

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    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 Vargas, Jose; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    International Conference on Application of Concurrency to System Design
    p. 181-185
    Presentation's date: 2009-07
    Presentation of work at congresses
  • Retiming and Recycling for Elastic Systems with Early Evaluation

     Bufistov, Dmitry; Cortadella Fortuny, Jordi; Galceran Oms, Marc; Julvez Bueno, Jorge Emilio; Kishinevsky, Mike
    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 Oms, Marc; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    Design, Automation and Test in Europe
    p. 292-295
    Presentation's date: 2009-07
    Presentation of work at congresses
  • Guest Editorial: Special Section on Asynchronous Circuits and Systems

     Cortadella Fortuny, Jordi; 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
  • A Recursive Paradigm to Solve Boolean Relations

     Baneres, D; Cortadella Fortuny, Jordi; 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
  • A recursive approach for Process Mining

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi
    Date: 2009-02
    Report
  • Scheduling synchronous elastic designs  Open access  awarded activity

     Carmona Vargas, Jose; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
    International Conference on Application of Concurrency to System Design
    p. 52-59
    DOI: DOI 10.1109/ACSD.2009.12
    Presentation's date: 2009
    Presentation of work at congresses
    Access to the full text
  • Elasticity and Petri Nets

     Cortadella Fortuny, Jordi; Kishinevsky, M; Bufistov, Dmitry; Carmona Vargas, Jose; Júlvez, J
    Transactions on petri nets and other models of concurrency
    Vol. 5100, p. 221-249
    Date of publication: 2008-08
    Journal article
  • Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Yousuke, Takada; Ferdinand, Peper
    ACM journal on emerging technologies in computing systems
    Vol. 4, num. 8, p. 8.1-8.27
    Date of publication: 2008-04
    Journal article
  • Logic Synthesis Techniques for High-Speed Circuits

     Bañeres Besora, David
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • Performance-preserving clustering of elastic controllers

     Carmona Vargas, Jose; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi
    Date: 2008-02
    Report
  • International Conference on Computer Aided Design (ICCAD)

     Cortadella Fortuny, Jordi; Galceran Oms, Marc
    International Conference on Computer Aided Design (ICCAD)
    p. 434-441
    Presentation of work at congresses
  • A region-based algorithm for discovering Petri nets from event logs

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Kishinevsky, Michael
    6th International Conference on Business Process Management
    p. 358-373
    Presentation of work at congresses
  • A Symbolic Algorithm for the Synthesis of Bounded Petri nets

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex
    29th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND OTHER MODELS OF CONCURRENCY
    p. 92-111
    Presentation of work at congresses
  • Elasticity and Petri Nets

     Cortadella Fortuny, Jordi; Kishinevsky, M; Bufistov, Dmitry; Carmona Vargas, Jose; Julvez Bueno, Jorge Emilio
    Lecture notes in computer science
    Vol. 5100, p. 221-249
    Date of publication: 2008-01
    Journal article
  • Encoding Large Asynchronous Controllers With ILP Techniques

     Carmona Vargas, Jose; Cortadella Fortuny, Jordi
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 27, num. 1, p. 20-33
    DOI: 10.1109/TCAD.2007.907238
    Date of publication: 2008-01
    Journal article
  • Métodos formales y algoritmos para el diseño de sistemas

     Xhafa Xhafa, Fatos; Orejas Valdes, Fernando; Godoy Balil, Guillermo; Costa Gorgônio, Kyller; Oliva Valls, Sergi; Galceran Oms, Marc; Gascon Caro, Adrian; Gel Moreno, Bernat; Hernandez Pibernat, Hugo; Duch Brown, Amalia; Blum, Christian Clemens; Pasarella Sanchez, Ana Edelmira; Diaz Cort, Jose Maria; Pino Blanco, Elvira Patricia; Petit Silvestre, Jordi; Alvarez Faura, Maria Del Carme; Blesa Aguilera, Maria Jose; Gabarro Valles, Joaquin; Cortadella Fortuny, Jordi; Serna Iglesias, Maria Jose; Carmona Vargas, Jose
    Competitive project
  • Compilers

     Cortadella Fortuny, Jordi
    Date: 2007-09-01
    Report
  • A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

     Cortadella Fortuny, Jordi; Gorgônio, Kyller Costa; Fei, Xia
    Date of publication: 2007-06-30
    Book chapter