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 …

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 …

SDF^ 3 is a tool for generating random Synchronous DataFlow Graphs (SDFGs), if desirable
with certain guaranteed properties like strongly connectedness. It includes an extensive …

This paper gives an overview of methods used for design space exploration (DSE) of micro-
architectures and systems. The DSE problem generally considers two orthogonal issues:(I) …

We present a scheduling policy for complete, bounded execution of Kahn process network
programs. A program is a set of processes that communicate through a network of first-in first …

With an immense increase in research, development, and application of object-oriented
simulation (OOS) over the past decade, there is evidence that this technology is becoming …

The authors describe a systematic, heterogeneous design methodology using the Ptolemy
framework for simulation, prototyping, and software synthesis of systems containing a …

We compare synchronous dataflow (SDF) and cyclo-static dataflow (CSDF), which are each
special cases of a model of computation we call dataflow process networks. In SDF actors …

Abstract We present Time-Frequency Logic (TFL), a new specification formalism for real-
valued signals that combines temporal logic properties in the time domain with frequency …

An algorithm for the constrained hardware/software partitioning (assignment and
scheduling) problem is presented. The key feature of the algorithm is the adaptive objective …