Sign in
A Formal Proof of the Rate Monotonic Scheduler.
Shuzhen Dong
Qiwen Xu
Naijun Zhan
Published in:
RTCSA (1999)
Keyphrases
</>
formal proof
theorem prover
neural network
data mining
scheduling algorithm
resource utilization
search engine
database systems
multiscale
mobile robot
video coding
growth rate