A formal proof of the deadline driven scheduler in PPTL axiomatic system.

Nan Zhang Zhenhua Duan Cong Tian Ding-Zhu Du

Published in: Theor. Comput. Sci. (2014)

Keyphrases

formal proof
scheduling algorithm
response time
theorem prover
data driven
peak load
database
case study
evolutionary algorithm
databases
information systems
graphical models
random variables
inference rules
resource manager