Login / Signup

Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.

Amarat PimkoteWiwat Vatanawood
Published in: ICSCA (2021)
Keyphrases
  • preemptive scheduling
  • timed automata
  • model checking
  • reachability analysis
  • simulation model
  • machine learning
  • special case
  • low cost
  • robotic systems
  • theorem prover
  • real time systems
  • single machine to minimize