Edward A. Lee

Martin Schoeberl

Edward Ashford Lee

Milica Orlandic

ACM Trans. Reconfigurable Technol. Syst., December, 2024

Deterministic Coordination across Multiple Timelines.

[BibT_eX]

[DOI]

Soroush Bateni

Christian Menard

Jerónimo Castrillón

ACM Trans. Embed. Comput. Syst., September, 2024

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency.

[BibT_eX]

[DOI]

Shaokai Lin

CoRR, 2024

Strongly-Consistent Distributed Discrete-event Systems.

[BibT_eX]

[DOI]

Peter Donovan

CoRR, 2024

Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis, 2024

Efficient Parallel Reinforcement Learning Framework Using the Reactor Model.

[BibT_eX]

[DOI]

Jacky Kwok

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Efficient Coordination for Distributed Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.

[BibT_eX]

[DOI]

Akash Ahmad

Malte Clement

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Timing enclaves for performance in Lingua Franca.

[BibT_eX]

[DOI]

Julian Robledo

Christian Menard

Jerónimo Castrillón

Proceedings of the Forum on Specification & Design Languages, 2024

Certainty or Intelligence: Pick One!

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

High-performance Deterministic Concurrency Using Lingua Franca.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., December, 2023

Towards Building Verifiable CPS using Lingua Franca.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., October, 2023

Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca.

[BibT_eX]

[DOI]

Jacky Kwok

CoRR, 2023

Modal Reactors.

[BibT_eX]

[DOI]

Soroush Bateni

CoRR, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Deep Neural Networks, Explanations, and Rationality.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Beyond the Threaded Programming Model on Real-Time Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

Polyglot Modal Models through Lingua Franca.

[BibT_eX]

[DOI]

Soroush Bateni

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

Logical Time for Reactive Software.

[BibT_eX]

[DOI]

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

InterPRET: a Time-predictable Multicore Processor.

[BibT_eX]

[DOI]

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Pragmatics Twelve Years Later: A Report on Lingua Franca.

[BibT_eX]

[DOI]

Hauke Fuhrmann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Generalizing Logical Execution Time.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

Are We Losing Control?

[BibT_eX]

[DOI]

Perspectives on Digital Humanism, 2022

2021

Semantic Localization for IoT.

[BibT_eX]

[DOI]

Proceedings of the Semantic IoT: Theory and Applications, 2021

Programmable Logic Controllers in the Context of Industry 4.0.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Toward a Lingua Franca for Deterministic Concurrent Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Determinism.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Quantifying and Generalizing the CAP Theorem.

[BibT_eX]

[DOI]

CoRR, 2021

Time for All Programs, Not Just Real-Time Programs.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.

[BibT_eX]

[DOI]

ACM Trans. Internet Things, 2020

Gordian: Formal Reasoning-based Outlier Detection for Secure Localization.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

Learning Branching Heuristics for Propositional Model Counting.

[BibT_eX]

[DOI]

CoRR, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

A Language for Deterministic Coordination Across Multiple Timelines.

[BibT_eX]

[DOI]

Christian Menard

Jerónimo Castrillón

Proceedings of the Forum for Specification and Design Languages, 2020

Model Checking Software in Cyberphysical Systems.

[BibT_eX]

[DOI]

Marjan Sirjani

Ehsan Khamespanah

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Formal Semantics of Predictable Pipelines: a Comparative Study.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Hybrid co-simulation: it's about time.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Creating a Resilient IoT With Edge Computing.

[BibT_eX]

[DOI]

Schahram Dustdar

Computer, 2019

Modeling in engineering and science.

[BibT_eX]

[DOI]

Commun. ACM, 2019

On Enabling Technologies for the Internet of Important Things.

[BibT_eX]

[DOI]

IEEE Access, 2019

Work-in-Progress: Real-Time Reactors in C.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Observation and Interaction - Invited Paper.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2019

Service Discovery for the Connected Car with Semantic Accessors.

[BibT_eX]

[DOI]

Ravi Akella

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Physical Design, 2019

