Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

Yin Wang Terence Kelly Manjunath Kudlur Stéphane Lafortune Scott A. Mahlke

Published in: OSDI (2008)

Keyphrases

digital libraries
decision trees
dynamic environments
real world
multiscale
computer programs