Edward A. Lee

According to our database1, Edward A. Lee
  • authored at least 219 papers between 1987 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
What Is Real Time Computing? A Personal View.
IEEE Design & Test, 2018

2017
Runtime compositional analysis of track-based traffic control systems.
SIGBED Review, 2017

Authentication and Authorization for the Internet of Things.
IT Professional, 2017

autoCode4: Structural Controller Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

An Architectural Mechanism for Resilient IoT Services.
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

Abstract PRET Machines.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

2016
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications.
IEEE Trans. Services Computing, 2016

Fundamental Limits of Cyber-Physical Systems Modeling.
TCPS, 2016

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.
Proceedings of the IEEE, 2016

Toward a Global Data Infrastructure.
IEEE Internet Computing, 2016

Plenary I: The Internet of important things.
Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

FIDE: an FMI integrated development environment.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Cooperative multi-robot information acquisition based on distributed robust model predictive control.
Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Step revision in hybrid Co-simulation with FMI.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Control Improvisation with Probabilistic Temporal Specifications.
Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Demo Abstract: Building IoT Applications with Accessors in CapeCode.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

Coordinated Actors for Reliable Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
The fixed-point theory of strictly causal functions.
Theor. Comput. Sci., 2015

The Past, Present and Future of Cyber-Physical Systems: A Focus on Models.
Sensors, 2015

A Vision of Swarmlets.
IEEE Internet Computing, 2015

Control Improvisation with Probabilistic Temporal Specifications.
CoRR, 2015

An Interface Theory for the Internet of Things.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A predictable and command-level priority-based DRAM controller for mixed-criticality systems.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A model for semantic localization.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

CyPhySim: a cyber-physical systems simulator.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements for hybrid cosimulation standards.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

The Cloud is Not Enough: Saving IoT from the Cloud.
Proceedings of the 7th USENIX Workshop on Hot Topics in Storage and File Systems, 2015

The Cloud is Not Enough: Saving IoT from the Cloud.
Proceedings of the 7th USENIX Workshop on Hot Topics in Cloud Computing, 2015

Modeling and simulating cyber-physical systems using CyPhySim.
Proceedings of the 2015 International Conference on Embedded Software, 2015

System simulation from operational data.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Architectural Support for Cyber-Physical Systems.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Ramifications of software implementation and deployment: A case study on yaw moment controller design.
Proceedings of the American Control Conference, 2015

2014
The Swarm at the Edge of the Cloud.
IEEE Design & Test, 2014

Constructive Models of Discrete and Continuous Physical Phenomena.
IEEE Access, 2014

HOBS: head orientation-based selection in physical spaces.
Proceedings of the 2nd ACM Symposium on Spatial User Interaction, 2014

FlexPRET: A processor platform for mixed-criticality systems.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Keynote - It's about time.
Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Constructive Collisions.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

2013
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.
ACM Trans. Embedded Comput. Syst., 2013

A modular formal semantics for Ptolemy.
Mathematical Structures in Computer Science, 2013

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.
Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

Numerical LTL Synthesis for Cyber-Physical Systems.
CoRR, 2013

Error-Completion in Interface Theories.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Modeling uncertainty for middleware-based streaming power grid applications.
Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing, 2013

Cyber-physical system design contracts.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

On the Verification of Timed Discrete-Event Models.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

On Fixed Points of Strictly Causal Functions.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.
Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

On the schedulability of real-time discrete-event systems.
Proceedings of the International Conference on Embedded Software, 2013

StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions.
Proceedings of the International Conference on Embedded Software, 2013

Determinate composition of FMUs for co-simulation.
Proceedings of the International Conference on Embedded Software, 2013

Industrial Cyber-Physical Systems - iCyPhy.
Proceedings of the Complex Systems Design & Management, 2013

A tool integration approach for architectural exploration of aircraft electric power systems.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012

Distributed Real-Time Software for Cyber-Physical Systems.
Proceedings of the IEEE, 2012

Modeling Cyber-Physical Systems.
Proceedings of the IEEE, 2012

It's about time.
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

The Coroutine Model of Computation.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

A PRET microarchitecture implementation with repeatable timing and competitive performance.
Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk.
Proceedings of the Hardware and Software: Verification and Testing, 2012

A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs.
Proceedings of the 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines, 2012

Teaching embedded systems the Berkeley way.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

An overview of the career of Paul Caspi.
Proceedings of the 12th International Conference on Embedded Software, 2012

From Transitions to Executions.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011
A Theory of Synchronous Relational Interfaces.
ACM Trans. Program. Lang. Syst., 2011

A model-based design methodology for cyber-physical systems.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

PTIDES model on a distributed testbed emulating smart grid real-time applications.
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

An introductory capstone design course on embedded systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

A practical ontology framework for static model analysis.
Proceedings of the 11th International Conference on Embedded Software, 2011

Heterogeneous actor modeling.
Proceedings of the 11th International Conference on Embedded Software, 2011

