From non-preemptive to preemptive scheduling using synchronization synthesis Journal Article uri icon

Overview

publication date

  • June 1, 2017

Full Author List

  • Cerny P; Clarke EM; Henzinger TA; Radhakrishna A; Ryzhyk L; Samanta R; Tarrach T

Other Profiles

Additional Document Info

start page

  • 97

end page

  • 139

volume

  • 50

issue

  • 2-3