936 search results - page 57 / 188 » Task Graph Scheduling Using Timed Automata |
RTSS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
115
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
129
click to vote
AIPS
2007
15 years 3 months ago
2007
The Manpower Allocation Problem with Time Windows, Job-Teaming Constraints and a limited number of teams (mMAPTWTC) is a crew scheduling problem faced in several different context...
141
click to vote
TC
2008
15 years 1 months ago
2008
The periodic update transaction model has been used to maintain the freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus of pa...
116
click to vote
ECRTS
2003
IEEE
15 years 6 months ago
2003
IEEE
In the context of battery-powered real-time systems three constraints need to be addressed: energy, deadlines and task rewards. Many future real-time systems will count on differe...