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 …

This book investigates the design of compilers for procedural languages, based on the
algebraic laws which these languages satisfy. The particular strategy adopted is to reduce …

Network processors (NPs) typically contain multiple concurrent processing cores. State-of-
the-art programming techniques for NPs are invariably low-level, requiring programmers to …

This work presents Petri nets as an intermediate model for hardware/software codesign. The
main reason of using of Petri nets is to provide a model that allows for formal qualitative and …

A crucial point in hardware/software co-design is how to perform the partitioning of a system
into hardware and software components. Although several algorithms to partitioning have …

A indústria eletrônica tem crescido nos últimos anos a uma taxa impressionante e um dos
principais motivos para tal crescimento é a incorporação de sistemas eletrônicos numa …

Medical facilities use conventional intravenous (IV) infusion systems in cases where the
patient needs some kind of programmed medicine or nutrition. Gravity controls the simplest …

The aim of this paper is to define and study pointed and multi-pointed partition posets of type
A and B (in the classification of Coxeter groups). We compute their characteristic …

This paper describes a system (ParTS) for automatic hardware/software partitioning of
applications described in the concurrent programming language occam. Based on algebraic …

In this paper we present a characterisation of the hardware/software partitioning problem as
a program transformation task. Both the input and the output of the partitioning are …