Application of TLRO to refute an incorrect mutual exclusion algorithm.
Anup Kumar BandyopadhyayPublished in: ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
- dynamic programming
- preprocessing
- learning algorithm
- times faster
- high accuracy
- experimental evaluation
- k means
- search space
- recognition algorithm
- significant improvement
- cost function
- np hard
- search strategy
- detection algorithm
- optimization algorithm
- simulated annealing
- plan recognition
- genetic algorithm
- matching algorithm
- np complete
- computer systems
- particle swarm optimization
- markov random field
- information systems
- general purpose
- objective function
- computational complexity
- lower bound
- evolutionary algorithm