Ph.D. Dissertations - Edward A. Lee

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems
Christos Stergiou [2013]

Scheduling and Optimizing Stream Programs on Multicore Machines by Exploiting High-Level Abstractions
Dai Bui [2013]

Precision Timed Machines
Isaac Liu [2012]

Static Model Analysis with Lattice-based Ontologies
Ben Lickly [2012]

From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems
Jia Zou [2011]

Axioms for Asynchronous Processes
Eleftherios Matsikoudis [2010]

Model Transformation with Hierarchical Discrete-Event Control
Thomas Huining Feng [2009]

On the Design of Concurrent, Distributed Real-Time Systems
Yang Zhao [2009]

Compositionality in Deterministic Real-Time Embedded Systems
Slobodan Matic [2008]

Partial Evaluation for Optimized Compilation of Actor-Oriented Models
Gang Zhou [2008]

Actor-Oriented Programming for Wireless Sensor Networks
Elaine Cheong [2007]

Interface Theories for Causality Analysis in Actor Networks
Ye Zhou [2007]

Operational Semantics of Hybrid Systems
Haiyang Zheng [2007]

The Power of Higher-Order Composition Languages in System Design
James Adam Cataldo [2006]

Semantic Foundation of the Tagged Signal Model
Xiaojun Liu [2005]

Actor-Oriented Metaprogramming
Stephen A. Neuendorffer [2004]

An Extensible Type System for Component-Based Design
Yuhong Xiong [2002]

Responsible Frameworks for Heterogeneous Modeling and Design of Embedded Systems
Jie Liu [2001]

Order and Containment in Concurrent System Design
John S. Davis II [2000]

Specification and Design of Reactive Systems
Bilung Lee [2000]

Synthesis of Parallel Hardware Implementations from Synchronous Dataflow Graph Specifications
Michael C. Williamson [1998]

Adaptive Signal Models: Theory, Algorithms, and Audio Applications
Michael M. Goodwin [1997]

The Specification and Execution of Heterogeneous Synchronous Reactive Systems
Stephen A. Edwards [1997]

Scheduling Techniques for Synchronous and Multidimensional Synchronous Dataflow
Praveen K. Murthy [1996]

Bounded Scheduling of Process Networks
Thomas M. Parks [1995]

Minimizing Communication and Synchronization Overhead in Multiprocessors for Digital Signal Processing
Sundararajan Sriram [1995]

System-Level Codesign of Mixed Hardware-Software Systems
Asawaree P. Kalavade [1995]

Compiling Dataflow Programs for Digital Signal Processing
Shuvra S. Bhattacharyya [1994]

Combining Windows: A Performance Evaluation of Design Options
Philip Bitar [1993]

Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model
Joseph T. Buck [1993]

Compile-Time Scheduling of Dataflow Program Graphs with Dynamic Constructs
Soonhoi Ha [1992]

Wireless Communication Using Non-Directed Infrared Radiation
John R. Barry [1992]

Multiprocessor Scheduling to Account for Interprocessor Communication
Gilbert C. Sih [1991]

Fuzzy Partitioning Applied to Automatic Speech Recognition
Ho-Ping Tseng [1990]