355 search results - page 31 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
RTAS
2002
IEEE
14 years 9 days ago
2002
IEEE
We have implemented an object-oriented real-time database system called BeeHive. Using BeeHive, the performance of two data-deadline cognizant scheduling policies, called EDDF and...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
To achieve better throughput, many hard drive manufacturers use internal queues and scheduling to take advantage of vendor-specific characteristics and knowledge. While this tren...
ICPP
2007
IEEE
14 years 1 months ago
2007
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 b...