Preemptive Job-Shop Scheduling Using Stopwatch Automata
No abstract available.
Related papers
- Job-Shop Scheduling Using Timed Automata CAV 2001
- Local Search for SMT on Linear Integer Arithmetic CAV 2022
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis CAV 2015
- EffiSha: A Software Framework for Enabling Effficient Preemptive Scheduling of GPU PPoPP 2017
- Modular verification of preemptive OS kernels ICFP 2011
- Modular verification of preemptive OS kernels JFP 2013
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Adaptive scheduling with parallelism feedback PPoPP 2006