Runtime verification of distributed algorithms using high-level Petri nets.
Hamdi AloulouHichem TalbiPublished in: TACC (2023)
Keyphrases
- orders of magnitude
- distributed systems
- learning algorithm
- machine learning algorithms
- computationally efficient
- data streams
- computational cost
- optimization problems
- data structure
- benchmark datasets
- significant improvement
- cooperative
- theoretical analysis
- feature selection
- machine learning
- data mining algorithms
- distributed environment
- distributed computation