Automatically Verifying Concurrent Queue Algorithms.

Eran Yahav Shmuel Sagiv

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

optimization problems
theoretical analysis
learning algorithm
computational cost
machine learning algorithms
data mining algorithms
data sets
machine learning
benchmark datasets
database
real time
reinforcement learning
orders of magnitude
classification algorithm
times faster