Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.
Yanhong A. LiuScott D. StollerPublished in: RV (2020)
Keyphrases
- distributed systems
- management system
- computer vision algorithms
- learning algorithm
- data sets
- computational complexity
- orders of magnitude
- cooperative
- distributed computation
- computing systems
- autonomous mobile
- distributed network
- fault tolerant
- distributed environment
- combinatorial optimization
- theoretical analysis
- evolutionary algorithm
- times faster
- load balancing
- benchmark datasets
- optimization problems
- computational cost
- objective function