A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.
J. Christian AttiogbéPublished in: ZB (2005)
Keyphrases
- experimental evaluation
- learning algorithm
- matching algorithm
- k means
- optimization algorithm
- cost function
- expectation maximization
- computational cost
- mutual exclusion
- detection algorithm
- probabilistic model
- information retrieval
- objective function
- worst case
- particle swarm optimization
- np hard
- knowledge based systems
- significant improvement
- search space
- lower bound
- computational complexity