A general technique for proving lock-freedom.

Robert Colvin Brijesh Dongol

Published in: Sci. Comput. Program. (2009)

Keyphrases

special case
wide range
database
data sets
data mining
image sequences
digital libraries
feature space
trade off