Edward A. Lee | Academic Influence

Edward A. Lee's AcademicInfluence.com Rankings

Edward A. Lee

Engineering

#1124

World Rank

#1712

Historical Rank

#445

USA Rank

Electrical Engineering

#187

World Rank

#216

Historical Rank

#83

USA Rank

engineering Degrees

Edward A. Lee

Computer Science

#1846

World Rank

#1917

Historical Rank

#884

USA Rank

Database

#366

World Rank

#383

Historical Rank

#165

USA Rank

computer-science Degrees

Download Badge

Engineering
Computer Science

Edward A. Lee's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Edward A. Lee Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Edward Ashford Lee is an American computer scientist, electrical engineer, and author. He is Professor of the Graduate School and Robert S. Pepper Distinguished Professor Emeritus in the Electrical Engineering and Computer Science Department at UC Berkeley. Lee works in the areas of cyber-physical systems, embedded systems, and the semantics of programming languages. He is particularly known for his advocacy of deterministic models for the engineering of cyber-physical systems.

(See a Problem?)

Edward A. Lee's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Cyber Physical Systems: Design Challenges (2008) (3303)
Scientific workflow management and the Kepler system (2006) (2015)
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing (1989) (1455)
Taming heterogeneity - the Ptolemy approach (2003) (1189)
Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems (2001) (1133)
Dataflow process networks (1995) (1084)
Introduction to Embedded Systems - A Cyber-Physical Systems Approach (2013) (1074)
The problem with threads (2006) (1021)
A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures (1993) (936)
Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels (1993) (838)
A framework for comparing models of computation (1998) (748)
Modeling Cyber–Physical Systems (2012) (663)
Overview of the Ptolemy project (2001) (635)
Design of embedded systems: formal models, validation, and synthesis (1997) (581)
Scheduling dynamic dataflow graphs with bounded memory using the token flow model (1993) (519)
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models (2015) (446)
Software Synthesis from Dataflow Graphs (1996) (414)
Cyber-Physical Systems-Are Computing Foundations Adequate ? (1998) (383)
Hierarchical finite state machines with multiple concurrency models (1999) (370)
Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA (2001) (319)
A hardware-software codesign methodology for DSP applications (1993) (310)
CPS foundations (2010) (304)
What's Ahead for Embedded Software? (2000) (282)
Actor-Oriented Design of Embedded Hardware and Software Systems (2003) (265)
The Case for the Precision Timed (PRET) Machine (2007) (253)
Synthesis of Embedded Software from Synchronous Dataflow Specifications (1999) (236)
DSP Processor Fundamentals: Architectures and Features (1997) (230)
A model-based design methodology for cyber-physical systems (2011) (230)
Computing needs time (2009) (223)
Operational Semantics of Hybrid Systems (2005) (220)
The Cloud is Not Enough: Saving IoT from the Cloud (2015) (212)
A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem (1994) (201)
PRET DRAM controller: Bank privatization for predictability and temporal isolation (2011) (193)
Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report (2007) (189)
Modeling concurrent real-time processes using discrete events (1999) (187)
Predictable programming on a precision timed architecture (2008) (177)
Distributed Real-Time Software for Cyber–Physical Systems (2012) (170)
A Programming Model for Time-Synchronized Distributed Real-Time Systems (2007) (166)
Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) (2008) (163)
Determinate composition of FMUs for co-simulation (2013) (157)
Structure and interpretation of signals and systems (2002) (153)
Scheduling strategies for multiprocessor real-time DSP (1989) (153)
Gabriel: a design environment for DSP (1989) (149)
Digital Communication: Third Edition (2003) (149)
Adaptive Signal Models: Theory, Algorithms, and Audio Applications (1998) (146)
Multidimensional synchronous dataflow (2002) (144)
Software synthesis for DSP using ptolemy (1995) (143)
DSP Processor Fundamentals (1997) (142)
Consistency in dataflow graphs (1991) (139)
Timed multitasking for real-time embedded software (2003) (135)
Digital communication (2. ed.) (1994) (133)
Cyber-physical system design contracts (2013) (129)
FlexPRET: A processor platform for mixed-criticality systems (2014) (126)
Comparing models of computation (1996) (125)
System-Level Types for Component-Based Design (2001) (124)
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems (2007) (120)
AWStream: adaptive wide-area streaming analytics (2018) (117)
The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection (1997) (115)
The semantics and execution of a synchronous block-diagram language (2003) (110)
Advances in the dataflow computational model (1999) (108)
A PRET microarchitecture implementation with repeatable timing and competitive performance (2012) (105)
A behavioral type system and its application in Ptolemy II (2004) (98)
Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) (2008) (97)
Authentication and Authorization for the Internet of Things (2017) (97)
Declustering: A New Multiprocessor Scheduling Technique (1993) (95)
Viewpoints, formalisms, languages, and tools for cyber-physical systems (2012) (90)
Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks (2005) (86)
The extended partitioning problem: hardware/software mapping and implementation-bin selection (1995) (84)
Digital communication (3. ed.) (2003) (84)
Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems (2014) (77)
A Theory of Synchronous Relational Interfaces (2011) (76)
Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture) (2008) (76)
Temporal isolation on multiprocessing architectures (2011) (75)
Joint Minimization of Code and Data for Synchronous Dataflow Programs (1997) (75)
System-level codesign of mixed hardware-software systems (1995) (74)
A PRET architecture supporting concurrent programs with composable timing properties (2010) (74)
An Extensible Type System for Component-Based Design (2000) (73)
Heterogeneous composition of models of computation (2009) (72)
Direct synthesis of optimized DSP assembly code from signal flow block diagrams (1992) (72)
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs (2010) (71)
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow (1997) (70)
Heterogeneous Modeling and Design of Control Systems (2003) (70)
Programmable dsp architectures: part ii (1988) (70)
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations (1997) (69)
Hierarchical reconfiguration of dataflow models (2004) (68)
Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration (1991) (68)
Fast recursive filtering with multiple slow processing elements (1985) (68)
Absolutely Positively on Time: What Would It Take? (2005) (67)
Hierarchical static scheduling of dataflow graphs onto multiple processors (1995) (66)
Compile-time scheduling of dynamic constructs in dataflow program graphs (1997) (65)
The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View (2008) (65)
A Vision of Swarmlets (2015) (64)
CONTINUOUS TIME AND MIXED-SIGNAL SIMULATION IN PTOLEMY II (1999) (64)
Scheduling synchronous dataflow graphs for efficient looping (1993) (64)
A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION (1997) (63)
Fundamental Limits of Cyber-Physical Systems Modeling (2016) (63)
Systems Engineering for Industrial Cyber–Physical Systems Using Aspects (2016) (63)
Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks (1990) (62)
Addressing Modeling Challenges in Cyber-Physical Systems (2011) (62)
The swarm at the edge of the cloud - A new perspective on wireless (2011) (61)
Pipeline interleaved programmable DSP's: Architecture (1987) (59)
Hybrid co-simulation: it’s about time (2018) (59)
A hierarchical hybrid system model and its simulation (1999) (59)
Concurrent models of computation for embedded software (2005) (58)
CPO semantics of timed interactive actor networks (2008) (58)
Requirements for hybrid cosimulation standards (2015) (58)
Actor-oriented control system design: a responsible framework perspective (2004) (57)
HYVISUAL: A HYBRID SYSTEM VISUAL MODELER (1998) (57)
A HIERARCHICAL MULTIPROCESSOR SCHEDULING FRAMEWORK FOR SYNCHRONOUS DATAFLOW GRAPHS (1995) (57)
Disciplined heterogeneous modeling (2010) (56)
Finite State Machines and Modal Models in Ptolemy II (2009) (55)
A component-based approach to modeling and simulating mixed-signal and hybrid systems (2002) (51)
A predictable and command-level priority-based DRAM controller for mixed-criticality systems (2015) (51)
Pipeline interleaved programmable DSP's: Synchronous data flow programming (1987) (51)
Embedded Software — An Agenda for Research (1999) (51)
Model Engineering using Multimodeling (2008) (49)
The Coevolution (2020) (49)
Modeling distributed hybrid systems in Ptolemy II (2001) (49)
Computing for embedded systems (2001) (49)
Composing Different Models of Computation in Kepler and Ptolemy II (2007) (48)
Parts that add up to a whole : a framework for the analysis of tables (2007) (48)
Constructive Models of Discrete and Continuous Physical Phenomena (2014) (48)
From Semantics to Computer Science: The semantics of dataflow with firing (2009) (48)
Architectures for Statically Scheduled Dataflow (1990) (47)
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems (2009) (47)
FIDE: an FMI integrated development environment (2016) (46)
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation (2007) (46)
Causality interfaces for actor networks (2008) (45)
Modeling Timed Concurrent Systems (2006) (45)
Hierarchical concurrent finite state machines in Ptolemy (1998) (45)
Industrial Cyber-Physical Systems - iCyPhy (2013) (45)
Generating compact code from dataflow specifications of multirate signal processing algorithms (1995) (44)
A causality interface for deadlock analysis in dataflow (2006) (44)
A modular formal semantics for Ptolemy† (2013) (44)
A disruptive computer design idea: Architectures with repeatable timing (2009) (44)
Multirate signal processing in Ptolemy (1991) (42)
Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation (1987) (42)
Dynamic-level scheduling for heterogeneous processor networks (1990) (41)
Model-Driven Development - From Object-Oriented Design to Actor-Oriented Design (2003) (41)
Modal Models in Ptolemy (2010) (41)
Scalable Semantic Annotation Using Lattice-Based Ontologies (2009) (39)
PTIDES: A Programming Model for Distributed Real-Time Embedded Systems (2008) (39)
A coupled hardware and software architecture for programmable digital signal processors (synchronous data flow) (1986) (39)
Hardware/software co-design using Ptolemy-a case study (1992) (39)
Fuzzy vector quantazation applied to hidden Markov modeling (1987) (38)
North American Practice-Based Recommendations for Transjugular Intrahepatic Portosystemic Shunts in Portal Hypertension. (2021) (38)
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors (1997) (38)
Actor-oriented models for codesign: balancing re-use and performance (2004) (37)
Classes and subclasses in actor-oriented design (2004) (37)
Memory management for dataflow programming of multirate signal processing algorithms (1994) (37)
Mulitdimensional Streams Rooted in Dataflow (1993) (36)
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things (2017) (36)
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning (2018) (36)
Optimizing synchronization in multiprocessor DSP systems (1997) (35)
Causality Interfaces and Compositional Causality Analysis 1 (2005) (35)
On relational interfaces (2009) (34)
Beyond Zeno: Get on with It! (2006) (34)
Component-based design for the future (2011) (33)
Engineering and Education for the Future (1998) (33)
Component-based hierarchical modeling of systems with continuous and discrete dynamics (2000) (33)
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities (2016) (33)
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude (2012) (33)
INTRODUCING SIGNALS AND SYSTEMS - THE BERKELEY APPROACH (2000) (32)
The ptolemy II framework for visual languages (2001) (32)
Modeling and simulating cyber-physical systems using CyPhySim (2015) (31)
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (2011) (31)
A Component Architecture for the Internet of Things (2018) (31)
HOBS: head orientation-based selection in physical spaces (2014) (30)
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems (2014) (30)
Looped schedules for dataflow descriptions of multirate signal processing algorithms (1994) (30)
Exploring models of computation with Ptolemy II (2010) (30)
Reactors: A Deterministic Model for Composable Reactive Systems (2019) (29)
The TerraSwarm Research Center (TSRC) (A White Paper) (2012) (29)
Programmable DSPs: a brief overview (1990) (29)
Precision timed infrastructure: Design challenges (2013) (28)
Continuous-Time Models (2013) (28)
A code generation framework for Java component-based designs (2000) (27)
Actor-oriented programming for wireless sensor networks (2007) (27)
Prototyping the Next Generation EnergyPlus Simulation Engine (2015) (27)
Joint Modeling and Design of Wireless Networks and Sensor Node Software (2006) (27)
Real-Time Distributed Discrete-Event Execution with Fault Tolerance (2008) (26)
Semantic foundation of the tagged signal model (2005) (26)
Optimal parenthesization of lexical orderings for DSP block diagrams (1995) (26)
An introductory textbook on cyber-physical systems (2010) (25)
A Time-Centric Model for Cyber-Physical Applications (2010) (25)
Toward a Global Data Infrastructure (2016) (25)
Effective Heterogenous Design and Co-Simulation (1996) (25)
Classes and inheritance in actor-oriented design (2009) (25)
What Good are Models? (2018) (25)
Ptolemy: A Mixed-Paradigm Simulation/Prototyping Platform in C (1991) (25)
Model-based evaluation of GPS spoofing attacks on power grid sensors (2013) (24)
On the Causality of Mixed-Signal and Hybrid Models (2003) (23)
Abstract PRET Machines (2017) (23)
Manifestations of Heterogeneity in Hardware/Software Codesign (1994) (23)
Representing and exploiting data parallelism using multidimensional dataflow diagrams (1993) (23)
Design and implementation of an ordered memory access architecture (1993) (22)
Non-preemptive real-time scheduling of dataflow systems (1995) (22)
Step revision in hybrid Co-simulation with FMI (2016) (22)
Deterministic Actors (2019) (22)
Simulation and Implementation of the PTIDES Programming Model (2008) (22)
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems (2012) (22)
Minimizing synchronization overhead in statically scheduled multiprocessor systems (1995) (22)
An Interface Theory for the Internet of Things (2015) (21)
Teaching embedded systems the Berkeley way (2012) (20)
Software Practice in the Ptolemy Project (1999) (20)
Time-Centric Models For Designing Embedded Cyber-physical Systems (2009) (20)
Order and containment in concurrent system design (2000) (19)
Coordinated actor model of self-adaptive track-based traffic control systems (2018) (19)
The gut microbiome in sickle cell disease: Characterization and potential implications (2021) (19)
Heterogeneous actor modeling (2011) (19)
Specification and design of reactive systems (2000) (19)
A scheduling framework for minimizing memory requirements of multirate DSP systems represented as dataflow graphs (1993) (19)
Design and implementation of a multidimensional synchronous dataflow environment (1994) (19)
Minimizing memory requirements for chain-structured synchronous dataflow programs (1994) (18)
Optimized software synthesis for synchronous dataflow (1997) (17)
Automatic code generation for heterogeneous multiprocessors (1994) (17)
CyPhySim: a cyber-physical systems simulator (2015) (17)
Design Contracts for Cyber-Physical Systems : Making Timing Assumptions Explicit (2012) (17)
Capacity penalty due to ideal zero-forcing decision-feedback equalization (1993) (17)
Incremental Checkpointing with Application to Distributed Discrete Event Simulation (2006) (17)
Scalable Models Using Model Transformation (2008) (16)
The design and application of structured types in Ptolemy II (2005) (16)
Control Improvisation with Probabilistic Temporal Specifications (2015) (16)
Heterogeneous Concurrent Modeling and Design R S I T Y @bullet O F @bullet C Overview of the Ptolemy Project (2003) (16)
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing (2020) (16)
Programmable Logic Controllers in the Context of Industry 4.0 (2021) (16)
High-speed non-directional infrared communication for wireless local-area networks (1992) (16)
Resynchronization for multiprocessor DSP systems (2000) (16)
Actor-Oriented Models for Codesign (2004) (15)
REALISTIC SIMULATIONS OF EMBEDDED CONTROL SYSTEMS (2002) (15)
Memory Management for Synchronous Dataflow Programs (1992) (15)
Cache Aware Scheduling for Synchronous Dataflow Programs (2004) (15)
On Fixed Points of Strictly Causal Functions (2013) (15)
DESIGNING A RELEVANT LAB FOR INTRODUCTORY SIGNALS AND SYSTEMS (2000) (15)
Actors Revisited for Time-Critical Systems (2019) (15)
The fixed-point theory of strictly causal functions (2015) (15)
Least squares computation at arbitrarily high speeds (1987) (14)
Model-based specification of timing requirements (2010) (14)
Implementation of Process Networks in Java (1997) (14)
The Case for Timing-Centric Distributed Software Invited Paper (2009) (14)
Interoperation of heterogeneous CAD tools in Ptolemy II (1999) (14)
A design lab for statistical signal processing (1992) (14)
Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II (2006) (14)
Behavioral Types for Component-Based Design (2002) (14)
Lightweight Component Models for Embedded Systems ∗ (2002) (14)
Latency-constrained resynchronization for multiprocessor DSP implementation (1996) (14)
Applied Verification: The Ptolemy Approach (2008) (13)
Requirements for Hybrid Cosimulation (2014) (13)
A Hierarchical Multiprocessor Scheduling Framework for (1999) (13)
Experimental analysis of the time dynamics of coherent communication through turbulence: Markovianity and channel prediction (2011) (13)
Combined code and data minimization for synchronous dataflow programs (1994) (13)
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems (2012) (13)
Self-timed resynchronization: a post-optimization for static multiprocessor schedules (1996) (13)
A practical ontology framework for static model analysis (2011) (13)
THE TOKEN FLOW MODEL (2011) (13)
Coordinated Actors for Reliable Self-adaptive Systems (2016) (13)
Statically sceduling communication resources in multiprocessor DSP architectures (1994) (13)
Quasi-static scheduling for multiprocessor DSP (1991) (12)
Q-PIM: A Genetic Algorithm based Flexible DNN Quantization Method and Application to Processing-In-Memory Platform (2020) (12)
Digital Communication: Solutions Manual (1989) (12)
An introductory capstone design course on embedded systems (2011) (12)
Reinventing Computing for Real Time (2005) (12)
Modeling and Simulation of Network Aspects for Distributed Cyber-Physical Energy Systems (2015) (12)
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions (2013) (12)
Interface synthesis in heterogeneous system-level DSP design tools (1996) (12)
Gabriel: A Design Environment for Programmable DSPs (1989) (12)
Design and Simulation of Heterogeneous Systems using Ptolemy (1994) (12)
Using Ptides and synchronized clocks to design distributed systems with deterministic system wide timing (2013) (12)
Motivating hierarchical run-time models in measurement and control systems (2001) (11)
A Scratchpad Memory Allocation Scheme for Dataflow Models (2008) (11)
PILOT: An Actor-oriented Learning and Optimization Toolkit for Robotic Swarm Applications (2015) (11)
Verification of Cyberphysical Systems (2020) (11)
What Is Real Time Computing? A Personal View (2018) (11)
Managing complexity in heterogeneous system specification, simulation, and synthesis (1995) (11)
A shallow convolutional neural network predicts prognosis of lung cancer patients in multi-institutional computed tomography image datasets (2020) (11)
Network latency and packet delay variation in cyber-physical systems (2011) (11)
Developing a Multidimensional Synchronous Dataflow Domain in Ptolemy (1994) (11)
OVERVIEW OF THE PTOLEMY PROJECT JULY 6 , 1999 (1994) (11)
An Architectural Mechanism for Resilient IoT Services (2017) (11)
Code generation by using integer-controlled dataflow graph (1997) (11)
A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property (2006) (10)
Multirate signal processing in Comdisco's SPW (1991) (10)
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications (2016) (10)
The Case for Cross Disciplinary Research on Time Aware Applications, Computers and Communication Systems (TAACCS) | NIST (2013) (10)
A Context Menu for the Real World: Controlling Physical Appliances Through Head-Worn Infrared Targeting (2013) (10)
Frigg: a simulation environment for multiple-processor DSP system development (1989) (10)
A class of multiprocessor architectures for real-time DSP (1990) (10)
Modeling in engineering and science (2018) (10)
On Enabling Technologies for the Internet of Important Things (2019) (10)
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (2009) (9)
AWStream (2018) (9)
Mapping multiple independent synchronous dataflow graphs onto heterogeneous multiprocessors (1994) (9)
Solutions to Problems (2001) (9)
The Tycho User Interface System (1997) (9)
Introducing embedded systems: a cyber-physical approach: extended abstract (2009) (9)
Programming Temporally Integrated Distributed Embedded Systems (2006) (9)
A tool integration approach for architectural exploration of aircraft electric power systems (2013) (9)
A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs (2012) (9)
Multimodeling: A Preliminary Case Study (2008) (8)
Converting graphical DSP programs into memory constrained software prototypes (1995) (8)
Computation of Intra-pair Skew for Imbalance Differential Line using Modified Mixed-mode S-parameter (2007) (8)
Model Checking Software in Cyberphysical Systems (2020) (8)
A Generalization of Multidimensional Synchronous Dataflow to Arbitrary Sampling Lattices (1995) (8)
On the schedulability of real-time discrete-event systems (2013) (8)
Architectural Support for Cyber-Physical Systems (2015) (8)
A JavaScript Extension Providing Deterministic Temporal Semantics for the Internet of Things (2017) (8)
On the optimal blocking factor for blocked, non-overlapped multiprocessor schedules (1994) (8)
Real-time DSP for sophomores (1996) (8)
Time-predictable and composable architectures for dependable embedded systems (2011) (8)
Ptera: an event-oriented model of computation for heterogeneous systems (2010) (8)
Patient–Provider Relationships Among Vulnerable Patients: The Association With Health Literacy, Continuity of Care, and Self-Rated Health (2020) (8)
How Diagnostic Is Ultrasound‐Guided Neck Mass Biopsy (Fine‐Needle Capillary Sampling Biopsy Technique)? (2009) (8)
Modeling Timed Concurrent Systems using Generalized Ultrametrics (2006) (8)
Learning Branching Heuristics for Propositional Model Counting (2020) (8)
On the Verification of Timed Discrete-Event Models (2013) (8)
Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model (1995) (8)
Invited: Actors Revisited for Time-Critical Systems (2019) (7)
Error-Completion in Interface Theories (2013) (7)
An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices (1996) (7)
On-time Network On-Chip: Analysis and Architecture (2009) (7)
Code Generation for Embedded Java with Ptolemy (2010) (7)
A Timing Requirements-Aware Scratchpad Memory Allocation Scheme for a Precision Timed Architecture (2008) (7)
Design of High-Speed Wireless Links Using Non-Directional Infrared Radiation (1993) (7)
Deploying Hard Real-Time Control Software on Chip-Multiprocessors (2010) (7)
Deterministic Timing for the Industrial Internet of Things (2018) (6)
Modeling Timed Systems (2013) (6)
PTIDES model on a distributed testbed emulating smart grid real-time applications (2011) (6)
A highest education in the year 2049 (1999) (6)
Are new languages necessary for multicore (2007) (6)
Optimizing Synchronization In Multiprocessor Implementations Of Iterative Dataflow Programs (1995) (6)
autoCode4: Structural Controller Synthesis (2017) (6)
Disciplined Message Passing (2009) (6)
Time-critical networking - Invited presentation (2009) (6)
Infrastructure for numeric precision control in the ptolemy environment (1999) (6)
On the design of concurrent, distributed real-time systems (2009) (6)
Emergence of pertactin-deficient pertussis strains in Australia can be explained by models of vaccine escape. (2020) (6)
Fun with a Deadline Instruction (2009) (6)
Generating Compact Code From Dataflow Specifications of (1993) (6)
Concurrent Semantics Without the Notions of State or State Transitions (2006) (6)
Two Complementary Heuristics for Translating Graphical DSP Programs into Minimum Memory Implementati (1995) (5)
Demo : CyPhySim — A Cyber-Physical Systems Simulator (2015) (5)
System-Level Design Methodology for Embedded Signal Processors (1997) (5)
Computing and signal processing: an experimental multidisciplinary course (1994) (5)
Formal Semantics of Predictable Pipelines: a Comparative Study (2020) (5)
Looped Schedules for Dataflow Descriptions of Multirate DSP Algorithms (1993) (5)
Communication Systems Modeling in Ptolemy Ii (2003) (5)
Symbolic computation in system simulation and design (1995) (5)
Counting interface automata and their application in static analysis of actor models (2005) (5)
ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models (2008) (5)
A Language for Deterministic Coordination Across Multiple Timelines (2020) (5)
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (2010) (5)
Modeling uncertainty for middleware-based streaming power grid applications (2013) (5)
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals (2013) (5)
Effective Heterogeneous Design and Co-simulation 25 6. Acknowledgments (1995) (5)
Creating a Resilient IoT With Edge Computing (2019) (5)
From Transitions to Executions (2012) (5)
On the Optimal Blocking Factor for Blocked, Non-overlapped Schedules1 (1978) (5)
Partial evaluation for optimized compilation of actor-oriented models (2008) (5)
Discrete Event Models: Getting the Semantics Right (2006) (5)
Labelled Execution Systems (2012) (5)
Ramifications of software implementation and deployment: A case study on yaw moment controller design (2015) (5)
Fundamental Algorithms for System Modeling, Analysis, and Optimization (2013) (4)
Models of Timed Systems (2018) (4)
Dynamic Dataflow Modeling in Ptolemy (2004) (4)
Coil-Assisted Retrograde Transvenous Obliteration: A Valid Treatment for Gastric Variceal Hemorrhage and Hepatic Encephalopathy (2017) (4)
Precision Timed (PRET) Computation in Cyber-Physical Systems (2007) (4)
Minimizing Memory Requirements for Chain-Structured SDF Graphs (1994) (4)
Is software the result of top-down intelligent design or evolution? (2018) (4)
BlueFeather, the singleton that wasn’t: Shared gene content analysis supports expansion of Arthrobacter phage Cluster FE (2020) (4)
High frequency of anti-DSG 2 antibodies in post COVID-19 serum samples (2022) (4)
Marginal Costotomy: A Novel Surgical Technique to Rescue from “Large‐for‐Size Syndrome” in Liver Transplantation (2021) (4)
Hybrid co-simulation: it’s about time (2017) (4)
Runtime compositional analysis of track-based traffic control systems (2017) (4)
Information seeking and model predictive control of a cooperative multi-robot system (2016) (4)
Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing (1995) (4)
Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems (2008) (4)
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization (2020) (4)
Quantifying and Generalizing the CAP Theorem (2021) (4)
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems (2017) (4)
Programs with ironclad timing guarantees: work-in-progress (2019) (3)
The Parallel Computing Laboratory at U . C . (2008) (3)
Deterministic Execution of Ptides Programs (2013) (3)
A methodology for simulation and synthesis of mixed hardware/software systems (1994) (3)
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture (2008) (3)
Modeling radar systems using hierarchical dataflow (1995) (3)
Do non-financial factors influence corporate dividend policies? Evidence from business strategy (2022) (3)
System simulation from operational data (2015) (3)
Synthesis for DSP Using Ptolemy (1993) (3)
Renesting Single Appearance Schedules to Minimize Buffer Memory (1995) (3)
Time for All Programs, Not Just Real-Time Programs (2021) (3)
Ptera: An Event-Oriented Model of Computation (2010) (3)
OVERVIEW OF THE PTOLEMY PROJECT MARCH 6 , 2001 (2001) (3)
Determination of distinctive hypomethylated genes in African American colorectal neoplastic lesions (2020) (3)
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices (2013) (3)
Information Seeking and Model Predictive Control of A Cooperative Robot Swarm * (2015) (3)
Flex-PIM: A Ferroelectric FET based Vector Matrix Multiplication Engine with Dynamical Bitwidth and Floating Point Precision (2020) (3)
Optimizing Synchronization in (1997) (3)
Design Methodology for Dsp (1992) (3)
RESYNCHRONIZATION OF MULTIPROCESSOR SCHEDULES: PART 1 — FUNDAMENTAL CONCEPTS AND UNBOUNDED-LATENCY ANALYSIS (1996) (2)
Balance between Formal and Informal Methods , Engineering and Artistry , Evolution and Rebuild (2004) (2)
Automatic Generation Of Programs That Jointly Optimize Characteristics Of Analog Filter Designs (1995) (2)
Complexity management in system-level design (1996) (2)
The Tycho Slate: Complex Drawing and Editing in Tcl/Tk (1998) (2)
Embedded Software (2002) (2)
Work-in-Progress: Programs with Ironclad Timing Guarantees (2019) (2)
Composition Languages (2006) (2)
Actor-Oriented Control System Design (2002) (2)
Boundaries of Communication (1988) (2)
Digital Signal Processing Experiments Using a Personal Computer with Software Provided (1989) (2)
Modeling and analyzing real-time multiprocessor systems (2010) (2)
Model-Based Development of Deterministic , Event-Driven , Real-Time Distributed Systems (2011) (2)
Reconciling Repeatable Timing with Pipelining and Memory Hierarchy (2009) (2)
The coroutine model of computation (2012) (2)
Heterogeneous Modeling (2013) (2)
On quantization effects in state-variable filter implementations (1985) (2)
Engineering Education: A Focus on Systems (2005) (2)
An infrastructure for numeric precision control in the Ptolemy environment (1997) (2)
Stochastic Signal Processing (2004) (2)
RESYNCHRONIZATION FOR MULTIPROCESSOR DSP IMPLEMENTATION — PART 1 : MAXIMUM THROUGHPUT RESYNCHRONIZATION 1 (1996) (2)
Poster Abstract : Timing Instructions – ISA Extensions for Timing Guarantees (2009) (2)
Service Discovery for the Connected Car with Semantic Accessors (2019) (2)
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems (2022) (2)
A model for semantic localization (2015) (2)
A Metric for Linear Temporal Logic (2018) (2)
Disciplined Heterogeneous Modeling - Invited Paper. (2010) (2)
Code Generation for VSP software tool in Ptolemy (1994) (2)
The Impact of an Extreme Weather Event on Business Performance (2021) (1)
Numerical LTL Synthesis for Cyber-Physical Systems (2013) (1)
Application of Programming Temporally Integrated Distributed Embedded Systems (2006) (1)
Viptos (2005) (1)
Time is a Resource, and Other Stories (2008) (1)
Numeric Representations and Arithmetic (1997) (1)
Loose Interdependence Algorithms (1996) (1)
Embedded systems education (panel session) (abstract only) (2000) (1)
Data flow programming for parallel implementation of digital signal processing systems (1988) (1)
Hybrid Co-simulation : It ' s About Time Fabio Cremona (2017) (1)
Appendix: Vendor Contact Information (1997) (1)
Abstract 4003: Colon sessile serrated polyps associate with endometrial polyps (2019) (1)
Tcl and Java Performance (1998) (1)
An Extensible Software Synthesis Framework for Heterogeneous Actor Models (2007) (1)
Design of Parallel Systems for Signal Processing (1993) (1)
Abstract 6102: Streptococcus sp. VT_162 infection of colon cancer cell lines induces mRNAs that associate with poor prognosis (2020) (1)
Deterministic Signal Processing (1988) (1)
Signals and Systems (2018) (1)
A Generalization of Multidimensional Synchronous Dataflow to (1999) (1)
Singleton phage BlueFeather reveals novel relationships in the Arthrobacter phage population (2020) (1)
A Fundamental Look at Models and Intelligence (2019) (1)
RESYNCHRONIZATION OF MULTIPROCESSOR SCHEDULES: PART 2 — LATENCY-CONSTRAINED RESYNCHRONIZATION (1996) (1)
Gordian SMT : Untangling Ranging Attacks in N o isy Sensor Networks for Secure Localization (2017) (1)
Composable Flexible Real-time Packet Scheduling for Networks on-Chip (2012) (1)
RESYNCHRONIZATION FOR MULTIPROCESSOR DSP SYSTEMS — PART 2: LATENCY-CONSTRAINED RESYNCHRONIZATION 1 (1998) (1)
Toward the Design of Robotic Software with Verifiable Safety (2009) (1)
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk (2012) (1)
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 : In Conjunction with MODELS 2010 (2010) (1)
It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming (2014) (1)
Observation and Interaction - Invited Paper (2019) (1)
Computationally efficient version of the decision feedback equalizer (1999) (1)
Unintended Consequences of Economic Interventionism on Accounting Conservatism: A Natural Experiment (2018) (1)
Work-in-Progress: Real-Time Reactors in C (2019) (1)
A ReRAM Memory Compiler for Monolithic 3D Integrated Circuits in a Carbon Nanotube Process (2022) (1)
Modeling and Simulation of Legacy Embedded Systems (2010) (1)
09481 Abstracts Collection - SYNCHRON 2009 (2009) (1)
A design tool for hardware and software for multiprocessor DSP systems (1989) (1)
Determinism (2021) (1)
Suppression rather than visual acuity loss limits threshold stereoacuity. (2018) (1)
Poster Abstract : “ PtidyOS : An Operating System based on the PTIDES Programming Model ” (2009) (1)
Visualizing Architecture and Algorithm Interaction in Embedded Systems (1996) (1)
Uncertainty Analysis of Middleware Architectures for Streaming Smart Grid Applications (2015) (1)
Fading and Diversity (2004) (1)
Analysis of multipath fading observations in British Columbia, Canada (1983) (1)
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress (2017) (1)
OnChip Debugging Facilities (1997) (0)
Feasibility of Optical Interconnection Networks Theory and Case Study (0)
Data Package 3 . 2 . 1 Matrix data types (2003) (0)
Herzberg’s Two Factor Motivation Theory as Revealed by National Government Agencies in Tawi-Tawi (2020) (0)
Resynchronization for Embedded Multiprocessors (1999) (0)
Blind source separation of baseband RF communication signals using mixed-signal matrix multiplication circuit (2022) (0)
Swarm Technology (2015) (0)
Plenary I: The Internet of important things (2016) (0)
Beyond the Threaded Programming Model on Real-Time Operating Systems (2023) (0)
A Modular Formal Semantics for Ptolemy 1 2 (2011) (0)
Signal and Receiver Design (1997) (0)
Extensible Systems Dynamics Framework (2008) (0)
Information Seeking of a Robot Swarm based on Robust Model Predictive Control (2016) (0)
Final Report 2005-06 , Micro Project No . 05-055 Industrial Sponsors : Agilent , (2007) (0)
2015 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) PROCEEDINGS TABLE OF CONTENTS (2015) (0)
Increased MACC1 levels in tissues and blood identify colon adenoma patients at high risk (2016) (0)
Automated Gating and Interpretation of Clinical Flow Cytometry Data: A Computational Approach using Artificial Intelligence and Deep Learning (2022) (0)
History of Hepatic Encephalopathy is Not a Contraindication to TIPS Placement for Refractory Ascites (2020) (0)
On Distributed Discrete Event Execution on Chip- Multiprocessors (2009) (0)
Using Vergil 2 . 2 . 2 Creating a New Model (1998) (0)
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems (2023) (0)
Enabling of Your Local Globalization and Global Localization Content Editorial : Alone But Not Lonely (2004) (0)
Multiple Access Alternatives (2004) (0)
What Is Chess? Bridging Research & Education Embedded Systems Curriculum Introduction to Embedded Systems Eecs 149 (2009) (0)
A fundamental look at models and intelligence: abstract of keynote (2019) (0)
A real-world analysis of factors associated with high healthcare resource utilization and costs in patients with myasthenia gravis receiving second-line treatment (2022) (0)
Bu ild in g In te rn et o f Th in gs S of tw ar e A Vision of Swarmlets (2015) (0)
Chapter 13 . CG Domain (1997) (0)
Framework for Simulating and Prototyping Heterogeneous (1993) (0)
Heterogeneous Signal Processing Systems (1991) (0)
Seven LEED APs in WTP's Green Practice (2014) (0)
LCAP2 (Linear Controls Analysis Program). Volume 3. Source Code Description. (1983) (0)
Digital Signal Processing and DSP Systems (1997) (0)
A DESIGN TOOL FOR HARDWARE AND SOFWARE (1989) (0)
Signal-Space Coding (1997) (0)
Modeling Heterogeneous Systems (2000) (0)
An overview of the career of Paul Caspi (2012) (0)
Chapter 13 . Code Generation (1997) (0)
Integrated Design and Analysis Tools for Software-Based Control Systems (2005) (0)
LCAP2 (Linear Control Analysis Program). Volume 1. Batch LCAP2 User's Guide. (1983) (0)
TIMED DISTRIBUTED SYSTEMS (2008) (0)
Polysplenia syndrome and sickle cell trait: extensive deep venous thrombosis from venous stasis and hypercoagulability. (2021) (0)
DSP Processors, Embodiments, and Alternatives (1997) (0)
Constructive Collisions (2014) (0)
Cooperative multi-robot information acquisition based on distributed robust model predictive control (2016) (0)
Labelled Execution Systems ∗ Eleftherios Matsikoudis (2012) (0)
Abstract IA35: Molecular characterization of sessile serrated adenoma/polyps: A risk factor for higher colorectal cancer that further associates with endometrial polyps in female African Americans (2020) (0)
Embedded systems education (panel abstract). (2000) (0)
Cl ou d St or ag e Toward a Global Data Infrastructure (2016) (0)
Neurofibrom-Schwannom Hybrid Tumor in the Chest Wall (2021) (0)
Computer What ’ s Ahead for Embedded Software ? (2000) (0)
Generalizing Logical Execution Time (2022) (0)
Synthesis and evaluation of antiviral functionalised silica nanoparticles for herpes simplex type 1 and type 2 viral infections (0)
Mobies Position Paper (DRAFT 2 Version) (2001) (0)
RESYNCHRONIZATIO N FOR MULTIPROCESSOR DSP IMPLEMENTATION — PART 1: MAXIMUM THROUGHPUT RESYNCHRONIZATIO N (1998) (0)
10 Modeling Timed Systems (2013) (0)
Foreign approaches to increasing the migration attractiveness of northern, sparsely populated and hard-to-reach territories (2022) (0)
A digital color translation system (1980) (0)
Climate Change Uncertainty and Supply Chain Financing (2021) (0)
An SRAM Compiler for Monolithic-3-D Integrated Circuit With Carbon Nanotube Transistors (2021) (0)
Modal Reactors (2023) (0)
Performance Evaluation of an Optimal Processor Assignment (2016) (0)
How Food Insecurity and Financial Difficulty Relate to Emotional Well-Being and Social Functioning (2022) (0)
Industrial Cyber-Physical Systems (2019) (0)
7.0 Conclusions (0)
Chapter 16 . VHDL Domain (1997) (0)
Two Cycle-Related Problems of Regular Data Flow Graphs : Complexity and Heuristics (1997) (0)
Malaya, Sabah, and Sarawak : financial and economic relationship / Eddy Lee Lye Hoe. (1966) (0)
Joint Code and Data Minimization (1996) (0)
A Machine Learning and Optimization Toolkit for the Swarm (2014) (0)
Informal Governance of the United States (2022) (0)
Determinate Composition of Fmus for Co-simulation ⇤ Michael Wetter (2015) (0)
Design Automation for Embedded Systems (Dagstuhl Seminar 9617) (2021) (0)
Pairwise Grouping of Adjacent Nodes (1996) (0)
Physical Media and Channels (1988) (0)
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools: Proceedings (2011) (0)
Assignment of Dataflow Program Graphs with Data- (1991) (0)
International Intellectual Property: Problem, Cases, and Materials (2017) (0)
Abstract No. 235 EE: Radioembolization—Current and emerging technologies (2010) (0)
Heterogeneous Concurrent Modeling and Design 111 Pn Domain 8.1 Introduction (2003) (0)
Can Systems Requiring Unbounded Memory Further Work (0)
Energy Efficient Pixel-Parallel Read-Out Circuits for Digital Image Sensors Using Cross-Layer Pixel Depth Control (2022) (0)
A Schedulability-Preserving Transformation Scheme from Boolean-Controlled Dataflow Networks to Petri Nets (2004) (0)
High-speed Non-Directional Inffared Communication for Wi" Local-Area Networks (1992) (0)
High-Performance Deterministic Concurrency using Lingua Franca (2023) (0)
Dealing with viewpoint interrelations - a necessary means for efficient systems engineering (2014) (0)
Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction (1994) (0)
GPNMB methylation: a new marker of potentially carcinogenic colon lesions (2018) (0)
The Ptolemy II framework 2 . 1 (2001) (0)
Mixed Mode Modulation Scheme for Indoor Wireless (2018) (0)
Real-Time Oriented Modeling Languages and Tools (2010) (0)
Chapter 7 . DDF Domain (1997) (0)
It's about time (2012) (0)
Generalized Ultrametric Semilattices of Linear Signals (2014) (0)
Terminology and Notation (2019) (0)
35. Effect of Inpatient Status in Patients Undergoing Hand Surgery: A Propensity-score Matched Analysis (2023) (0)
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010 (2010) (0)
Process Networks and Rendezvous (2013) (0)
Building IoT applications with accessors in CapeCode: demo abstract (2016) (0)
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli (2019) (0)
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. Multi-University Research Initiative on High-Confidence Design for Distributed Embedded Systems (2009) (0)
An overview of HDTV and its implications for the broadband ISDN (1989) (0)
An Extensible Model and Analysis Framework (2010) (0)
Laboratory 4: Cal Climber Part II Hill Climb in C (2011) (0)
Demo Abstract: Building IoT Applications with Accessors in CapeCode (2016) (0)
Article Summaries (2006) (0)
Time-Sensitive Software (2023) (0)
hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Ptolemy : A Mixed-Paradigm Simulation / Prototyping Platform in C + + hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh (1991) (0)
Abstract 2027: Anal cancer among African Americans associate with HPV16 lineage B and HIV (2020) (0)
Does goodwill pressure drive business restructuring based on subsidiary disposal? (2023) (0)
Limits of Communication (1997) (0)
Applying a deterministic approach for distributed systems black-box testing (2020) (0)
Power Consumption and Management (1997) (0)
Circuit and Packet Networks (1988) (0)
Abstract 2413: POLE gene mutations in African Americans colorectal cancer (2021) (0)
Checking for Circular Dependencies in Distributed Stream Programs (2011) (0)
Time-Critical Networking - Extended Abstract for Invited Presentation (2009) (0)
Some Research Directions in the Ptolemy Project (2001) (0)
Heterogeneous Actor Modeling Invited Paper (2011) (0)
Keynote - It's about time (2014) (0)
Identifying unnecessary duplicate genetic testing in a large medical center (2021) (0)
Work-in-progress: contextual callbacks for resource discovery and trust negotiation on the internet of things (2017) (0)
Ptolemy Coding Style (2014) (0)
Distributed Real-Time Software for Cyber-Physical Systems New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems. (2012) (0)
LCAP2 (Linear Controls Analysis Program). Volume 2. Interactive LCAP2 User's Guide. (1983) (0)
By Jie Liu and (2001) (0)
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (2020) (0)
Single Puncture TIPS—A 3D Fusion Image-Guided Transjugular Intrahepatic Portosystemic Shunt (TIPS): An Experimental Study (2022) (0)
Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems (2007) (0)
Consistency vs. Availability in Distributed Real-Time Systems (2023) (0)
IMG-22. A DEEP LEARNING MODEL FOR AUTOMATIC POSTERIOR FOSSA PEDIATRIC BRAIN TUMOR SEGMENTATION: A MULTI-INSTITUTIONAL STUDY (2020) (0)
Application of adaptive antenna techniques to future commercial satellite communications. Executive summary (1987) (0)
7.0 Conclusion 8.0 References (1994) (0)
For concurrent programming to become mainstream, we must discard threads as a programming model. Nondeterminism should be judiciously and carefully introduced where needed, and it should be explicit in programs. (2006) (0)
Refractory Ascites: Treatment and Complications Utilizing Peritoneovenous (Denver) Shunt (2017) (0)
Managerial Short-Termism and Corporate Tax Avoidance (2022) (0)
7. Acknowledgments 5. a Typical Mixed De/dataflow Simulation 6. Conclusions Figure 13. a De Subsystem Designed for Inclusion within an Sdf System (2007) (0)
Gordian (2020) (0)

This paper list is powered by the following services:

Other Resources About Edward A. Lee

What Schools Are Affiliated With Edward A. Lee?

Edward A. Lee is affiliated with the following schools:

Image Attributions

Image Source for Edward A. Lee