707 search results - page 57 / 142 » Real-Time Scheduling with a Budget |
MFCS
2010
Springer
14 years 8 months ago
2010
Springer
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper deals with the problem of scheduling workflow applications with Quality of Service (QoS) constraints, comprising real-time and interactivity constraints, over a servi...
ECRTS
2007
IEEE
15 years 4 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...