3387 search results - page 142 / 678 » Model-Checking for Real-Time Systems |
222
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Current hard real-time scheduling and analysis techniques are unable to efficiently utilize the computational bandwidth provided by multicore platforms. This is due to the large ...
208
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...