default search action
2nd PaPoC@EuroSys 2016: London, United Kingdom
- Peter Alvaro, Alysson Bessani:
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016. ACM 2016, ISBN 978-1-4503-4296-4 - Paolo Viotti, Christopher Meiklejohn, Marko Vukolic:
Towards property-based consistency verification. 1:1-1:4 - Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira
, Marc Shapiro:
The CISE tool: proving weakly-consistent applications correct. 2:1-2:3 - Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt:
Serializable eventual consistency: consistency through object method replay. 3:1-3:3 - Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro:
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation. 4:1-4:4 - Russell Brown, Zeeshan Lakhani
, Paul Place:
Big(ger) sets: decomposed delta CRDT sets in Riak. 5:1-5:5 - Scott Lystig Fritchie:
Coordinating distributed system configuration changes with humming consensus. 6:1-6:4 - Valter Balegas, Sérgio Duarte
, Carla Ferreira
, Nuno M. Preguiça
, Rodrigo Rodrigues:
Making weak consistency great again. 7:1-7:3 - Tobias Herb, Tim Jungnickel, Christoph Alt:
Weak consistency and stochastic environments: harmonization of replicated machine learning models. 8:1-8:3 - Marek Zawirski, Carlos Baquero
, Annette Bieniusa, Nuno M. Preguiça
, Marc Shapiro:
Eventually consistent register revisited. 9:1-9:3 - Carlos Baquero
, Paulo Sérgio Almeida
, Carl Lerche:
The problem with embedded CRDT counters and a solution. 10:1-10:3 - Christian Weilbach, Konrad Kühne, Annette Bieniusa:
Decoupling conflict resolution with CDVCS. 11:1-11:6 - Albert van der Linde, João Leitão
, Nuno M. Preguiça
:
Δ-CRDTs: making Δ-CRDTs delta-based. 12:1-12:4 - Deepthi Devaki Akkoorath, Annette Bieniusa:
Highly-scalable concurrent objects. 13:1-13:4
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.