A fundamental look at models and intelligence: abstract of keynote.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Deterministic Actors.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Programs with ironclad timing guarantees: work-in-progress.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software Companion, 2019

Actors Revisited for Time-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Reactors: A Deterministic Model for Composable Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

A Component Architecture for the Internet of Things.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Coordinated actor model of self-adaptive track-based traffic control systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

What Is Real Time Computing? A Personal View.

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

A Metric for Linear Temporal Logic.

[BibT_eX]

[DOI]

CoRR, 2018

Is software the result of top-down intelligent design or evolution?

[BibT_eX]

[DOI]

Commun. ACM, 2018

AWStream: adaptive wide-area streaming analytics.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Deterministic Timing for the Industrial Internet of Things.

[BibT_eX]

[DOI]

Chadlia Jerad

Proceedings of the IEEE International Conference on Industrial Internet, 2018

Models of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

What Good are Models?

[BibT_eX]

[DOI]

Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Runtime compositional analysis of track-based traffic control systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

Authentication and Authorization for the Internet of Things.

[BibT_eX]

[DOI]

IT Prof., 2017

autoCode4: Structural Controller Synthesis.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Harald Ruess

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

An Architectural Mechanism for Resilient IoT Services.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

Abstract PRET Machines.

[BibT_eX]

[DOI]

Jan Reineke

Michael Zimmer

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems.

[BibT_eX]

[DOI]

Armin Wasicek

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications.

[BibT_eX]

[DOI]

Ilge Akkaya

Yan Liu

IEEE Trans. Serv. Comput., 2016

Fundamental Limits of Cyber-Physical Systems Modeling.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2016

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.

[BibT_eX]

[DOI]

Proc. IEEE, 2016

Toward a Global Data Infrastructure.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2016

Information seeking and model predictive control of a cooperative multi-robot system.

[BibT_eX]

[DOI]

Shuhei Emoto

Ilge Akkaya

Artif. Life Robotics, 2016

Plenary I: The Internet of important things.

[BibT_eX]

[DOI]

Danella Zhao

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

FIDE: an FMI integrated development environment.

[BibT_eX]

[DOI]

Fabio Cremona

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Cooperative multi-robot information acquisition based on distributed robust model predictive control.

[BibT_eX]

[DOI]

Shuhei Emoto

Ilge Akkaya

Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Step revision in hybrid Co-simulation with FMI.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Control Improvisation with Probabilistic Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Demo Abstract: Building IoT Applications with Accessors in CapeCode.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

Coordinated Actors for Reliable Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

The fixed-point theory of strictly causal functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

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

[BibT_eX]

[DOI]

Sensors, 2015

A Vision of Swarmlets.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2015

An Interface Theory for the Internet of Things.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A model for semantic localization.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

CyPhySim: a cyber-physical systems simulator.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements for hybrid cosimulation standards.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

The Cloud is Not Enough: Saving IoT from the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Workshop on Hot Topics in Storage and File Systems, 2015

Modeling and simulating cyber-physical systems using CyPhySim.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

System simulation from operational data.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Architectural Support for Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Zimmer

J. Karl Hedrick

Proceedings of the American Control Conference, 2015

2014

The Swarm at the Edge of the Cloud.

[BibT_eX]

[DOI]

IEEE Des. Test, 2014

Constructive Models of Discrete and Continuous Physical Phenomena.

[BibT_eX]

[DOI]

IEEE Access, 2014

HOBS: head orientation-based selection in physical spaces.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Symposium on Spatial User Interaction, 2014

FlexPRET: A processor platform for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Keynote - It's about time.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Constructive Collisions.

[BibT_eX]

[DOI]

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

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems.

[BibT_eX]

[DOI]

Armin Wasicek

Patricia Derler

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Message from the Chairs.

[BibT_eX]

[DOI]

Peter Palensky

Proceedings of the Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2014

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

A modular formal semantics for Ptolemy.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

Numerical LTL Synthesis for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Chih-Hong Cheng

CoRR, 2013

Error-Completion in Interface Theories.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Modeling uncertainty for middleware-based streaming power grid applications.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing, 2013

