Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction.
Lindsay GrovesPublished in: CATS (2008)
Keyphrases
- dynamic programming
- k means
- preprocessing
- search space
- detection algorithm
- segmentation algorithm
- computationally efficient
- improved algorithm
- objective function
- convergence rate
- times faster
- selection algorithm
- optimization algorithm
- particle swarm optimization
- experimental evaluation
- np hard
- cost function
- input data
- tree structure
- computational complexity
- learning algorithm
- data reduction
- memory requirements
- classification algorithm
- graph cuts
- optimal solution