Verifying a self-stabilizing mutual exclusion algorithm.
Shaz QadeerNatarajan ShankarPublished in: PROCOMET (1998)
Keyphrases
- optimization algorithm
- learning algorithm
- objective function
- experimental evaluation
- recognition algorithm
- mutual exclusion
- detection algorithm
- computational cost
- np hard
- cost function
- dynamic programming
- search space
- preprocessing
- high accuracy
- image segmentation
- k means
- domain specific
- expectation maximization
- computational complexity
- optimal solution
- heuristic search
- search strategy
- genetic algorithm