Παρακολούθηση
Luciano Lavagno
Luciano Lavagno
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα polito.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
SIS: A system for sequential circuit synthesis
ME Sentovich
Memorandom no. UCB/ERL M92/41, 1992
24761992
Hardware-software co-design of embedded systems: the POLIS approach
F Balarin, P Giusto, A Jurecska, C Passerone, E Sentovich, B Tabbara, ...
Springer Science & Business Media, 2012
11412012
Design of embedded systems: Formal models, validation, and synthesis
S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli
Proceedings of the IEEE 85 (3), 366-390, 1997
8111997
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
7791997
Metropolis: An integrated electronic system design environment
F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ...
Computer 36 (4), 45-52, 2003
6762003
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
3481998
Hardware-software codesign of embedded systems
M Chiodo, P Giusto, A Jurecska, HC Hsieh, A Sangiovanni-Vincentelli, ...
IEEE micro 14 (4), 26-36, 1994
3431994
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
3222012
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
2802006
EDA for IC implementation, circuit design, and process technology
L Lavagno, L Scheffer, G Martin
CRC press, 2018
230*2018
Algorithms for synthesis and testing of asynchronous circuits
L Lavagno, A Sangiovanni-Vincentelli
Springer Science & Business Media, 1993
2021993
UML for Real
L Lavagno, G Martin, B Selic
Kluwer Academic Publishers, 2003
1982003
Algorithms for synthesis of hazard-free asynchronous circuits
L Lavagno, K Keutzer, A Sangiovanni-Vincentelli
Proceedings of the 28th ACM/IEEE Design Automation Conference, 302-308, 1991
1911991
Scheduling for embedded real-time systems
F Balarin, L Lavagno, P Murthy, A Sangiovanni-Vincentelli, CD Systems
IEEE Design & Test of Computers 15 (1), 71-82, 1998
1851998
Formal models for embedded system design
M Sgroi, L Lavagno, A Sangiovanni-Vincentelli
IEEE Design & Test of Computers 17 (2), 14-27, 2000
1622000
Embedded UML: a merger of real-time UML and co-design
G Martin, L Lavagno, J Louis-Guerin
Proceedings of the ninth international symposium on Hardware/software …, 2001
1572001
Hardware design and Petri nets
A Yakovlev, L Gomes, L Lavagno
Kluwer Academic Publishers 1 (2), 3, 2000
1472000
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
1462004
Synthesis of embedded software using free-choice Petri nets
M Sgroi, L Lavagno, Y Watanabe, A Sangiovanni-Vincentelli
Proceedings of the 36th annual ACM/IEEE design automation conference, 805-810, 1999
1381999
ECL: A specification environment for system-level design
L Lavagno, E Sentovich
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 511-516, 1999
1341999
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20