Cyber-physical system design contracts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christos Stergiou

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

On Fixed Points of Strictly Causal Functions.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

On the schedulability of real-time discrete-event systems.

[BibT_eX]

[DOI]

Christos Stergiou

Proceedings of the International Conference on Embedded Software, 2013

StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions.

[BibT_eX]

[DOI]

Dai N. Bui

Proceedings of the International Conference on Embedded Software, 2013

Determinate composition of FMUs for co-simulation.

[BibT_eX]

[DOI]

David Broman

Proceedings of the International Conference on Embedded Software, 2013

Industrial Cyber-Physical Systems - iCyPhy.

[BibT_eX]

[DOI]

Eelco Scholte

Proceedings of the Complex Systems Design & Management, 2013

A tool integration approach for architectural exploration of aircraft electric power systems.

[BibT_eX]

[DOI]

Liangpeng Guo

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Distributed Real-Time Software for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Modeling Cyber-Physical Systems.

[BibT_eX]

[DOI]

Patricia Derler

Proc. IEEE, 2012

It's about time.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.

[BibT_eX]

[DOI]

Jia Zou

Slobodan Matic

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.

[BibT_eX]

[DOI]

Christian Motika

Hauke Fuhrmann

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

The Coroutine Model of Computation.

[BibT_eX]

[DOI]

Chris Shaver

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

A PRET microarchitecture implementation with repeatable timing and competitive performance.

[BibT_eX]

[DOI]

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines, 2012

Teaching embedded systems the Berkeley way.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Jeff C. Jensen

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

An overview of the career of Paul Caspi.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

From Transitions to Executions.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

A Theory of Synchronous Relational Interfaces.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2011

A model-based design methodology for cyber-physical systems.

[BibT_eX]

[DOI]

Jeff C. Jensen

Danica H. Chang

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

PTIDES model on a distributed testbed emulating smart grid real-time applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

An introductory capstone design course on embedded systems.

[BibT_eX]

[DOI]

Jeff C. Jensen

Sanjit A. Seshia

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

A practical ontology framework for static model analysis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Heterogeneous actor modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Time-predictable and composable architectures for dependable embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Component-based design for the future.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

Temporal isolation on multiprocessing architectures.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

PRET DRAM controller: bank privatization for predictability and temporal isolation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2010

Code Generation for Embedded Java with Ptolemy.

[BibT_eX]

[DOI]

Martin Schoeberl

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Deploying Hard Real-Time Control Software on Chip-Multiprocessors.

[BibT_eX]

[DOI]

Dai N. Bui

Hiren D. Patel

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Disciplined Heterogeneous Modeling - Invited Paper.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

An introductory textbook on cyber-physical systems.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Proceedings of the 2010 Workshop on Embedded Systems Education, 2010

Modal Models in Ptolemy.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Thomas Huining Feng

Lee W. Shruben

Proceedings of the 10th International conference on Embedded software, 2010

Model-based specification of timing requirements.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

CPS foundations.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Modeling and analyzing real-time multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Exploring models of computation with ptolemy II.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009

Classes and inheritance in actor-oriented design.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

Heterogeneous composition of models of computation.

[BibT_eX]

[DOI]

Antoon Goderis

Ilkay Altintas

Carole A. Goble

Future Gener. Comput. Syst., 2009

Computing needs time.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

The Case for Timing-Centric Distributed Software Invited Paper.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Computer Design, 2009

Introducing embedded systems: a cyber-physical approach: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

On relational interfaces.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09481 Abstracts Collection - SYNCHRON 2009.

[BibT_eX]

[DOI]

Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Toward the Design of Robotic Software with Verifiable Safety.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Causality interfaces for actor networks.

[BibT_eX]

[DOI]

Ye Zhou

ACM Trans. Embed. Comput. Syst., 2008

CPO semantics of timed interactive actor networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Advances in hardware design and implementation of signal processing systems [DSP Forum].

[BibT_eX]

[DOI]

Konstantinos Konstantinides

IEEE Signal Process. Mag., 2008

