Formal Verification of a Practical Lock-Free Queue Algorithm.
Simon DohertyLindsay GrovesVictor LuchangcoMark MoirPublished in: FORTE (2004)
Keyphrases
- detection algorithm
- dynamic programming
- formal verification
- optimization algorithm
- learning algorithm
- recognition algorithm
- worst case
- np hard
- cost function
- computational complexity
- similarity measure
- neural network
- computational cost
- probabilistic model
- optimal solution
- matching algorithm
- web services
- symbolic model checking
- search space
- preprocessing
- segmentation algorithm