Trace-based derivation of a scalable lock-free stack algorithm.
Lindsay GrovesRobert ColvinPublished in: Formal Aspects Comput. (2009)
Keyphrases
- single pass
- learning algorithm
- objective function
- matching algorithm
- np hard
- experimental evaluation
- segmentation algorithm
- worst case
- convergence rate
- experimental study
- optimization algorithm
- computational cost
- estimation algorithm
- preprocessing
- computational complexity
- dynamic programming
- high accuracy
- simulated annealing
- linear programming
- recognition algorithm
- computationally efficient
- optimal solution
- times faster
- improved algorithm
- memory efficient
- memory requirements
- input data
- probabilistic model
- cost function
- k means
- image processing