Real-Time Distributed Discrete-Event Execution with Fault Tolerance.

[BibT_eX]

[DOI]

Thomas Huining Feng

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Cyber Physical Systems: Design Challenges.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Time is a Resource, and Other Stories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Simulation and Implementation of the PTIDES Programming Model.

[BibT_eX]

[DOI]

Patricia Derler

Slobodan Matic

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

Predictable programming on a precision timed architecture.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Compilers, 2008

2007

A Programming Model for Time-Synchronized Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Yang Zhao

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.

[BibT_eX]

[DOI]

Gang Zhou

Man-Kit Leung

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Composing Different Models of Computation in Kepler and Ptolemy II.

[BibT_eX]

[DOI]

Antoon Goderis

Ilkay Altintas

Carole A. Goble

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.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

The Case for the Precision Timed (PRET) Machine.

[BibT_eX]

[DOI]

Stephen A. Edwards

Proceedings of the 44th Design Automation Conference, 2007

2006

Scientific workflow management and the Kepler system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2006

The Problem with Threads.

[BibT_eX]

[DOI]

Computer, 2006

Discrete event models: getting the semantics right.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Incremental checkpointing with application to distributed discrete event simulation.

[BibT_eX]

[DOI]

Thomas Huining Feng

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Beyond Zeno: Get on with It!

[BibT_eX]

[DOI]

Aaron D. Ames

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Concurrent Semantics Without the Notions of State or State Transitions.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

A causality interface for deadlock analysis in dataflow.

[BibT_eX]

[DOI]

Ye Zhou

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Modeling Timed Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.

[BibT_eX]

[DOI]

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Absolutely Positively on Time: What Would It Take?

[BibT_eX]

[DOI]

Computer, 2005

Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.

[BibT_eX]

[DOI]

Elaine Cheong

Yang Zhao

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Counting Interface Automata and their Application in Static Analysis of Actor Models.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Reinventing Computing for Real Time.

[BibT_eX]

[DOI]

Yang Zhao

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Operational Semantics of Hybrid Systems.

[BibT_eX]

[DOI]

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

2004

Actor-oriented control system design: a responsible framework perspective.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2004

A behavioral type system and its application in Ptolemy II.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Hierarchical reconfiguration of dataflow models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

2003

The semantics and execution of a synchronous block-diagram language.

[BibT_eX]

[DOI]

Stephen A. Edwards

Sci. Comput. Program., 2003

Taming heterogeneity - the Ptolemy approach.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Actor-Oriented Design of Embedded Hardware and Software Systems.

[BibT_eX]

[DOI]

Michael J. Wirthlin

J. Circuits Syst. Comput., 2003

On the Causality of Mixed-Signal and Hybrid Models.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Digital communication (3. ed.).

[BibT_eX]

Springer, ISBN: 978-0-7923-7548-7, 2003

Structure and interpretation of signals and systems.

[BibT_eX]

Pravin Varaiya

Addison-Wesley, ISBN: 978-0-201-74551-1, 2003

2002

Multidimensional synchronous dataflow.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2002

A component-based approach to modeling and simulating mixed-signal and hybrid systems.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2002

Embedded Software.

[BibT_eX]

[DOI]

Adv. Comput., 2002

2001

The Ptolemy II Framework for Visual Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

Motivating hierarchical run-time models in measurement and control systems.

[BibT_eX]

[DOI]

Stanley Jefferson

Proceedings of the American Control Conference, 2001

Modeling distributed hybrid systems in Ptolemy II.

[BibT_eX]

[DOI]

He Li

Proceedings of the American Control Conference, 2001

2000

What's Ahead for Embedded Software?

[BibT_eX]

[DOI]

Computer, 2000

An Extensible Type System for Component-Based Design.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Embedded systems education (panel abstract).

[BibT_eX]

[DOI]

Wayne H. Wolf

Proceedings of the 37th Conference on Design Automation, 2000

A code generation framework for Java component-based designs.

[BibT_eX]

[DOI]

Jeff Tsay

Christopher Hylands

