Tutorial: Compiling concurrent languages for sequential processors
SA Edwards - ACM Transactions on Design Automation of Electronic …, 2003 - dl.acm.org
Embedded systems often include a traditional processor capable of executing sequential
code, but both control and data-dominated tasks are often more naturally expressed using …
code, but both control and data-dominated tasks are often more naturally expressed using …
[BOOK][B] Embedded Systems Handbook 2-Volume Set
R Zurawski - 2018 - taylorfrancis.com
During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …
development, implementations of new technologies, and deployments of actual solutions …
Scheduling with bus access optimization for distributed embedded systems
In this paper, we concentrate on aspects related to the synthesis of distributed embedded
systems consisting of programmable processors and application-specific hardware …
systems consisting of programmable processors and application-specific hardware …
Scheduling and map** of conditional task graph for the synthesis of low power embedded systems
A dynamic voltage scaling (DVS) technique for embedded systems expressed as conditional
task graphs (CTGs) is described. The idea is to identify and exploit the available worst case …
task graphs (CTGs) is described. The idea is to identify and exploit the available worst case …
FunState-an internal design representation for codesign
In this paper, an internal design model called FunState (functions driven by state machines)
is presented that enables the representation of different types of system components and …
is presented that enables the representation of different types of system components and …
Funstate-an internal design representation for codesign
In this paper, an internal design model called FunState (functions driven by state machines)
is presented that enables the representation of different types of system components and …
is presented that enables the representation of different types of system components and …
Task generation and compile-time scheduling for mixed data-control embedded software
J Cortadella, A Kondratyev, L Lavagno, M Massot… - 1999 - upcommons.upc.edu
A method for synthesizing code for the software component of a system is proposed. The
specification is given as a set of concurrent processes that communicate through channels …
specification is given as a set of concurrent processes that communicate through channels …
Petri nets and programming: A survey
MV Iordache, PJ Antsaklis - 2009 American Control Conference, 2009 - ieeexplore.ieee.org
Petri nets and related models have been used for specification, analysis, and synthesis of
programs. The paper contains a survey of several literature approaches and an examination …
programs. The paper contains a survey of several literature approaches and an examination …
SPI-a system model for heterogeneously specified embedded systems
Embedded systems typically include reactive and transformative functions, often described
in different languages and semantics which are well established in their respective …
in different languages and semantics which are well established in their respective …
Interval diagrams for efficient symbolic verification of process networks
K Strehl, L Thiele - … Transactions on Computer-Aided Design of …, 2000 - ieeexplore.ieee.org
In this paper, a representation of multivalued functions called interval decision diagrams
(IDDs) is introduced. It is related to similar representations such as binary decision …
(IDDs) is introduced. It is related to similar representations such as binary decision …