The Complexity of Predicting Atomicity Violations.

Azadeh Farzan P. Madhusudan

Published in: TACAS (2009)

Keyphrases

worst case
electronic commerce
decision trees
case study
multiscale
computational cost
space complexity