Proceedings of the 2000 International Conference on Compilers, 2000

1999

Synthesis of Embedded Software from Synchronous Dataflow Specifications.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1999

Hierarchical finite state machines with multiple concurrency models.

[BibT_eX]

[DOI]

Alain Girault

Bilung Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

A highest education in the year 2049.

[BibT_eX]

[DOI]

Proc. IEEE, 1999

Advances in the dataflow computational model.

[BibT_eX]

[DOI]

Walid A. Najjar

Guang R. Gao

Parallel Comput., 1999

Modeling Concurrent Real-Time Processes Using Discrete Events.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

Computationally efficient version of the decision feedback equalizer.

[BibT_eX]

[DOI]

Rajarshi Gupta

Kiran

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

1998

A framework for comparing models of computation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Engineering and Education for the Future.

[BibT_eX]

[DOI]

Computer, 1998

The Tycho Slate: Complex Drawing and Editing in Tcl/Tk.

[BibT_eX]

[DOI]

H. John Reekie

Proceedings of the 6th Annual Tcl/Tk Conference, 1998

Hierarchical Concurrent Finite State Machines in Ptolemy.

[BibT_eX]

[DOI]

Bilung Lee

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.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1997

Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.

[BibT_eX]

[DOI]

Wan-Teh Chang

J. VLSI Signal Process., 1997

Optimizing synchronization in multiprocessor DSP systems.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 1997

Design of embedded systems: formal models, validation, and synthesis.

[BibT_eX]

[DOI]

Stephen A. Edwards

Luciano Lavagno

Proc. IEEE, 1997

Joint Minimization of Code and Data for Synchronous Dataflow Programs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1997

The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1997

APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1997

The Tycho User Interface System.

[BibT_eX]

[DOI]

Christopher Hylands

H. John Reekie

Proceedings of the Fifth Annual Tcl/Tk Workshop 1997, 1997

Code generation by using integer-controlled dataflow graph.

[BibT_eX]

[DOI]

Takashi Miyazaki

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Optimized software synthesis for synchronous dataflow.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

Complexity management in system-level design.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1996

Capacity penalty due to ideal zero-forcing decision-feedback equalization.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1996

Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.

[BibT_eX]

[DOI]

Proceedings of IPPS '96, 1996

Comparing models of computation.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Interface synthesis in heterogeneous system-level DSP design tools.

[BibT_eX]

[DOI]

Michael C. Williamson

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Real-time DSP for sophomores.

[BibT_eX]

[DOI]

H. John Reekie

S. Shankar Sastry

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Latency-constrained Resynchronization for Multiprocessor DSP Implementation.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Application-Specific Systems, 1996

1995

Software synthesis for DSP using ptolemy.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1995

Dataflow process networks.

[BibT_eX]

[DOI]

Thomas M. Parks

Proc. IEEE, 1995

The extended partitioning problem: hardware/software mapping and implementation-bin selection.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Converting graphical DSP programs into memory constrained software prototypes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jürgen Teich

Lothar Thiele

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Hierarchical static scheduling of dataflow graphs onto multiple processors.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Acoustics, 1995

Non-preemptive real-time scheduling of dataflow systems.

[BibT_eX]

[DOI]

Thomas M. Parks

Proceedings of the 1995 International Conference on Acoustics, 1995

Modeling radar systems using hierarchical dataflow.

[BibT_eX]

[DOI]

Karim P. Khiar

Proceedings of the 1995 International Conference on Acoustics, 1995

