A New Verification Procedure for Partially Clairvoyant Scheduling.

K. Subramani Dejan Desovski

Published in: FORMATS (2005)

Keyphrases

grid workflow
scheduling problem
scheduling algorithm
formal verification
genetic algorithm
model checking
iterative procedure
round robin
decision making
optimal solution
parallel machines
face verification
flexible manufacturing systems
scheduling strategy