|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
15
|
Causality Interfaces for Actor Networks
– Ye Zhou, Edward A. Lee
- 2006
|
|
2
|
Interface Theories for Causality Analysis in Actor Networks
– Ye Zhou, Ye Zhou, Ye Zhou, Ye Zhou
- 2007
|
|
12
|
Order and Containment in Concurrent System Design
– John Sidney Davis, II
- 2000
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
3
|
Regular State Machines
– Lothar Thiele, Jürgen Teich, Karsten Strehl
- 2000
|
|
32
|
SHIM: A Deterministic Model for Heterogeneous Embedded Systems
– Stephen A. Edwards, Olivier Tardieu
- 2005
|
|
|
A Modular Formal Semantics for Ptolemy
– Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
- 2011
|
|
36
|
Heterogeneous Concurrent Modeling and Design in Java (Volumes 1: Introduction to Ptolemy II)
– Christopher Brooks, Edward A. Lee, Xiaojun Liu, Yang Zhao, Haiyang Zheng, et al.
- 2005
|
|
|
Rapid Prototyping of High Performance SIGNAL PROCESSING APPLICATIONS
– Nimish Sane
- 2011
|
|
|
Disciplined Message Passing
– Edward A. Lee
- 2009
|
|
75
|
Taming Heterogeneity - The Ptolemy Approach
– Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
- 2003
|
|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
18
|
A Hierarchical Multiprocessor Scheduling Framework For Synchronous Dataflow Graphs
– Jos Luis Pino, Shuvra S. Bhattacharyya, Edward A. Lee
- 1995
|
|
40
|
FunState - An Internal Design Representation for Codesign
– Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Juergen Teich
- 2001
|
|
3
|
Advances in the Dataflow Computational Model
– Walid A. Najjar, Edward A. Lee, Guang R. Gao
- 1999
|
|
99
|
Hierarchical Finite State Machines with Multiple Concurrency Models
– Alain Girault, Bilung Lee, Edward A. Lee
- 1999
|
|
1
|
Models of Computation in the Design Process
– Axel Jantsch, Ingo Sander
- 2005
|
|
8
|
Interval Diagrams for Efficient Symbolic Verification of Process Networks
– Karsten Strehl, Lothar Thiele
- 2000
|