Design of Embedded Systems: Formal Models, Validation, and Synthesis (1999)

by S. Edwards , L. Lavagno , E. A. Lee , A. Sangiovanni-Vincentelli
Venue:PROCEEDINGS OF THE IEEE
Citations:92 - 8 self

Documents Related by Co-Citation

1962 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
152 Hardware-Software Co-Design Of Embedded Systems Hardware-Software Co-Design Of Embedded Systems – Felice Balarin, Ellen Sentovich, Massimiliano CHIODO, Paolo GIUSTO, Harry Hsieh, Bassam Tabbara, Attila Jurecska, Magneti Marelli, Divisione Elettronica, Luciano Lavagno, Claudio Passerone
452 Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems – Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt - 1992
343 The synchronous approach to reactive and real-time systems – Albert Benveniste, Gerard Berry - 1991
3119 Communicating Sequential Processes – C. A. R. Hoare - 2004
46 CoWare -- A design environment for heterogeneous hardware/software systems – Karl Van Rompaey, Diederik Verkest, Ivo Bolsens, Hugo De Man - 1996
145 Hardware-software co-design of embedded systems – Wayne H. Wolf - 1994
204 Hardware-software co-synthesis for microcontrollers – R ERNST, J HENKEL, T BENNER - 1993
195 Hardware-software Co-synthesis for Digital Systems – Rajesh K. Gupta, Giovanni De Micheli - 1993
146 Performance Analysis of Embedded Software Using Implicit Path Enumeration – Yau-Tsun Steven Li, Sharad Malik - 1995
58 Performance Estimation for Real-Time Distributed Embedded Systems – T Yen, W Wolf - 1995
169 System-level design: Orthogonalization of concerns and platform-based design – Kurt Keutzer, Sharad Malik, Senior Member, A. Richard Newton, Jan M. Rabaey, A. Sangiovanni-vincentelli - 2000
7324 Cache-oblivious algorithms – M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN - 1999
94 Co-Synthesis of Hardware and Software for Digital Embedded Systems – R K Gupta - 1995
203 Specification and design of embedded systems – D Gajski, F Vahid, S Narayan, J Gong - 1994
102 A model and methodology for hardware-software CoDesign – D E Themes, J K Adams, H Schmit - 1993
38 Scheduling of conditional process graphs for the synthesis of embedded systems – P Eles, K Kuchcinski, Z Peng, A Doboli, P Pop - 1998
2570 Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment – C.L. Liu, James Layland - 1973
25 Hardware/Software co-design of the digital telecommunication systems – Ivo Bolsens, Hugo J. De Man, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest - 1997