| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Modeling Cyber-Physical Systems.  |
Proceedings of the IEEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou |
Distributed Real-Time Software for Cyber-Physical Systems.  |
Proceedings of the IEEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Zou, Slobodan Matic, Edward A. Lee |
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
A Theory of Synchronous Relational Interfaces.  |
ACM Trans. Program. Lang. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff C. Jensen, Danica H. Chang, Edward A. Lee |
A model-based design methodology for cyber-physical systems.  |
IWCMC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Heterogeneous actor modeling.  |
EMSOFT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
A practical ontology framework for static model analysis.  |
EMSOFT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
Time-predictable and composable architectures for dependable embedded systems.  |
EMSOFT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke |
Temporal isolation on multiprocessing architectures.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (eds.) |
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011  |
EOOLT  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Component-based design for the future.  |
DATE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia |
An introductory capstone design course on embedded systems.  |
ISCAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee |
PRET DRAM controller: bank privatization for predictability and temporal isolation.  |
CODES+ISSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong |
The design and application of structured types in Ptolemy II.  |
Int. J. Intell. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
Ptera: an event-oriented model of computation for heterogeneous systems.  |
EMSOFT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee |
Model-based specification of timing requirements.  |
EMSOFT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
CPS foundations.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, cyber-physical systems |
| 1 | Dai N. Bui, Hiren D. Patel, Edward A. Lee |
Deploying Hard Real-Time Control Software on Chip-Multiprocessors.  |
RTCSA  |
2010 |
DBLP DOI BibTeX RDF |
Chip-multiprocessors, Real-time software, Discrete-Event |
| 1 | Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman |
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.  |
MoDELS Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Disciplined Heterogeneous Modeling - Invited Paper.  |
MoDELS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman (eds.) |
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010  |
EOOLT  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Edward A. Lee, Stavros Tripakis |
Modal Models in Ptolemy.  |
EOOLT  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Schoeberl, Christopher X. Brooks, Edward A. Lee |
Code Generation for Embedded Java with Ptolemy.  |
SEUS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher X. Brooks, Edward A. Lee, Stavros Tripakis |
Exploring models of computation with ptolemy II.  |
CODES+ISSS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij |
Modeling and analyzing real-time multiprocessor systems.  |
CODES+ISSS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design.  |
ACM Trans. Embedded Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors |
| 1 | Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble |
Heterogeneous composition of models of computation.  |
Future Generation Comp. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Computing needs time.  |
Commun. ACM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces.  |
EMSOFT  |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
| 1 | Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou |
The Case for Timing-Centric Distributed Software Invited Paper.  |
ICDCS Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois Knoll |
Toward the Design of Robotic Software with Verifiable Safety.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
Scalable Semantic Annotation Using Lattice-Based Ontologies.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler |
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl |
A disruptive computer design idea: Architectures with repeatable timing.  |
ICCD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee |
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.  |
LCTES  |
2009 |
DBLP DOI BibTeX RDF |
flexible task graphs, jitter elimination, ptides, real-time systems, real-time scheduling |
| 1 | Ye Zhou, Edward A. Lee |
Causality interfaces for actor networks.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
behavioral types, interfaces, deadlock, data flow, causality, Actors, synchronous languages, timed systems, discrete-event models |
| 1 | Xiaojun Liu, Edward A. Lee |
CPO semantics of timed interactive actor networks.  |
Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee |
Predictable programming on a precision timed architecture.  |
CASES  |
2008 |
DBLP DOI BibTeX RDF |
pipeline, memory hierarchy, timing predictability |
| 1 | Edward A. Lee |
Cyber Physical Systems: Design Challenges.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, real time, Cyber-physical systems |
| 1 | Edward A. Lee |
Time is a Resource, and Other Stories.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
quality of service, real-time, non-functional properties |
| 1 | Thomas Huining Feng, Edward A. Lee |
Real-Time Distributed Discrete-Event Execution with Fault Tolerance.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed system, real time, discrete event |
| 1 | Patricia Derler, Edward A. Lee, Slobodan Matic |
Simulation and Implementation of the PTIDES Programming Model.  |
DS-RT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade |
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.  |
DS-RT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Haiyang Zheng |
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.  |
EMSOFT  |
2007 |
DBLP DOI BibTeX RDF |
simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events |
| 1 | Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble |
Composing Different Models of Computation in Kepler and Ptolemy II.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
scientific workflow, Model of computation, Kepler, Ptolemy II |
| 1 | Stephen A. Edwards, Edward A. Lee |
The Case for the Precision Timed (PRET) Machine.  |
DAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Zhou, Man-Kit Leung, Edward A. Lee |
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.  |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 193-206, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhao, Jie Liu, Edward A. Lee |
A Programming Model for Time-Synchronized Distributed Real-Time Systems.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao |
Scientific workflow management and the Kepler system.  |
Concurrency and Computation: Practice and Experience  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
The Problem with Threads.  |
IEEE Computer  |
2006 |
DBLP DOI BibTeX RDF |
Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages |
| 1 | Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee |
Modeling Timed Concurrent Systems.  |
CONCUR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Zhou, Edward A. Lee |
A causality interface for deadlock analysis in dataflow.  |
EMSOFT  |
2006 |
DBLP DOI BibTeX RDF |
behavioral types, interfaces, deadlock, causality, dataflow, actors |
| 1 | Edward A. Lee |
Concurrent Semantics Without the Notions of State or State Transitions.  |
FORMATS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Zheng, Edward A. Lee, Aaron D. Ames |
Beyond Zeno: Get on with It!  |
HSCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Discrete event models: getting the semantics right.  |
Winter Simulation Conference  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Edward A. Lee |
Incremental checkpointing with application to distributed discrete event simulation.  |
Winter Simulation Conference  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Absolutely Positively on Time: What Would It Take?  |
IEEE Computer  |
2005 |
DBLP DOI BibTeX RDF |
embedded computing systems, SW/HW integration, embedded software, networked embedded systems |
| 1 | Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele |
Counting Interface Automata and their Application in Static Analysis of Actor Models.  |
SEFM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Cheong, Edward A. Lee, Yang Zhao |
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.  |
SenSys  |
2005 |
DBLP DOI BibTeX RDF |
TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II |
| 1 | Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong |
The design and application of structured types in Ptolemy II.  |
GrC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Haiyang Zheng |
Operational Semantics of Hybrid Systems.  |
HSCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Yang Zhao |
Reinventing Computing for Real Time.  |
Monterey Workshop  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II.  |
Formal Asp. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
| 1 | Stephen Neuendorffer, Edward A. Lee |
Hierarchical reconfiguration of dataflow models.  |
MEMOCODE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Stephen Neuendorffer |
Classes and subclasses in actor-oriented design.  |
MEMOCODE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao |
Modeling of sensor nets in Ptolemy II.  |
IPSN  |
2004 |
DBLP DOI BibTeX RDF |
VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II |
| 1 | Stephen A. Edwards, Edward A. Lee |
The semantics and execution of a synchronous block-diagram language.  |
Sci. Comput. Program.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin |
Actor-Oriented Design of Embedded Hardware and Software Systems.  |
Journal of Circuits, Systems, and Computers  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong |
Taming heterogeneity - the Ptolemy approach.  |
Proceedings of the IEEE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | John R. Barry, Edward A. Lee, David G. Messerschmitt |
Digital communication (3. ed.).  |
|
2003 |
RDF |
|
| 1 | Edward A. Lee, Pravin Varaiya |
Structure and interpretation of signals and systems.  |
|
2003 |
RDF |
|
| 1 | Jie Liu, Edward A. Lee |
On the Causality of Mixed-Signal and Hybrid Models.  |
HSCC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Liu, Edward A. Lee |
A component-based approach to modeling and simulating mixed-signal and hybrid systems.  |
ACM Trans. Model. Comput. Simul.  |
2002 |
DBLP DOI BibTeX RDF |
actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II |
| 1 | Praveen K. Murthy, Edward A. Lee |
Multidimensional synchronous dataflow.  |
IEEE Transactions on Signal Processing  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Embedded Software.  |
Advances in Computers  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Yuhong Xiong |
System-Level Types for Component-Based Design.  |
EMSOFT  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojun Liu, Yuhong Xiong, Edward A. Lee |
The Ptolemy II Framework for Visual Languages. (PDF / PS)  |
HCC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
What's Ahead for Embedded Software?  |
IEEE Computer  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Xiong, Edward A. Lee |
An Extensible Type System for Component-Based Design.  |
TACAS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf |
Embedded systems education (panel abstract).  |
DAC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid A. Najjar, Edward A. Lee, Guang R. Gao |
Advances in the dataflow computational model.  |
Parallel Computing  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Modeling Concurrent Real-Time Processes Using Discrete Events.  |
Ann. Software Eng.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Bilung Lee, Edward A. Lee |
Hierarchical finite state machines with multiple concurrency models.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee |
Synthesis of Embedded Software from Synchronous Dataflow Specifications.  |
VLSI Signal Processing  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
A framework for comparing models of computation.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, David G. Messerschmitt |
Engineering and Education for the Future.  |
IEEE Computer  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilung Lee, Edward A. Lee |
Hierarchical Concurrent Finite State Machines in Ptolemy.  |
ACSD  |
1998 |
DBLP DOI BibTeX RDF |
concurrency, finite state machine, heterogeneity, hierarchy |
| 1 | Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee |
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations.  |
Design Autom. for Emb. Sys.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Asawaree Kalavade, Edward A. Lee |
The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection.  |
Design Autom. for Emb. Sys.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee |
Optimizing synchronization in multiprocessor DSP systems.  |
IEEE Transactions on Signal Processing  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sundararajan Sriram, Edward A. Lee |
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.  |
VLSI Signal Processing  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan-Teh Chang, Soonhoi Ha, Edward A. Lee |
Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.  |
VLSI Signal Processing  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee |
Joint Minimization of Code and Data for Synchronous Dataflow Programs.  |
Formal Methods in System Design  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee |
Optimized software synthesis for synchronous dataflow.  |
ASAP  |
1997 |
DBLP DOI BibTeX RDF |
optimized software synthesis, programmable digital signal processors, off-chip memory, real-time systems, digital signal processing, synchronous dataflow, graphical programs |
| 1 | Asawaree Kalavade, Edward A. Lee |
Complexity management in system-level design.  |
VLSI Signal Processing  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | John R. Barry, Edward A. Lee, David G. Messerschmitt |
Capacity penalty due to ideal zero-forcing decision-feedback equalization.  |
IEEE Transactions on Information Theory  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee |
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules. (PDF / PS)  |
IPPS  |
1996 |
DBLP DOI BibTeX RDF |
inter-processor communication overhead, scheduling, embedded systems, synchronization, multiprocessors, static schedules |
| 1 | Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee |
Latency-constrained Resynchronization for Multiprocessor DSP Implementation.  |
ASAP  |
1996 |
DBLP DOI BibTeX RDF |
static multi-processor schedules, iterative dataflow programs, self-timed execution, latency, synchronization overhead |
| 1 | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Comparing models of computation.  |
ICCAD  |
1996 |
DBLP DOI BibTeX RDF |
concurrent sequential processes, denotational framework, synchronous events, totally ordered set, value-tag pair, Petri nets, discrete-event systems, models of computation, partially ordered set, concurrent processes, Kahn process networks, sequential processes |
| 1 | José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck |
Software synthesis for DSP using ptolemy.  |
VLSI Signal Processing  |
1995 |
DBLP DOI BibTeX RDF |
|