Formalising Scheduling Theories in Duration Calculus.

Qiwen Xu Naijun Zhan

Published in: Nord. J. Comput. (2008)

Keyphrases

scheduling algorithm
scheduling problem
theoretical framework
resource constraints
resource allocation
dynamic scheduling
data sets
database systems
cognitive psychology
scheduling strategy
web services
knowledge representation
parallel machines
parallel processors
provably correct