280 search results - page 1 / 56 » Quasi-Static Scheduling of Communicating Tasks |
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
RTCSA
2005
IEEE
13 years 10 months ago
2005
IEEE
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
This report addresses the problem of scheduling for real-time systems that include both hard and soft tasks. In order to capture the relative importance of soft tasks and how the ...
ACSD
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
VLSID
2003
IEEE
14 years 4 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...