A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy.

Matthew Wilding

Published in: CAV (1998)

Keyphrases

real time
scheduling policies
neural network
scheduling algorithm
continuous media
optimal solution
flowshop
round robin