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:
CAV (2) (2015)
Keyphrases
</>
preemptive scheduling
scheduling problem
single machine to minimize
scheduling algorithm
lower bound
program synthesis
data sets
single machine
texture synthesis
multi stream
real time
closed loop
branch and bound algorithm
music score
phase locked