Sign in

A Formal Proof of the Rate Monotonic Scheduler.

Shuzhen DongQiwen XuNaijun 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