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

Documents Related by Co-Citation

10958 D.S.: Computers and Intractibility: A Guide to the Theory of NP-Completeness – M R Garey, Johnson - 1979
2130 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
369 The synchronous approach to reactive and real-time systems – Albert Benveniste, Gerard Berry - 1991
3410 Communicating Sequential Processes – C. A. R. Hoare - 1985
484 Synchronous data flow – Edward A. Lee, et al. - 1987
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
1010 Wattch: A Framework for Architectural-Level Power Analysis and Optimizations – David Brooks, Vivek Tiwari, Margaret Martonosi - 2000
584 Introduction to the Numerical Solution of Markov Chains – William J Stewart - 1994