Sign in

Reconciling Preemption Bounding with DPOR.

Iason MarmanisMichalis KokologiannakisViktor Vafeiadis
Published in: TACAS (1) (2023)
Keyphrases
  • upper bound
  • batch processing
  • databases
  • multimedia
  • parallel machines
  • lower bound
  • user interface
  • special case