Proving Lock-Freedom Easily and Automatically.

Xiao Jia Wei Li Viktor Vafeiadis

Published in: CPP (2015)

Keyphrases

database
user defined
automatically generated
real time
data sets
image processing
data structure
email
multiresolution