System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

Workflow technologies are emerging as the dominant approach to coordinate groups of
distributed services. However with a space filled with competing specifications, standards …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

We have found many programming problems for which neither procedural nor object-
oriented programming techniques are sufficient to clearly capture some of the important …

Hardware/software codesign investigates the concurrent design of hardware and software
components of complex electronic systems. It tries to exploit the synergy of hardware and …

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 …

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous
languages. This paper discusses the improvements, difficulties, and successes that have …

Haptic display is the process of applying forces to a human" observer" giving the sensation
of touching and interacting with real physical objects. Touch is unique among the senses …

Techniques for Optimizing Multiprocessor Implementations of Signal Processing
Applications An indispensable component of the information age, signal processing is …

The authors build upon research by EA Lee (1991) concerning the token flow model, an
analytical model for the behavior of dataflow graphs with data-dependent control flow, by …