Analysis of Scheduling Behaviour using Generic Timed Automata.

Thorsten Gerdsmeier Rachel Cardell-Oliver

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

timed automata
data sets
databases
image processing
decision trees
database systems
lower bound
resource allocation
model checking
round robin