PyLTA: A Verification Tool for Parameterized Distributed Algorithms.

Bastien Thomas Ocan Sankur

Published in: TACAS (2) (2023)

Keyphrases

learning algorithm
data structure
cooperative
benchmark datasets
distributed environment
database
image processing
database systems
expert systems
optimization problems
classification algorithm
computationally expensive
convergence rate
distributed computation