Staged concurrent program analysis.

Nishant Sinha Chao Wang

Published in: SIGSOFT FSE (2010)

Keyphrases

mutual exclusion
data sets
information retrieval
computer vision
decision trees
special case
scheduling problem
concurrent execution