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

Overview

publication date

  • January 1, 2017

Full Author List

  • CernĂ½ P; Clarke EM; Henzinger TA; Radhakrishna A; Ryzhyk L; Samanta R; Tarrach T

Additional Document Info

start page

  • 97

end page

  • 139

volume

  • 50