Managing complexity in heterogeneous system specification, simulation, and synthesis.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Acoustics, 1995

Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Acoustics, 1995

Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application Specific Array Processors (ASAP'95), 1995

1994

Memory management for dataflow programming of multirate signal processing algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 1994

Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems.

[BibT_eX]

Joseph T. Buck

Int. J. Comput. Simul., 1994

Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1994

A methodology for simulation and synthesis of mixed hardware/software systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on High Level Synthesis, 1994

Automatic code generation for heterogeneous multiprocessors.

[BibT_eX]

[DOI]

Thomas M. Parks

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Minimizing memory requirements for chain-structured synchronous dataflow programs.

[BibT_eX]

[DOI]

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Computing and signal processing: an experimental multidisciplinary course.

[BibT_eX]

[DOI]

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction.

[BibT_eX]

Jordi Cortadella

José A. B. Fortes

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Manifestations of Heterogeneity in Hardware/Software Co-Design.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

Digital communication (2. ed.).

[BibT_eX]

Kluwer, ISBN: 978-0-7923-9391-7, 1994

1993

Scheduling synchronous dataflow graphs for efficient looping.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1993

Declustering: A New Multiprocessor Scheduling Technique.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1993

A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1993

Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1993

A Hardware-Software Codesign Methodology for DSP Applications.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1993

Mulitdimensional Streams Rooted in Dataflow.

[BibT_eX]

[DOI]

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

Design and implementation of an ordered memory access architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1993

Representing and exploiting data parallelism using multidimensional dataflow diagrams.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1993

Scheduling dynamic dataflow graphs with bounded memory using the token flow model.

[BibT_eX]

[DOI]

Joseph T. Buck

Proceedings of the IEEE International Conference on Acoustics, 1993

1992

Direct synthesis of optimized DSP assembly code from signal flow block diagrams.

[BibT_eX]

[DOI]

Douglas B. Powell

William C. Newman

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

A design lab for statistical signal processing.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

1991

Consistency in Dataflow Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1991

Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1991

High-speed nondirective optical communication for wireless networks.

[BibT_eX]

[DOI]

Joseph M. Kahn

IEEE Netw., 1991

Multirate signal processing in Ptolemy.

[BibT_eX]

[DOI]

Joseph T. Buck

Proceedings of the 1991 International Conference on Acoustics, 1991

Multirate signal processing in Comdisco's SPW.

[BibT_eX]

[DOI]

Brian Barrera

Proceedings of the 1991 International Conference on Acoustics, 1991

1990

Performance of coherent optical receivers.

[BibT_eX]

[DOI]

Proc. IEEE, 1990

Programmable DSPs: a brief overview.

[BibT_eX]

[DOI]

IEEE Micro, 1990

Gabriel: a design environment for DSP.

[BibT_eX]

[DOI]

IEEE Micro, 1990

Architectures for Statically Scheduled Dataflow.

[BibT_eX]

[DOI]

Jeffery C. Bier

J. Parallel Distributed Comput., 1990

Dynamic-level scheduling for heterogeneous processor networks.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

Gabriel: a design environment for DSP.

[BibT_eX]

[DOI]

IEEE Trans. Acoust. Speech Signal Process., 1989

Frigg: a simulation environment for multiple-processor DSP system development.

[BibT_eX]

[DOI]

Jeffrey C. Bier

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

GABRIEL: A Design Environment for Programmable DSPs.

[BibT_eX]

[DOI]

Jeffery C. Bier

E. Guntvedt

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1987

Pipeline interleaved programmable DSP's: Synchronous data flow programming.

[BibT_eX]

[DOI]

IEEE Trans. Acoust. Speech Signal Process., 1987

Pipeline interleaved programmable DSP's: Architecture.

[BibT_eX]

[DOI]

IEEE Trans. Acoust. Speech Signal Process., 1987

Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing.

[BibT_eX]

[DOI]

Edward Ashford Lee

IEEE Trans. Computers, 1987

Synchronous data flow.

[BibT_eX]

[DOI]

Proc. IEEE, 1987

Fuzzy vector quantazation applied to hidden Markov modeling.

[BibT_eX]

[DOI]

Ho-Ping Tseng

Michael J. Sabin

Proceedings of the IEEE International Conference on Acoustics, 1987

Least squares computation at arbitrarily high speeds.

[BibT_eX]

[DOI]

Teresa H.-Y. Meng

Proceedings of the IEEE International Conference on Acoustics, 1987

Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.

[BibT_eX]

Proceedings of the COMPCON'87, 1987

1985

On quantization effects in state-variable filter implementations.

[BibT_eX]

[DOI]

Edward Ashford Lee