Sciweavers

11 search results - page 3 / 3
» Instrumentation of Intermediate Code for Runtime Verificatio...
Sort
View
POPL
2009
ACM
14 years 6 months ago
The theory of deadlock avoidance via discrete control
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...