Sciweavers

25 search results - page 1 / 5
» Causality and Scheduling Constraints in Heterogeneous Reacti...
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
13 years 10 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EMSOFT
2004
Springer
13 years 10 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
13 years 8 months ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
TC
2008
13 years 4 months ago
An Availability-Aware Task Scheduling Strategy for Heterogeneous Systems
High availability is a key requirement in the design and development of heterogeneous systems, where processors operate at different speeds and are not continuously available for ...
Xiao Qin, Tao Xie 0004
HIPEAC
2009
Springer
13 years 11 months ago
Predictive Runtime Code Scheduling for Heterogeneous Architectures
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...
Víctor J. Jiménez, Lluís Vila...