707 search results - page 3 / 142 » Real-Time Scheduling with a Budget |
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Data broadcast is an efficient information delivery model that can deliver information to a large population simultaneously. In this paper, we propose two efficient algorithms to ...
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
MACH
1990
13 years 8 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
RTSS
2003
IEEE
14 years 20 days ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...