Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).
Jean-Raymond AbrialDominique CansellPublished 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