Time-predictable and composable architectures for dependable embedded systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Component-based design for the future.
Proceedings of the Design, Automation and Test in Europe, 2011

Temporal isolation on multiprocessing architectures.
Proceedings of the 48th Design Automation Conference, 2011

PRET DRAM controller: bank privatization for predictability and temporal isolation.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
The design and application of structured types in Ptolemy II.
Int. J. Intell. Syst., 2010

Code Generation for Embedded Java with Ptolemy.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Deploying Hard Real-Time Control Software on Chip-Multiprocessors.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Disciplined Heterogeneous Modeling - Invited Paper.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.
Proceedings of the Models in Software Engineering, 2010

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

An introductory textbook on cyber-physical systems.
Proceedings of the 2010 Workshop on Embedded Systems Education, 2010

Modal Models in Ptolemy.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Ptera: an event-oriented model of computation for heterogeneous systems.
Proceedings of the 10th International conference on Embedded software, 2010

Model-based specification of timing requirements.
Proceedings of the 10th International conference on Embedded software, 2010

CPS foundations.
Proceedings of the 47th Design Automation Conference, 2010

Modeling and analyzing real-time multiprocessor systems.
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Exploring models of computation with ptolemy II.
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009
Classes and inheritance in actor-oriented design.
ACM Trans. Embedded Comput. Syst., 2009

Heterogeneous composition of models of computation.
Future Generation Comp. Syst., 2009

Computing needs time.
Commun. ACM, 2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

The Case for Timing-Centric Distributed Software Invited Paper.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

A disruptive computer design idea: Architectures with repeatable timing.
Proceedings of the 27th International Conference on Computer Design, 2009

On relational interfaces.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09481 Abstracts Collection - SYNCHRON 2009.
Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Toward the Design of Robotic Software with Verifiable Safety.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Causality interfaces for actor networks.
ACM Trans. Embedded Comput. Syst., 2008

CPO semantics of timed interactive actor networks.
Theor. Comput. Sci., 2008

Real-Time Distributed Discrete-Event Execution with Fault Tolerance.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Cyber Physical Systems: Design Challenges.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Time is a Resource, and Other Stories.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Simulation and Implementation of the PTIDES Programming Model.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Predictable programming on a precision timed architecture.
Proceedings of the 2008 International Conference on Compilers, 2008

2007
A Programming Model for Time-Synchronized Distributed Real-Time Systems.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.
Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Composing Different Models of Computation in Kepler and Ptolemy II.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

The Case for the Precision Timed (PRET) Machine.
Proceedings of the 44th Design Automation Conference, 2007

2006
Scientific workflow management and the Kepler system.
Concurrency and Computation: Practice and Experience, 2006

The Problem with Threads.
IEEE Computer, 2006

Discrete event models: getting the semantics right.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Incremental checkpointing with application to distributed discrete event simulation.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Beyond Zeno: Get on with It!
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Concurrent Semantics Without the Notions of State or State Transitions.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

A causality interface for deadlock analysis in dataflow.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Modeling Timed Concurrent Systems.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Absolutely Positively on Time: What Would It Take?
IEEE Computer, 2005

Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Counting Interface Automata and their Application in Static Analysis of Actor Models.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Reinventing Computing for Real Time.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Operational Semantics of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

The design and application of structured types in Ptolemy II.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

2004
Actor-oriented control system design: a responsible framework perspective.
IEEE Trans. Contr. Sys. Techn., 2004

A behavioral type system and its application in Ptolemy II.
Formal Asp. Comput., 2004

Hierarchical reconfiguration of dataflow models.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Classes and subclasses in actor-oriented design.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Modeling of sensor nets in Ptolemy II.
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

2003
The semantics and execution of a synchronous block-diagram language.
Sci. Comput. Program., 2003

Taming heterogeneity - the Ptolemy approach.
Proceedings of the IEEE, 2003

Actor-Oriented Design of Embedded Hardware and Software Systems.
Journal of Circuits, Systems, and Computers, 2003

On the Causality of Mixed-Signal and Hybrid Models.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Digital communication (3. ed.).
Springer, ISBN: 978-0-7923-7548-7, 2003

Structure and interpretation of signals and systems.
Addison-Wesley, ISBN: 978-0-201-74551-1, 2003

2002
Multidimensional synchronous dataflow.
IEEE Trans. Signal Processing, 2002

A component-based approach to modeling and simulating mixed-signal and hybrid systems.
ACM Trans. Model. Comput. Simul., 2002

Embedded Software.
Advances in Computers, 2002

2001
The Ptolemy II Framework for Visual Languages.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

System-Level Types for Component-Based Design.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
What's Ahead for Embedded Software?
IEEE Computer, 2000

An Extensible Type System for Component-Based Design.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Embedded systems education (panel abstract).
Proceedings of the 37th Conference on Design Automation, 2000

A code generation framework for Java component-based designs.
Proceedings of the 2000 International Conference on Compilers, 2000

1999
Synthesis of Embedded Software from Synchronous Dataflow Specifications.
VLSI Signal Processing, 1999

