Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).

Jean-Raymond Abrial Dominique Cansell

Published in: J. Univers. Comput. Sci. (2005)

Keyphrases

dynamic programming
preprocessing
experimental evaluation
improved algorithm
particle swarm optimization
high accuracy
search space
k means

learning algorithm
tree structure
segmentation algorithm
computational cost
significant improvement
theoretical analysis
data sets
recognition algorithm

times faster
matching algorithm
optimization algorithm
computationally efficient
expectation maximization
computational complexity
state space
probabilistic model

search algorithm
optimal solution
simulated annealing
clustering method
similarity measure
steady state
worst case