Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications

S Stuijk, M Geilen, B Theelen… - … on Embedded Computer …, 2011 - ieeexplore.ieee.org
Embedded multimedia and wireless applications require a model-based design approach in
order to satisfy stringent quality and cost constraints. The Model-of-Computation (MoC) …

[LIBRO][B] Introduction to embedded systems: A cyber-physical systems approach

EA Lee, SA Seshia - 2017 - books.google.com
An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

[LIBRO][B] Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things

P Marwedel - 2021 - library.oapen.org
A unique feature of this open access textbook is to provide a comprehensive introduction to
the fundamental knowledge in embedded systems, with applications in cyber-physical …

Taming heterogeneity-the Ptolemy approach

J Eker, JW Janneck, EA Lee, J Liu, X Liu… - Proceedings of the …, 2003 - ieeexplore.ieee.org
Modern embedded computing systems tend to be heterogeneous in the sense of being
composed of subsystems with very different characteristics, which communicate and interact …

Dataflow process networks

EA Lee, TM Parks - Proceedings of the IEEE, 1995 - ieeexplore.ieee.org
We review a model of computation used in industrial practice in signal processing software
environments and experimentally and other contexts. We give this model the name" dataflow …

[LIBRO][B] Design for embedded image processing on FPGAs

DG Bailey - 2023 - books.google.com
Design for Embedded Image Processing on FPGAs Bridge the gap between software and
hardware with this foundational design reference Field-programmable gate arrays (FPGAs) …

Cycle-static dataflow

G Bilsen, M Engels, R Lauwereins… - IEEE Transactions on …, 1996 - ieeexplore.ieee.org
We present cycle-static dataflow (CSDF), which is a new model for the specification and
implementation of digital signal processing algorithms. The CSDF paradigm is an extension …

Design of embedded systems: Formal models, validation, and synthesis

S Edwards, L Lavagno, EA Lee… - Proceedings of the …, 1997 - ieeexplore.ieee.org
This paper addresses the design of reactive real-time embedded systems. Such systems are
often heterogeneous in implementation technologies and design styles, for example by …

[LIBRO][B] ESL design and verification: a prescription for electronic system level methodology

G Martin, B Bailey, A Piziali - 2010 - books.google.com
Visit the authors' companion site! http://www. electronicsystemlevel. com/-Includes
interactive forum with the authors! Electronic System Level (ESL) design has mainstreamed …

Hierarchical finite state machines with multiple concurrency models

A Girault, B Lee, EA Lee - IEEE Transactions on computer …, 1999 - ieeexplore.ieee.org
This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …