Bisimulation for Demonic Schedulers.

Konstantinos Chatzikokolakis Gethin Norman David Parker

Published in: FoSSaCS (2009)

Keyphrases

grid computing
scheduling algorithm
equivalence relation
optimal planning
real time
data sets
response time
decision trees
feature extraction
expert systems
xml documents
knowledge discovery
information retrieval
planning problems
machine learning
data mining
real world
databases