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:
CoRR (2015)
Keyphrases
</>
preemptive scheduling
single machine to minimize
scheduling problem
program synthesis
single machine
lower bound
processing times
texture synthesis
chaotic systems
np hard