Zobrazeno 1 - 2
of 2
pro vyhledávání: '"BouajjaniAhmed"'
Publikováno v:
ACM SIGPLAN Notices. 50:651-662
Efficient implementations of concurrent objects such as semaphores, locks, and atomic collections are essential to modern computing. Yet programming such objects is error prone: in minimizing the synchronization overhead between concurrent object inv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06ac454c5eb39f123543ceb2237f0785
https://doi.org/10.1145/2775051.2677002
https://doi.org/10.1145/2775051.2677002
Publikováno v:
ACM SIGPLAN Notices. 49:285-296
We address the verification problem of eventual consistency of optimistic replication systems. Such systems are typically used to implement distributed data structures over large scale networks. We introduce a formal definition of eventual consistenc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7abc6976d04c88989a97e8e5a75f9b7
https://doi.org/10.1145/2578855.2535877
https://doi.org/10.1145/2578855.2535877