Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
Jörg DeselEkkart KindlerPublished in: ACSD (1998)
Keyphrases
- learning algorithm
- machine learning algorithms
- neural network
- social networks
- times faster
- multi agent
- data structure
- computational complexity
- significant improvement
- benchmark datasets
- worst case
- optimization problems
- computationally efficient
- test bed
- theoretical analysis
- distributed systems
- computational cost
- objective function
- case study