Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems (1992)

by Joseph Buck , Soonhoi Ha , Edward A. Lee , David G. Messerschmitt
Citations:494 - 84 self

Documents Related by Co-Citation

786 The semantics of a simple language for parallel programming – G Kahn - 1974
193 Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The Token Flow Model – Joseph T. Buck, Edward A. Lee - 1993
189 E.A.: Software Synthesis from Dataflow Graphs – S S Bhattacharyya, P K Murthy, Lee - 1996
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
369 The synchronous approach to reactive and real-time systems – Albert Benveniste, Gerard Berry - 1991
483 Synchronous data flow – Edward A. Lee, et al. - 1987
267 Dataflow Process Networks – Edward A. Lee, Thomas Parks - 1995
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
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
480 Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing – Edward Ashford Lee, David - 1987
78 The Argos Language: Graphical Representation of Automata and Description of Reactive Systems – F. Maraninchi - 1991
113 A Comparison of Statechart Variants – Michael von der Beeck, M - 1994
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
85 Hybrid dynamical systems theory and the SIGNAL language – A Benveniste, P Le Guernic - 1990
31 Program Implementation Schemes for Hardware-Software Systems – Rajesh K. Gupta, Claudionor N. Coelho, Jr., Jr. Giovanni, Giovanni De Micheli - 1994
405 Synchronous Programming of Reactive Systems – Nicolas Halbwachs - 1993
247 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
115 Hierarchical Finite State Machines with Multiple Concurrency Models – Alain Girault, Bilung Lee, Edward A. Lee - 1999
63 Constructive Analysis of Cyclic Circuits – Thomas R. Shiple, Gérard Berry, Hervé Touati - 1996