Proving that non-blocking algorithms don't block.

Alexey Gotsman Byron Cook Matthew J. Parkinson Viktor Vafeiadis

Published in: POPL (2009)

Keyphrases

learning algorithm
data structure
times faster
recently developed
real time
computational complexity
computational cost
optimization problems
combinatorial optimization
image processing
multi class
markov random field
theoretical analysis
classification algorithm
computational efficiency