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 …

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

Hardware and software co-design is a design technique which delivers computer systems
comprising hardware and software components. A critical phase of co-design process is to …

This paper proposes a need to differentiate Web maintenance from traditional software
maintenance. The maintenance of a Web site is different than that of software as it is under …

The Tecton concept description language provides constructs for building generic
specifications incrementally, based mainly on the ability to use or refine concepts. This …

This paper presents an algebraic compilation approach to the correct synthesis (compilation
into hardware) of a synchronous language with shared variables and parallelism. The …

Call Level Interfaces (CLI) are difficult to use mainly in intensive database applications with
many Create, Read, Update and Delete (CRUD) expressions. As low level API, they are not …