A Framework for Scheduler Synthesis.

Karine Altisen Gregor Gößler Amir Pnueli Joseph Sifakis Stavros Tripakis Sergio Yovine

Published in: RTSS (1999)

Keyphrases

database
main contribution
databases
scheduling algorithm
artificial intelligence
probabilistic model
theoretical framework
information retrieval
information systems
website
software engineering
framework enables
program synthesis