Abstract
No abstract available.
RFC Downloads
ZIP
Cited By
- David I and Syriani E (2023). Real-time collaborative multi-level modeling by conflict-free replicated data types, Software and Systems Modeling (SoSyM), 22:4, (1131-1150), Online publication date: 1-Aug-2023.
- Zakhour G, Weisenburger P and Salvaneschi G (2023). Type-Checking CRDT Convergence, Proceedings of the ACM on Programming Languages, 7:PLDI, (1365-1388), Online publication date: 6-Jun-2023.
- Cooper A and Vidan G Making the Unaccountable Internet: The Changing Meaning of Accounting in the Early ARPANET Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency, (726-742)
- Wang C, Enea C, Mutluergil S and Petri G Replication-aware linearizability Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (980-993)
- Tomsic A, Bravo M and Shapiro M Distributed transactional reads Proceedings of the 19th International Middleware Conference, (120-133)
- Brutschy L, Dimitrov D, Müller P and Vechev M (2017). Serializability for eventual consistency: criterion, analysis, and applications, ACM SIGPLAN Notices, 52:1, (458-472), Online publication date: 11-May-2017.
- Goldstein R and Khan A A taxonomy of event time representations Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
- Brutschy L, Dimitrov D, Müller P and Vechev M Serializability for eventual consistency: criterion, analysis, and applications Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (458-472)
- Viotti P and Vukolić M (2016). Consistency in Non-Transactional Distributed Storage Systems, ACM Computing Surveys, 49:1, (1-34), Online publication date: 28-Jul-2016.
- Kraft R, Erb B, Mödinger D and Kargl F Using conflict-free replicated data types for serverless mobile social applications Proceedings of the 8th ACM International Workshop on Hot Topics in Planet-scale mObile computing and online Social neTworking, (49-54)
- Zawirski M, Baquero C, Bieniusa A, Preguiça N and Shapiro M Eventually consistent register revisited Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, (1-3)
- Zawirski M, Preguiça N, Duarte S, Bieniusa A, Balegas V and Shapiro M Write Fast, Read in the Past Proceedings of the 16th Annual Middleware Conference, (75-87)
- Gonçalves R, Almeida P, Baquero C and Fonte V Concise Server-Wide Causality Management forźEventually Consistent Data Stores Proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems - Volume 9038, (66-79)
- Baquero C, Almeida P and Shoker A Making Operation-Based CRDTs Operation-Based Proceedings of the 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems - Volume 8460, (126-140)
- Conway N, Alvaro P, Andrews E and Hellerstein J (2014). Edelweiss, Proceedings of the VLDB Endowment, 7:6, (481-492), Online publication date: 1-Feb-2014.
- Bouajjani A, Enea C and Hamza J (2014). Verifying eventual consistency of optimistic replication systems, ACM SIGPLAN Notices, 49:1, (285-296), Online publication date: 13-Jan-2014.
- Bouajjani A, Enea C and Hamza J Verifying eventual consistency of optimistic replication systems Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (285-296)
- Nédelec B, Molli P, Mostefaoui A and Desmontils E LSEQ Proceedings of the 2013 ACM symposium on Document engineering, (37-46)
- Ibáñez L, Skaf-Molli H, Molli P and Corby O (2013). Live linked data, International Journal of Metadata, Semantics and Ontologies, 8:2, (119-133), Online publication date: 1-Sep-2013.
- Bailis P and Ghodsi A (2013). Eventual consistency today, Communications of the ACM, 56:5, (55-63), Online publication date: 1-May-2013.
- Bailis P and Ghodsi A (2013). Eventual Consistency Today: Limitations, Extensions, and Beyond, Queue, 11:3, (20-32), Online publication date: 1-Mar-2013.
- Gumienny R, Gericke L, Wenzel M and Meinel C Supporting creative collaboration in globally distributed companies Proceedings of the 2013 conference on Computer supported cooperative work, (995-1007)
- Ibáñez L, Skaf-Molli H, Molli P and Corby O Synchronizing semantic stores with commutative replicated data types Proceedings of the 21st International Conference on World Wide Web, (1091-1096)
- Ahmed-Nacer M, Ignat C, Oster G, Roh H and Urso P Evaluating CRDTs for real-time document editing Proceedings of the 11th ACM symposium on Document engineering, (103-112)
- Michaux J, Blanc X, Shapiro M and Sutra P A semantically rich approach for collaborative model edition Proceedings of the 2011 ACM Symposium on Applied Computing, (1470-1475)
- Letia M, Preguiça N and Shapiro M (2010). Consistency without concurrency control in large, dynamic systems, ACM SIGOPS Operating Systems Review, 44:2, (29-34), Online publication date: 14-Apr-2010.
- Schantz R (2006). BBN's Network Computing Software Infrastructure and Distributed Applications (1970-1990), IEEE Annals of the History of Computing, 28:1, (72-88), Online publication date: 1-Jan-2006.
- Saito Y and Shapiro M (2005). Optimistic replication, ACM Computing Surveys, 37:1, (42-81), Online publication date: 1-Mar-2005.
- Demers A, Greene D, Houser C, Irish W, Larson J, Shenker S, Sturgis H, Swinehart D and Terry D (1988). Epidemic algorithms for replicated database maintenance, ACM SIGOPS Operating Systems Review, 22:1, (8-32), Online publication date: 3-Jan-1988.
- Demers A, Greene D, Hauser C, Irish W, Larson J, Shenker S, Sturgis H, Swinehart D and Terry D Epidemic algorithms for replicated database maintenance Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, (1-12)
- Sarin S, Kaufman C and Somers J Using History Information to Process Delayed Database Updates Proceedings of the 12th International Conference on Very Large Data Bases, (71-78)
- Fischer M and Michael A Sacrificing serializability to attain high availability of data in an unreliable network Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, (70-75)
- Chin-Hwa Lee (1980). Queueing Analysis of Global Locking Synchronization Schemes for Multicopy Databases, IEEE Transactions on Computers, 29:5, (371-384), Online publication date: 1-May-1980.
- Montgomery W Measurements of sharing in Multics Proceedings of the sixth ACM symposium on Operating systems principles, (85-90)
- Ellis C Consistency and correctness of duplicate database systems Proceedings of the sixth ACM symposium on Operating systems principles, (67-84)
- Montgomery W (1977). Measurements of sharing in Multics, ACM SIGOPS Operating Systems Review, 11:5, (85-90), Online publication date: 1-Nov-1977.
- Ellis C (1977). Consistency and correctness of duplicate database systems, ACM SIGOPS Operating Systems Review, 11:5, (67-84), Online publication date: 1-Nov-1977.
- Alsberg P and Day J A principle for resilient sharing of distributed resources Proceedings of the 2nd international conference on Software engineering, (562-570)
- Cosell B, Johnson P, Malman J, Schantz R, Sussman J, Thomas R and Walden D An operational system for computer resource sharing Proceedings of the fifth ACM symposium on Operating systems principles, (75-81)
- Cosell B, Johnson P, Malman J, Schantz R, Sussman J, Thomas R and Walden D (1975). An operational system for computer resource sharing, ACM SIGOPS Operating Systems Review, 9:5, (75-81), Online publication date: 1-Nov-1975.
Recommendations
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency ToleranceWe address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. Using the framework proposed by Arenas, Bertossi, and Chomicki [5], we focus on two basic computational issues: repair ...
Opportunistic maintenance strategy optimization considering imperfect maintenance under hybrid unit-level maintenance strategy
Highlights- The maintenance strategy at unit-level in opportunistic maintenance model is hybrid.
- Both preventive maintenance actions in the model are imperfect.
- The calculation methods of operation planning time for different preventive ...
AbstractOpportunistic maintenance is a widely adopted strategy for maintaining multi-unit systems, which has garnered significant attention from researchers. However, the current opportunistic maintenance still suffers from certain limitations, such as ...