When does a correct mutual exclusion algorithm guarantee mutual exclusion?
Leslie LamportSharon E. PerlWilliam E. WeihlPublished in: Inf. Process. Lett. (2000)
Keyphrases
- mutual exclusion
- long distance
- learning algorithm
- simulated annealing
- computational complexity
- detection algorithm
- optimization algorithm
- significant improvement
- cost function
- np hard
- dynamic programming
- expectation maximization
- matching algorithm
- computational cost
- k means
- similarity measure
- dynamic environments
- preprocessing
- search algorithm
- recognition algorithm
- information retrieval