Jordi Cortadella
Jordi Cortadella
Universitat Politècnica de Catalunya
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα upc.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
IEICE Transactions on information and Systems 80 (3), 315-325, 1997
7191997
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
3021998
Logic Synthesis for Asynchronous Controllers and Interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer, 2002
290*2002
Desynchronization: Synthesis of asynchronous circuits from synchronous specifications
J Cortadella, A Kondratyev, L Lavagno, CP Sotiriou
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
2512006
Petri net analysis using boolean manipulation
E Pastor, O Roig, J Cortadella, RM Badia
International Conference on Application and Theory of Petri Nets, 416-435, 1994
2261994
Working-zone encoding for reducing the energy in microprocessor address buses
E Musoll, T Lang, J Cortadella
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 6 (4), 568-572, 1998
1821998
Synthesis of synchronous elastic architectures
J Cortadella, M Kishinevsky, B Grundmann
2006 43rd ACM/IEEE Design Automation Conference, 657-662, 2006
1682006
High-level synthesis techniques for reducing the activity of functional units
E Musoll, J Cortadella
Proceedings of the 1995 international symposium on Low power design, 99-104, 1995
1501995
Handshake protocols for de-synchronization
I Blunno, J Cortadella, A Kondratyev, L Lavagno, K Lwin, C Sotiriou
10th International Symposium on Asynchronous Circuits and Systems, 2004 …, 2004
1382004
Verification of asynchronous circuits by BDD-based model checking of Petri nets
O Roig, J Cortadella, E Pastor
International Conference on Application and Theory of Petri Nets, 374-391, 1995
1281995
Elastic circuits
J Carmona, J Cortadella, M Kishinevsky, A Taubin
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
1252009
A region-based algorithm for discovering Petri nets from event logs
J Carmona, J Cortadella, M Kishinevsky
International Conference on Business Process Management, 358-373, 2008
1192008
Synthesizing Petri nets from state-based models
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
1191995
Individual flip-flops with gated clocks for low power datapaths
T Lang, E Musoll, J Cortadella
IEEE Transactions on Circuits and Systems II: Analog and Digital Signal …, 1997
1171997
Exploiting the locality of memory references to reduce the address bus energy
E Musoll, T Lang, J Cortadella
Proceedings of 1997 International Symposium on Low Power Electronics and …, 1997
1111997
The octahedron abstract domain
R Clarisó, J Cortadella
International Static Analysis Symposium, 312-327, 2004
972004
Symbolic analysis of bounded Petri nets
E Pastor, J Cortadella, O Roig
IEEE Transactions on Computers 50 (5), 432-448, 2001
902001
Scheduling and resource binding for low power
E Musoll, J Cortadella
Proceedings of the 8th international symposium on System synthesis, 104-109, 1995
901995
Task generation and compile-time scheduling for mixed data-control embedded software
J Cortadella, A Kondratyev, L Lavagno, M Massot, S Moral Boadas, ...
881999
Evaluation of A+B=K conditions without carry propagation
J Cortadella, JM Llaberia
Computers, IEEE Transactions on 41 (11), 1484-1488, 1992
84*1992
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20