LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs.
Longfei QiuYoonseung KimJi-Yong ShinJieung KimWolf HonoréZhong ShaoPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- fault tolerant
- distributed systems
- mobile objects
- data objects
- multiple objects
- cooperative
- viewpoint
- distributed environment
- spatial relationships
- computer networks
- peer to peer
- moving objects
- multi agent
- computer vision
- database
- d objects
- computing environments
- bounding box
- complex scenes
- individual objects
- genetic algorithm