From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis
Conference Proceeding
Overview
publication date
- July 18, 2015
Full Author List
- Cerny P; Clarke EM; Henzinger TA; Radhakrishna A; Ryzhyk L; Samanta R; Tarrach T
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-319-21667-6
Additional Document Info
start page
- 180
end page
- 197
volume
- 9207