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:106 - 9 self

Documents Related by Co-Citation

369 The synchronous approach to reactive and real-time systems – Albert Benveniste, Gerard Berry - 1991
165 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
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
494 Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems – Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt - 1992
245 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
51 CoWare -- A design environment for heterogeneous hardware/software systems – Karl Van Rompaey, Diederik Verkest, Ivo Bolsens, Hugo De Man - 1996
206 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
152 Hardware-software co-design of embedded systems – Wayne H. Wolf - 1994
221 Hardware-Software Co-synthesis for Microcontrollers – R Ernst, J Henkel, T Benner - 1993
214 Hardware-software Co-synthesis for Digital Systems – Rajesh K. Gupta, Giovanni De Micheli - 1993
16 Realtime Signal Processing – H J Reekie - 1995
22 Overview of the ptolemy project – J Davis M Goel, C Hylands, B Kienhuis, E A Lee, J Liu, X Liu, L Muliadi, S Neuendorffer, J Reekie, N Smyth, J Tsay, Y Xiong - 1999
11 Heterogeneous concurrent modeling and design – John Davis, Christopher Hylands, Bart Kienhuis, Edward A Lee, Jie Liu, Xiaojun Liu, Lukito Muliadi, Steve Neuendorffer, Jeff Tsay, Brian Vogel, Yuhong Xiong - 2001
39 Rate Analysis for Embedded Systems – Anmol Mathur, Ali Dasdan, Rajesh K. Gupta - 1998
483 Synchronous data flow – Edward A. Lee, et al. - 1987
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
65 Performance estimation for real-time distributed embedded systems – T Yen, W Wolf - 1998
98 Co-Synthesis of Hardware and Software for Digital Embedded Systems – R K Gupta - 1995
216 Specification and Design of Embedded Systems – D D Gajski, F Vahid, S Narayan, J Gong - 1994