A Formal Proof of the Deadline Driven Scheduler.

Zheng Yuhua Chaochen Zhou

Published in: FTRTFT (1994)

Keyphrases

formal proof
scheduling algorithm
response time
theorem prover
data driven
database
real time
neural network
information retrieval
artificial neural networks
probabilistic model
peak load