An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.
Gianfranco BalboGiovanni ChiolaSteven C. BruellPozung ChenPublished in: SIGMETRICS (1989)
Keyphrases
- mutual exclusion
- detection algorithm
- cost function
- np hard
- k means
- learning algorithm
- computational complexity
- experimental evaluation
- particle swarm optimization
- computational cost
- neural network
- preprocessing
- similarity measure
- dynamic programming
- search space
- general purpose
- high accuracy
- expectation maximization
- worst case
- simulated annealing
- segmentation algorithm
- image segmentation
- long distance
- information retrieval