610 search results - page 26 / 122 » Synchronous Programming of Reactive Systems |
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
AOSD
2007
ACM
14 years 24 days ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
POPL
2011
ACM
12 years 11 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
EMSOFT
2006
Springer
14 years 14 days ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
ICLP
2011
Springer
13 years 8 days ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...