Zobrazeno 1 - 10
of 203
pro vyhledávání: '"Nair, Sreeja"'
The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and availability, different clients should be able to update their replicas c
Externí odkaz:
http://arxiv.org/abs/2103.04828
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation separately, and (2) sequential: one c
Externí odkaz:
http://arxiv.org/abs/1903.02759
Autor:
Nair, Sreeja, Shapiro, Marc
Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task. It provides information about the errors dur
Externí odkaz:
http://arxiv.org/abs/1807.06431
Publikováno v:
In Materials Today Communications March 2022 30
Publikováno v:
In Journal of Drug Delivery Science and Technology January 2022 67
Publikováno v:
In Journal of Drug Delivery Science and Technology December 2021 66
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.