| Abstract |
|
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, originally developed for verification of real-time programs and digital circuits and more recently adapted for solving time-optimal scheduling problems. In this framework, the scheduling problem admits a state-space representation and an optimal schedule corresponds to a shortest path in the timed automaton. We check our implementation on numerous benchmarks and show how release times and deadlines can be easily incorporated into the model.
|
 Additional Information
|
Citation:
Yasmina Abdeddaim, Abdelkarim Kerbaa, Oded Maler,
"Task Graph Scheduling Using Timed Automata,"
ipdps,
p. 237b,
International Parallel and Distributed Processing Symposium (IPDPS'03),
2003
|
