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) …

In Ptolemy II, models specify computations by composing actors. Many computations,
however, are awkward to specify this way. A common situation is where we wish to evaluate …

Parallelism is often required for performance. In these situations an excess of non-
determinism is harmful as it means the program can have several different behaviours or …

Modern embedded computing systems tend to be heterogeneous in the sense of being
composed of subsystems with very different characteristics, which communicate and interact …

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 …

Specialized image signal processors (ISPs) exploit the structure of image processing
pipelines to minimize memory bandwidth using the architectural pattern of line-buffering …

The Kalray MPPA-256 processor integrates 256 user cores and 32 system cores on a chip
with 28nm CMOS technology. Each core implements a 32-bit 5-issue VLIW architecture …

This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …

Dataflow has proven to be an attractive computation model for programming digital signal
processing (DSP) applications. A restricted version of dataflow, termed synchronous …

With the increasing miniaturization of transistors, wire delays are becoming a dominant
factor in microprocessor performance. To address this issue, a number of emerging …