An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.
Gianfranco BalboGiovanni ChiolaSteven C. BruellPozung ChenPublished in: IEEE Trans. Parallel Distributed Syst. (1992)
Keyphrases
- mutual exclusion
- learning algorithm
- long distance
- computational complexity
- optimal solution
- expectation maximization
- cost function
- similarity measure
- detection algorithm
- optimization algorithm
- worst case
- computational cost
- dynamic programming
- k means
- significant improvement
- recognition algorithm
- evolutionary algorithm
- probabilistic model
- search space
- simulated annealing
- search algorithm
- decision trees
- neural network
- matching algorithm
- np hard
- objective function
- reinforcement learning