Login / Signup
From non-preemptive to preemptive scheduling using synchronization synthesis.
Pavol Cerný
Edmund M. Clarke
Thomas A. Henzinger
Arjun Radhakrishna
Leonid Ryzhyk
Roopsha Samanta
Thorsten Tarrach
Published in:
Formal Methods Syst. Des. (2017)
Keyphrases
</>
preemptive scheduling
scheduling problem
single machine to minimize
scheduling algorithm
priority queue
lower bound
single machine
program synthesis
functional programs
data sets
data structure
texture synthesis
phase locked