no code implementations • 20 Sep 2022 • Ran Tao, Pan Zhao, Jing Wu, Nicolas F. Martin, Matthew T. Harrison, Carla Ferreira, Zahra Kalantari, Naira Hovakimyan
Moreover, the partial-observation management policies are directly deployable in the real world as they use readily available information.
no code implementations • 8 Mar 2021 • Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
We provide mechanized proof that the data structure is convergent and maintains the tree invariant.
Distributed, Parallel, and Cluster Computing
1 code implementation • 31 Mar 2015 • Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Marc Shapiro, Mahsa Najafzadeh
Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage.
Distributed, Parallel, and Cluster Computing