This book studies hardware and software specifications at algorithmic level from the point of
measuring and extracting the potential parallelism hidden in them. It investigates the …

The complexity of hardware systems is currently growing faster than the productivity of
system designers and programmers. This phenomenon is called Design Productivity Gap …

This paper introduces a novel Real-Time Operating System (RTOS) based on a
parameterized dataflow Model of Computation (MoC). This RTOS, called Synchronous …

We introduce CAPH, a new domain-specific language (DSL) suited to the implementation of
stream-processing applications on field programmable gate arrays (FPGA). CAPH relies …

FPGAs have found their way into data centers as accelerator cards, making reconfigurable
computing more accessible for high-performance applications. At the same time, new high …

An asynchronous ARM6 microprocessor (AMULET1), designed at the University of
Manchester using a two-phase signalling protocol, and the latest release of the AMULET2e …

Embedded DSP computing is currently shifting towards manycore architectures in order to
cope with the ever growing computational demands. Actor based dataflow languages are …

We introduce CAPH, a new domain-specific language (DSL) suited to the implementation of
stream-processing applications on field programmable gate arrays (FPGA). CAPH relies …

In many application domains, FPGAs are now promoted as a way of getting round the
restrictions of specific CPU designs on system scalability. However, in the current state-of …

We describe the application of the caph programming language to the implementation of
complex real-time image processing application on a FPGA embedded in a smart camera …