Resource-Optimal Scheduling Using Priced Timed Automata.
Jacob Illum RasmussenKim Guldstrand LarsenK. SubramaniPublished in: TACAS (2004)
Keyphrases
- optimal scheduling
- timed automata
- model checking
- reachability analysis
- scheduling problem
- scheduling algorithm
- theorem prover
- resource allocation
- theorem proving
- first order logic
- resource management
- resource constraints
- grid environment
- web resources
- response time
- temporal logic
- real time systems
- resource requirements
- data sets
- resource sharing
- resource usage
- bayesian networks
- image sequences
- decision trees