Výsledky vyhľadávania - "D.1.3 Programmation parallèle"

Consistency in 3D

Autori: Shapiro, Marc Saeida Ardekani, Masoud Petri, Gustavo a ďalší

Prispievatelia: Shapiro, Marc Saeida Ardekani, Masoud Petri, Gustavo a ďalší

Zdroj: https://hal.science/hal-01343592 ; [Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016.

Predmety: C.2.4 Distributed databases, D.1.3 Concurrent programming, D.2.4 Software/Program Verification, E.1 Distributed data structures, Consistency models, Replicated data, Structural invariants, Correctness of distributed systems, E.1 Structures de données réparties, C.2.4 Bases de données réparties, D.1.3 Programmation parallèle, D.2.4 Vérification de programme et de logiciel, Modèles de cohérence, Données répliquées, Invariants de structurels, Caractère correct de système réparti, [INFO]Computer Science [cs]

Dostupnosť: https://hal.science/hal-01343592
https://hal.science/hal-01343592v1/document
https://hal.science/hal-01343592v1/file/RR-8932.pdf