Task Graph Scheduling Using Timed Automata.
Yasmina AbdeddaïmAbdelkarim KerbaaOded MalerPublished in: IPDPS (2003)
Keyphrases
- timed automata
- model checking
- reachability analysis
- scheduling problem
- random walk
- graph representation
- graph model
- theorem prover
- scheduling algorithm
- graph structure
- series parallel
- weighted graph
- graph theory
- bipartite graph
- directed graph
- structured data
- theorem proving
- resource allocation
- resource constraints
- real time systems
- round robin
- information systems
- dynamic programming
- shortest path
- flexible manufacturing systems
- real time database systems
- graph partitioning
- graph databases
- temporal logic
- real time
- graph matching