Reconciling Preemption Bounding with DPOR.

Iason Marmanis Michalis Kokologiannakis Viktor Vafeiadis

Published in: TACAS (1) (2023)

Keyphrases

upper bound
batch processing
databases
multimedia
parallel machines
lower bound
user interface
special case