BibSonomy :: author  ::

bookmarks

publications

(134)

• A Region-Based Algorithm for Discovering Petri Nets from Event Logs.
  Josep Carmona and Jordi Cortadella and Michael Kishinevsky BPM 358-373 (2008)
  to dblp by dblp on 2008-10-20 00:00:00
  | URL | BibTeX  
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.
  Josep Carmona and Jordi Cortadella and Michael Kishinevsky and Aley Kondratyev and Luciano Lavagno and Alexandre Yakovlev Petri Nets 92-111 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Design Automation of Real-Life Asynchronous Devices and Systems.
  Alexander Taubin and Jordi Cortadella and Luciano Lavagno and Luciano Lavagno and Alex Kondratyev and Ad M. G. Peeters Foundations and Trends in Electronic Design Automation 2 1-133 (2007)
  to dblp by dblp on 2008-05-20 00:00:00
  | URL | BibTeX  
• Encoding Large Asynchronous Controllers With ILP Techniques.
  Josep Carmona and Jordi Cortadella IEEE Trans. on CAD of Integrated Circuits and Systems 27 20-33 (2008)
  to dblp by dblp on 2008-04-08 00:00:00
  | URL | BibTeX  
• Division with speculation of quotient digits.
  Jordi Cortadella and Tomás Lang IEEE Symposium on Computer Arithmetic 87-94 (1993)
  to dblp by dblp on 2008-04-01 00:00:00
  | URL | BibTeX  
• A general model for performance optimization of sequential systems.
  Dmitry Bufistov and Jordi Cortadella and Michael Kishinevsky and Sachin S. Sapatnekar ICCAD 362-369 (2007)
  to dblp by dblp on 2008-01-29 00:00:00
  | URL | BibTeX  
• Working-zone encoding for reducing the energy in microprocessor address buses.
  Enric Musoll and Tomás Lang and Jordi Cortadella IEEE Trans. VLSI Syst. 6 568-572 (1998)
  to dblp by dblp on 2007-11-13 00:00:00
  | URL | BibTeX  
• Verification of Concurrent Systems with Parametric Delays Using Octahedra.
  Robert Clarisó and Jordi Cortadella Fundam. Inform. 78 1-33 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Automating Synthesis of Asynchronous Communication Mechanisms.
  Kyller Costa Gorgônio and Jordi Cortadella and Fei Xia and Alex Yakovlev Fundam. Inform. 78 75-100 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Reducing Register Pressure in Software Pipelining.
  Fermín Sánchez and Jordi Cortadella J. Inf. Sci. Eng. 14 265-279 (1998)
  to dblp by dblp on 2007-10-24 00:00:00
  | URL | BibTeX