Verification of Dataflow Scheduling.
Tsung-Hsi ChiangLan-Rong DungPublished in: Int. J. Softw. Eng. Knowl. Eng. (2008)
Keyphrases
- grid workflow
- scheduling problem
- scheduling algorithm
- data flow
- resource allocation
- round robin
- model checking
- parallel computing
- case study
- formal verification
- asynchronous circuits
- database machine
- real time database systems
- data sets
- concurrent systems
- project scheduling
- manufacturing cell
- preventive maintenance
- dynamic scheduling
- flexible manufacturing systems
- database management systems
- genetic algorithm
- parallel machines
- database
- design methodology
- information systems
- computational complexity