Hierarchical finite state machines with multiple concurrency models.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999

Advances in the dataflow computational model.
Parallel Computing, 1999

Modeling Concurrent Real-Time Processes Using Discrete Events.
Ann. Software Eng., 1999

Computationally efficient version of the decision feedback equalizer.
Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

1998
A framework for comparing models of computation.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1998

Engineering and Education for the Future.
IEEE Computer, 1998

The Tycho Slate: Complex Drawing and Editing in Tcl/Tk.
Proceedings of the 6th Annual Tcl/Tk Conference, 1998

Hierarchical Concurrent Finite State Machines in Ptolemy.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.
VLSI Signal Processing, 1997

Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.
VLSI Signal Processing, 1997

Optimizing synchronization in multiprocessor DSP systems.
IEEE Trans. Signal Processing, 1997

Joint Minimization of Code and Data for Synchronous Dataflow Programs.
Formal Methods in System Design, 1997

The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection.
Design Autom. for Emb. Sys., 1997

APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations.
Design Autom. for Emb. Sys., 1997

The Tycho User Interface System.
Proceedings of the Fifth Annual Tcl/Tk Workshop 1997, 1997

Code generation by using integer-controlled dataflow graph.
Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Optimized software synthesis for synchronous dataflow.
Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996
Complexity management in system-level design.
VLSI Signal Processing, 1996

Capacity penalty due to ideal zero-forcing decision-feedback equalization.
IEEE Trans. Information Theory, 1996

Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.
Proceedings of IPPS '96, 1996

Comparing models of computation.
ICCAD, 1996

Interface synthesis in heterogeneous system-level DSP design tools.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Real-time DSP for sophomores.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Latency-constrained Resynchronization for Multiprocessor DSP Implementation.
Proceedings of the 1996 International Conference on Application-Specific Systems, 1996

1995
Software synthesis for DSP using ptolemy.
VLSI Signal Processing, 1995

The extended partitioning problem: hardware/software mapping and implementation-bin selection.
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Converting graphical DSP programs into memory constrained software prototypes.
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.
Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Hierarchical static scheduling of dataflow graphs onto multiple processors.
Proceedings of the 1995 International Conference on Acoustics, 1995

Non-preemptive real-time scheduling of dataflow systems.
Proceedings of the 1995 International Conference on Acoustics, 1995

Modeling radar systems using hierarchical dataflow.
Proceedings of the 1995 International Conference on Acoustics, 1995

Managing complexity in heterogeneous system specification, simulation, and synthesis.
Proceedings of the 1995 International Conference on Acoustics, 1995

Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing.
Proceedings of the 1995 International Conference on Acoustics, 1995

Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.
Proceedings of the International Conference on Application Specific Array Processors (ASAP'95), 1995

1994
Memory management for dataflow programming of multirate signal processing algorithms.
IEEE Trans. Signal Processing, 1994

Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems.
Int. Journal in Computer Simulation, 1994

Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms.
Formal Methods in System Design, 1994

A methodology for simulation and synthesis of mixed hardware/software systems.
Proceedings of the 7th International Symposium on High Level Synthesis, 1994

Automatic code generation for heterogeneous multiprocessors.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Minimizing memory requirements for chain-structured synchronous dataflow programs.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Computing and signal processing: an experimental multidisciplinary course.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Manifestations of Heterogeneity in Hardware/Software Co-Design.
Proceedings of the 31st Conference on Design Automation, 1994

A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

Digital communication (2. ed.).
Kluwer, ISBN: 978-0-7923-9391-7, 1994

1993
Scheduling synchronous dataflow graphs for efficient looping.
VLSI Signal Processing, 1993

Declustering: A New Multiprocessor Scheduling Technique.
IEEE Trans. Parallel Distrib. Syst., 1993

A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures.
IEEE Trans. Parallel Distrib. Syst., 1993

Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels.
IEEE Journal on Selected Areas in Communications, 1993

A Hardware-Software Codesign Methodology for DSP Applications.
IEEE Design & Test of Computers, 1993

Mulitdimensional Streams Rooted in Dataflow.
Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

1991
Consistency in Dataflow Graphs.
IEEE Trans. Parallel Distrib. Syst., 1991

Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.
IEEE Trans. Computers, 1991

1990
Programmable DSPs: a brief overview.
IEEE Micro, 1990

Gabriel: a design environment for DSP.
IEEE Micro, 1990

Architectures for Statically Scheduled Dataflow.
J. Parallel Distrib. Comput., 1990

Dynamic-level scheduling for heterogeneous processor networks.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
Gabriel: a design environment for DSP.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1989

GABRIEL: A Design Environment for Programmable DSPs.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1987
Pipeline interleaved programmable DSP's: Synchronous data flow programming.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1987

Pipeline interleaved programmable DSP's: Architecture.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1987

Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing.
IEEE Trans. Computers, 1987

Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.
Proceedings of the COMPCON'87, 1987


  Loading...