3387 search results - page 250 / 678 » Model-Checking for Real-Time Systems |
191
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
200
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Prior work has shown that the global earliest-deadline-first (GEDF) scheduling algorithm ensures bounded deadline tardiness on multiprocessors with no utilization loss; therefore...
184
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Providing QoS and performance guarantees to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is be...
248
click to vote
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
Multicore architectures, which have multiple processing units on a single chip, have been adopted by most chip manufacturers. Most such chips contain on-chip caches that are share...
200
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Algorithms based on semi-partitioned scheduling have been proposed as a viable alternative between the two extreme ones based on global and partitioned scheduling. In particular, ...