
Marc Shapiro
227
Documents
Présentation
Publications
Publications
|
Data Consistency in Distributed Systems: Algorithms, Programs, and DatabasesDagstuhl Reports, 2018, Dagstuhl Reports, 8 (2), pp.101-121. ⟨10.4230/DagRep.8.2.101⟩
Article dans une revue
hal-01848384
v1
|
|
Technical Perspective: Unexpected ConnectionsCommunications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Article dans une revue
hal-01570845
v1
|
|
Geo-Replication: Fast If Possible, Consistent If NecessaryBulletin of the Technical Committee on Data Engineering, 2016, IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, 39 (1), pp.12
Article dans une revue
hal-01350652
v1
|
|
Bringing the cloud closer to usersResearch*eu , 2015, 2015 (1), pp.68--69
Article dans une revue
hal-01248193
v1
|
|
Consistency in Distributed SystemsDagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩
Article dans une revue
hal-00932737
v1
|
|
Assessing the Scalability of Garbage Collectors on Many CoresOperating Systems Review, 2011, Best papers from PLOS'11, 45 (3), pp.15--19. ⟨10.1145/2094091.2094096⟩
Article dans une revue
hal-00932831
v1
|
|
Convergent and Commutative Replicated Data TypesBulletin- European Association for Theoretical Computer Science, 2011, 104, pp.67-88
Article dans une revue
hal-00932833
v1
|
|
What's wrong with us?IEEE Distributed Systems Online, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Article dans une revue
inria-00444782
v1
|
|
Pushing log-based reconciliationInternational Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. ⟨10.1142/S0218213005002193⟩
Article dans une revue
hal-01248209
v1
|
|
Optimistic ReplicationACM Computing Surveys, 2005, 37 (1), pp.42--81. ⟨10.1145/1057977.1057980⟩
Article dans une revue
hal-01248208
v1
|
Numèro spècial sur la Mèmoire Partagèe RèpartieRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997
Article dans une revue
inria-00444647
v1
|
|
|
Summary of the 6th SIGOPS European Workshop on ``Matching Operating Systems to Application NeedsOperating Systems Review, 1995, 29 (1), pp.47--51
Article dans une revue
inria-00444636
v1
|
Les tendances de l'évolution des systèmes d'exploitationIX-Magazine, 1991, 6 (41)
Article dans une revue
inria-00444650
v1
|
|
Systèmes d'Objets RèpartisIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (2), pp.12--14
Article dans une revue
inria-00444620
v1
|
|
|
Un Bilan du système réparti à objets SOSAFCET Interfaces, 1991, 103/104, pp.46--53
Article dans une revue
inria-00444609
v1
|
|
Object-Support Operating SystemsIEEE Computer Society Technical Committee Newsletter on Operating Systems and Application Environments, 1991, 5 (1), pp.39--42
Article dans une revue
inria-00444611
v1
|
|
SOS: An Object-Oriented Operating System ―- Assessment and PerspectivesComputing systems, 1989, 2 (4), pp.287--337
Article dans une revue
hal-01248230
v1
|
SOS~: un système d'exploitation réparti basé sur les objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Article dans une revue
hal-01248235
v1
|
|
SOS : un système d'exploitation rèparti basè sur les objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (2), pp.166--169
Article dans une revue
inria-00444652
v1
|
|
Le service d'appel de procèdure distante GirolleRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1984, 3 (6), pp.435--442
Article dans une revue
inria-00444653
v1
|
CALock: Multi-granularity locking in dynamic hierarchiesIPDPS 2025 - 39th IEEE International Parallel and Distributed Processing Symposium, Jun 2025, Milan, Italy
Communication dans un congrès
hal-04989563
v1
|
|
|
Towards local-first distributed property graphs12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys, Mar 2025, Rotterdam, Netherlands. ⟨10.1145/3721473.3722139⟩
Communication dans un congrès
hal-04985261
v1
|
|
Diversifying locks for effective synchronization in dynamic graphsEuroSys 2024 Doctoral Workshop, Apr 2024, Athens, Greece
Communication dans un congrès
hal-04851918
v1
|
|
Models for Storage in Database BackendsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩
Communication dans un congrès
hal-04507674
v2
|
|
Transactional-Turn Causal ConsistencyEURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus
Communication dans un congrès
hal-04117344
v1
|
|
Varda: A Framework for Compositional Distributed ProgrammingNETYS 2022 - 10th International Conference on Networked Systems, May 2022, Marrakech, Morocco. pp.16-30, ⟨10.1007/978-3-031-17436-0_2⟩
Communication dans un congrès
hal-04015827
v1
|
|
Shared memory for the actor modelCOMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Laboratoire Modélisation, Informatique et Système - de l’Université de Picardie Jules Verne., Jul 2022, Amiens, France
Communication dans un congrès
hal-04004775
v1
|
|
Highly-available and consistent group collaboration at the edge with colonyMiddleware 2021: 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. pp.336-351, ⟨10.1145/3464298.3493405⟩
Communication dans un congrès
hal-03353663
v3
|
|
CRDTs for truly concurrent file systemsHotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
Communication dans un congrès
hal-03278658
v1
|
|
Data Consistency in the 5G SpecificationICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.110-117, ⟨10.1109/ICIN48450.2020.9059408⟩
Communication dans un congrès
hal-02943802
v1
|
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Communication dans un congrès
hal-02424317
v3
|
|
Towards application-specific query processing systemsBDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
Communication dans un congrès
hal-02943380
v1
|
|
MemOpLight: Leveraging application feedback to improve container memory consolidationNCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Cambridge / Virtual, United States. pp.1-10, ⟨10.1109/NCA51143.2020.9306717⟩
Communication dans un congrès
hal-03065629
v1
|
An environment for composable distributed computingEuroDW 2020 - 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Communication dans un congrès
hal-03146124
v1
|
|
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Communication dans un congrès
hal-02052012
v1
|
|
Highlighting the Container Memory Consolidation Problems in LinuxNCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩
Communication dans un congrès
hal-02424007
v1
|
|
Ensuring referential integrity under causal consistency PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Communication dans un congrès
hal-01727207
v1
|
|
Co-Design and Verification of an Available File System VMCAI 2018 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2018, Los Angeles, CA, United States. pp.358-381, ⟨10.1007/978-3-319-73721-8_17⟩
Communication dans un congrès
hal-01696263
v1
|
|
A Modular Design for Geo-Distributed QueryingPaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. pp.1-8, ⟨10.1145/3194261.3194265⟩
Communication dans un congrès
hal-01728712
v1
|
|
Distributed transactional reads: the strong, the quick, the fresh & the impossible2018 ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP/USENIX, Dec 2018, Rennes, France. pp.14, ⟨10.1145/3274808.3274818⟩
Communication dans un congrès
hal-01876456
v1
|
|
Vers une cohérence causale évolutive sans chaînes de ralentissementsCompas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Nice Sophia-Antipolis, France
Communication dans un congrès
hal-01860334
v1
|
|
Cure: Strong semantics meets high availability and low latencyInt. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
Communication dans un congrès
hal-01350558
v1
|
|
Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed SystemsSymposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩
Communication dans un congrès
hal-01243192
v1
|
|
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolationPaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. pp.4, ⟨10.1145/2911151.2911166⟩
Communication dans un congrès
hal-01350657
v1
|
|
The CISE Tool: Proving Weakly-Consistent Applications CorrectPaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ⟨10.1145/2911151.2911160⟩
Communication dans un congrès
hal-01350636
v1
|
|
Eventually Consistent Register RevisitedInt. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩
Communication dans un congrès
hal-01242700
v1
|
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Communication dans un congrès
hal-01350668
v1
|
|
High Responsiveness for Group Editing CRDTsACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
Communication dans un congrès
hal-01343941
v1
|
Scaling geo-replicated databases to the MEC environmentW. on Planetary-Scale Distributed Systems, Sep 2015, Montréal, Canada. pp.74-79, ⟨10.1109/SRDSW.2015.13⟩
Communication dans un congrès
hal-01248195
v1
|
|
|
An empirical perspective on causal consistencyW. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. pp.2:1--2:3, ⟨10.1145/2745947.2745949⟩
Communication dans un congrès
hal-01218208
v1
|
|
Designing a causally consistent protocol for geo-distributed partial replicationW. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. ⟨10.1145/2745947.2745953⟩
Communication dans un congrès
hal-01218204
v1
|
|
Extending Eventually Consistent Cloud Databases for Enforcing Numeric InvariantsSymp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. pp.31-36, ⟨10.1109/SRDS.2015.32⟩
Communication dans un congrès
hal-01248192
v1
|
|
Write Fast, Read in the Past: Causal Consistency for Client-side ApplicationsInt. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩
Communication dans un congrès
hal-01248194
v1
|
|
NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM SIGOPS, ACM SIGPLAN, ACM SIGARCH, Mar 2015, Istanbul, Turkey. pp.661-673, ⟨10.1145/2694344.2694361⟩
Communication dans un congrès
hal-01178790
v1
|
|
Merging Semantics for Conflict Updates in Geo-Distributed File SystemsACM Int. Systems and Storage Conf. (Systor), 2015, Haifa, Israel. pp.10.1--10.12, ⟨10.1145/2757667.2757683⟩
Communication dans un congrès
hal-01248190
v1
|
|
Putting Consistency back into Eventual ConsistencyEuropean Conference on Computer Systems (EuroSys), ACM Sigops / EuroSys, Apr 2015, Bordeaux, France. pp.6:1--6:16, ⟨10.1145/2741948.2741972⟩
Communication dans un congrès
hal-01248191
v1
|
CRDTs in practiceW. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Communication dans un congrès
hal-01351589
v1
|
|
The Case for Fast and Invariant-Preserving Geo-ReplicationSRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩
Communication dans un congrès
hal-01109107
v1
|
|
G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional ProtocolsMiddleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩
Communication dans un congrès
hal-01109114
v1
|
|
Putting the Consistency Back Into Eventual ConsistencyLarge-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Communication dans un congrès
hal-01109719
v1
|
|
Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databasesInternational Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France
Communication dans un congrès
hal-01105053
v1
|
|
Exploring the spectrum of strongly-consistent transactional protocolsWorkshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom
Communication dans un congrès
hal-01109740
v1
|
|
|
Incremental Stream Processing using Computational Conflict-free Replicated Data TypesCloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Apr 2013, Prague, Czech Republic. pp.31-36, ⟨10.1145/2460756.2460762⟩
Communication dans un congrès
hal-00932788
v1
|
|
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systemsSRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.163-172, ⟨10.1109/SRDS.2013.25⟩
Communication dans un congrès
hal-00932758
v1
|
|
Improving the scalability of geo-replication with reservationsDCC 2013 : Workshop on Distributed Cloud Computing, Dec 2013, Dresden, Germany. pp.441-445, ⟨10.1109/UCC.2013.87⟩
Communication dans un congrès
hal-00932657
v1
|
|
A study of the scalability of stop-the-world garbage collectors on multicoresASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, ACM, Mar 2013, Houston, United States. pp.229-240, ⟨10.1145/2451116.2451142⟩
Communication dans un congrès
hal-00868012
v1
|
|
On the Scalability of Snapshot IsolationEuro-Par 2013 - 19th International Conference Parallel Processing, Aug 2013, Aachen, Germany. pp.369-381, ⟨10.1007/978-3-642-40047-6_39⟩
Communication dans un congrès
hal-00932781
v1
|
|
Brief Announcement: Semantics of Eventually Consistent Replicated SetsDISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. pp.441--442, ⟨10.1007/978-3-642-33651-5_48⟩
Communication dans un congrès
hal-00769554
v1
|
|
The Space Complexity of Transactional Interactive ReadsHotCDP '12 - 1st International Workshop on Hot Topics in Cloud Data Processing, Apr 2012, Bern, Switzerland. ⟨10.1145/2169090.2169094⟩
Communication dans un congrès
hal-00932803
v1
|
|
A Grid Based Distributed Cooperative Environment for Health Care ResearchFHIES 2012 - Second International Symposium Foundations of Health Information Engineering and Systems, Aug 2012, Paris, France. pp.142-150, ⟨10.1007/978-3-642-39088-3_9⟩
Communication dans un congrès
hal-00932708
v1
|
|
Gargamel: boosting DBMS performance by parallelising write transactionsICPADS 2012 - IEEE 18th International Conference on Parallel and Distributed Systems, Dec 2012, Singapour, Singapore. pp.572--579, ⟨10.1109/ICPADS.2012.83⟩
Communication dans un congrès
hal-00932795
v1
|
|
Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messagesALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2011, Cap Estérel, France
Communication dans un congrès
inria-00586591
v2
|
|
Conflict-free Replicated Data TypesSSS 2011 - 13th International Symposium Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.386-400, ⟨10.1007/978-3-642-24550-3_29⟩
Communication dans un congrès
hal-00932836
v1
|
|
Assessing the Scalability of Garbage Collectors on Many CoresPLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. pp.7:1-7:5, ⟨10.1145/2039239.2039249⟩
Communication dans un congrès
hal-00932818
v1
|
|
The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMsWTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy
Communication dans un congrès
hal-00932809
v1
|
|
Fast Genuine Generalized ConsensusSRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. pp.255--264, ⟨10.1109/SRDS.2011.38⟩
Communication dans un congrès
hal-00932839
v1
|
|
A Semantically Rich Approach for Collaborative Model EditionSymp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩
Communication dans un congrès
hal-01248198
v1
|
|
Asynchronous rebalancing of a replicated treeConférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12
Communication dans un congrès
hal-01248197
v1
|
|
Consistency without concurrency control in large, dynamic systemsLADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, Oct 2009, Big Sky, MT, United States. pp.29--34, ⟨10.1145/1773912.1773921⟩
Communication dans un congrès
hal-01248270
v1
|
|
A commutative replicated data type for cooperative editing29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Québec, Canada. pp.395-403, ⟨10.1109/ICDCS.2009.20⟩
Communication dans un congrès
inria-00445975
v1
|
|
Telex: A Semantic Platform for Cooperative Application DevelopmentConférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Communication dans un congrès
inria-00444792
v1
|
Fault-Tolerant Partial Replication in Large-Scale Database Systemseuropar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413
Communication dans un congrès
inria-00444788
v1
|
|
|
Exploiting our computational surroundings for better mobile collaborationMDM 2007 - 8th International Conference on Mobile Data Management, May 2007, Mannheim, Germany. pp.110--117, ⟨10.1109/MDM.2007.24⟩
Communication dans un congrès
inria-00444796
v1
|
|
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. pp.474 - 483, ⟨10.1109/COLCOM.2007.4553878⟩
Communication dans un congrès
inria-00188329
v1
|
|
Decentralised Commitment for Optimistic Semantic ReplicationInternational Conference on Cooperative Information Systems (CoopIS), Nov 2007, Vilamoura, Algarve, Portugal. pp.318-335, ⟨10.1007/978-3-540-76848-7_21⟩
Communication dans un congrès
inria-00444783
v1
|
|
Comparing Optimistic Database Replication TechniquesBases de Données Avancées (BDA), Oct 2007, Marseille, France
Communication dans un congrès
inria-00444785
v1
|
|
Semantic Middleware for Designing Collaborative Applications in Mobile EnvironmentMiNEMA 2007 - 5th workshop on Middleware for Network Eccentric and Mobile Applications, Sep 2007, Magdeburg, Germany. pp.58-61
Communication dans un congrès
inria-00444787
v1
|
|
Proving Correctness of Highly-Concurrent Linearisable ObjectsPPoPP 2006 - 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2006, New York, United States. pp.129--136, ⟨10.1145/1122971.1122992⟩
Communication dans un congrès
hal-01248204
v1
|
|
An Application Framework for Nomadic, Collaborative ApplicationsDAIS 2006 - 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, Jun 2006, Bologna, Italy. pp.48-63, ⟨10.1007/11773887_4⟩
Communication dans un congrès
inria-00445942
v1
|
Practical proofs of concurrent programsInt. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩
Communication dans un congrès
hal-01248205
v1
|
|
|
Brief announcement: Exploring the Consistency Problem SpacePODC 2005 - 24th annual ACM symposium on Principles Of Distributed Computing, Jul 2005, Las Vegas, Nevada, United States. pp.168--168, ⟨10.1145/1073814.1073845⟩
Communication dans un congrès
hal-01248206
v1
|
|
FEW: File Management for Portable DevicesInternational Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Communication dans un congrès
inria-00444798
v1
|
|
The three dimensions of data consistencyJournées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
Communication dans un congrès
inria-00444797
v1
|
|
A Constraint-based Formalism for Consistency in Replicated SystemsOPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
Communication dans un congrès
inria-00444799
v1
|
|
Undo for anyone, anywhere, anytimeSIGOPS European Workshop, ACM Special Interest Group on Operating Systems, 2004, Leuven, Belgium, Belgium. ⟨10.1145/1133572.1133579⟩
Communication dans un congrès
inria-00444773
v1
|
|
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Communication dans un congrès
inria-00444779
v1
|
|
Rufis: mobile data sharing using a generic constraint-oriented reconcilerConference on Mobile Data Management, 2004, Berkeley, CA, USA, United States. pp.146--151, ⟨10.1109/MDM.2004.1263052⟩
Communication dans un congrès
inria-00444770
v1
|
|
Automating semantics-based reconciliation for mobile databasesRenpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp.515--524
Communication dans un congrès
inria-00444769
v1
|
|
Semantics-based reconciliation for collaborative and mobile environmentsCOOPIS, 2003, Catania, Sicily, Italy. pp.38-55, ⟨10.1007/b94348⟩
Communication dans un congrès
inria-00445758
v1
|
|
Automating semantics-based reconciliation for mobile transactionsConf. Française sur les Systèmes d'Exploitation (CFSE), 2003, La-Colle-sur-Loup, France. pp.515--524
Communication dans un congrès
hal-01248212
v1
|
Réplication : les approches optimistes (conf. invitée)Journées Bases de Données Avancées (BDA), 2002, Évry, France
Communication dans un congrès
hal-01248213
v1
|
|
Scaling Optimistic ReplicationWorskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, 2002, Bertinoro, Forlì, Italy, Italy. pp.164--168
Communication dans un congrès
inria-00444780
v1
|
|
|
The IceCube approach to the reconciliation of divergent replicasSymp. on Principles of Dist. Comp. (PODC), 2001, Newport, RI, United States. ⟨10.1145/383962.384020⟩
Communication dans un congrès
hal-01248215
v1
|
|
Experience with the PerDiS large-scale data-sharing middleware9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.55-69, ⟨10.1007/3-540-45498-5_6⟩
Communication dans un congrès
hal-01248216
v1
|
|
The memory behavior of WWW, or the WWW considered as a persistent store9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.161-176, ⟨10.1007/3-540-45498-5_14⟩
Communication dans un congrès
hal-01248218
v1
|
|
Application-independent reconciliation for nomadic applications9th ACMSIGOPS European Workshop 2000 sigopsew :``Beyond the PC:New Challenges for the Operating System'', sigops, 2000, Kolding, Denmark, Denmark
Communication dans un congrès
inria-00444646
v1
|
|
Implementing Garbage Collection in the PerDiS systemProceedings of the Eighth International Workshop on Persistent Object Systems, 1998, Tiburon CA, USA, United States
Communication dans un congrès
inria-00444641
v1
|
|
An implementation of complete, asynchronous, distributed garbage collectionConf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩
Communication dans un congrès
hal-01248220
v1
|
|
Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proofEuro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. pp.234--259, ⟨10.1007/BFb0054094⟩
Communication dans un congrès
hal-01248219
v1
|
|
A detection algorithm for distributed cycles of garbageOOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States
Communication dans un congrès
hal-01248221
v1
|
|
PerDiS ―- a Persistent Distributed Store for Cooperative ApplicationsProc. 3rd Cabernet Plenary W., 1997, Rennes, France
Communication dans un congrès
hal-01248222
v1
|
|
PerDiS PPF Case Study: Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store ArchitectureOOPSLA'97 Workshop on Garbage Collection and Memory Management, 1997, Atlanta GA, USA, United States
Communication dans un congrès
inria-00444640
v1
|
|
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage CollectionInt. Conf. on Distr. Comp. Sys. (ICDCS), 1996, Hong Kong, Hong Kong SAR China. pp.394--401, ⟨10.1109/ICDCS.1996.507987⟩
Communication dans un congrès
inria-00444639
v1
|
|
A Survey of Distributed Garbage Collection TechniquesInt. W. on Memory Management (IWMM), 1995, Kinross, United Kingdom. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩
Communication dans un congrès
hal-01248224
v1
|
|
Garbage Collection in the Larchant Persistent Distributed Store5th Workshop on Future Trends in Distributed Computing Systems (FTDCS'95), 1995, Cheju Island, Republic of Korea, South Korea. pp.461--467
Communication dans un congrès
inria-00444637
v1
|
|
Evaluating Garbage Collectors for Large Persistence StoresOOPSLA Workshop on Object Database Behavior, Benchmarks, and Performance, Addendum to the Proceedings, 1995, Austin TX, USA, United States
Communication dans un congrès
inria-00444638
v1
|
|
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage CollectorW. on Distributed Algorithms (WDAG), 1995, Le Mont Saint-Michel, France. pp.198--214, ⟨10.1007/BFb0022148⟩
Communication dans un congrès
hal-01248223
v1
|
|
Garbage Collection and DSM Consistencyosdi, 1994, Monterey CA, USA, United States. pp.229--241
Communication dans un congrès
inria-00444631
v1
|
|
Garbage Collection of Persistent Objects in Distributed Shared Memorypos, 1994, Tarascon, France, France. pp.176--191
Communication dans un congrès
inria-00444630
v1
|
Some Key Issues in the Design of Distributed Garbage Collection and ReferencesUnifying Theory and Practice in Distributed Systems, 1994, Dagstuhl, Germany, Germany
Communication dans un congrès
inria-00444632
v1
|
|
|
A Binding Protocol for Distributed Shared Objects14th International Conference on Distributed Computing Systems - ICDCS 1994, Jun 1994, Poznan, Poland, Poland. pp.134--141, ⟨10.1109/ICDCS.1994.302403⟩
Communication dans un congrès
inria-00444629
v1
|
|
A Survey of Distributed Garbage Collection TechniquesSecond Closed BROADCAST Workshop, Broadcast Basic Research Action, 1994, Bruxelles, Belgique, Belgium. pp.211--249, ⟨10.1007/3-540-60368-9_26⟩
Communication dans un congrès
inria-00444635
v1
|
Implementing Efficient IndirectionsBroadcast 1st Open Workshop, 1993, Newcastle, England, United Kingdom
Communication dans un congrès
inria-00444628
v1
|
|
Distribution and persistence in multiple and heterogeneous address spacesiwooos, 1993, Asheville, NC, USA, United States. pp.83--93, ⟨10.1109/IWOOOS.1993.324924⟩
Communication dans un congrès
inria-00444655
v1
|
|
Binding should be flexible in a distributed systemiwooos, 1993, Asheville, NC, USA, United States. pp.216--217, ⟨10.1109/IWOOOS.1993.324900⟩
Communication dans un congrès
inria-00444656
v1
|
|
|
Implementing References as Chains of LinksSecond International Workshop on Object Orientation in Operating Systems - IWOOOS 1992, ieeecs, Sep 1992, Dourdan, France, France. pp.236--243, ⟨10.1109/IWOOOS.1992.252975⟩
Communication dans un congrès
inria-00444623
v1
|
Robust, Distributed References and Acyclic Garbage CollectionSymp. on Principles of Dist. Comp. (PODC), 1992, Vancouver, Canada. pp.135--146, ⟨10.1145/135419.135448⟩
Communication dans un congrès
hal-01248225
v1
|
|
|
A Distributed GC in an Object-oriented Operating SystemIWOOOS 1992 - Second International Workshop on Object Orientation in Operating Systems, ieeecs, 1992, Dourdan, France, France. pp.221--229, ⟨10.1109/IWOOOS.1992.252977⟩
Communication dans un congrès
inria-00444633
v1
|
|
Experience with a Fault-Tolerant Garbage Collector in a Distributed List SystemIWMM : Memory Management, International Workshop, 1992, Saint-Malo, France, France. pp.116--133
Communication dans un congrès
inria-00444622
v1
|
Contrasting Fragmented Objects with Uniform Transparent Object References for Distributed Programming5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, sigops, 1992, Mont Saint-Michel, France, France
Communication dans un congrès
inria-00444624
v1
|
|
Operating System Support for Distributed and Persistent ObjectsInternational Workshop on Distributed Object Management (IWDOM), 1992, Edmonton, Canada, Canada. pp.202--205
Communication dans un congrès
inria-00444625
v1
|
|
Un algorithme conservatif de dètection des miettes en milieu rèpartiConvention Unix 91, 1991, Paris, France. pp.61--74
Communication dans un congrès
inria-00444613
v1
|
|
|
BOAR: A Library of Fragmented Object Types for Distributed AbstractionsInternational Workshop on Object Orientation In Operating Systems : IWOOOS'91, 1991, Palo Alto, CA (USA), United States. pp.164--168, ⟨10.1109/IWOOOS.1991.183043⟩
Communication dans un congrès
inria-00444616
v1
|
|
Distributed Garbage Collection in the System is GoodInternational Workshop on Object Orientation in Operating Systems- IWOOOS 91, 1991, Palo Alto CA, USA, United States. pp.94--99, ⟨10.1109/IWOOOS.1991.183028⟩
Communication dans un congrès
inria-00444618
v1
|
|
A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection ProtocolSymposium on Reliable Distributed Sytems (SRDS), 1991, Pisa, Italy, Italy. pp.208--217, ⟨10.1109/RELDIS.1991.145426⟩
Communication dans un congrès
inria-00444615
v1
|
Soul: An Object-Oriented OS Framework for Object SupportW. on Operating Systems for the Nineties and Beyond, 1991, Dagstuhl Castle, Germany. pp.251--255, ⟨10.1007/BFb0024553⟩
Communication dans un congrès
istex
hal-01248226
v1
|
|
Distributed Object-Support Operating Systems and Garbage CollectionWorkshop on Garbage Collection at OOPSLA-ECOOP'90, 1990, Ottawa, Canada, Canada
Communication dans un congrès
inria-00444612
v1
|
|
FOG/C++: a Fragmented-Object GeneratorC++ Conference, Usenix, 1990, San Francisco, CA, USA, United States. pp.63--74
Communication dans un congrès
inria-00444608
v1
|
|
Les tendances de l'èvolution des systèmes d'exploitationConfèrences techniques, Convention Unix 90, AFUU, 1990, Paris, France
Communication dans un congrès
inria-00444649
v1
|
|
Object-Support Operating SystemsWorkshop on Operating Systems and Object Orientation at ECOOP-OOPSLA 1990, 1990, Ottawa, Canada, Canada
Communication dans un congrès
inria-00444610
v1
|
|
Generic Virtual Memory Management for Operating System KernelsSymp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, ⟨10.1145/74850.74863⟩
Communication dans un congrès
hal-01248228
v1
|
|
Un Service de Nommage pour un Système à Objets RèpartisActes Convention Unix 89, AFUU, 1989, Paris, France. pp.73--82
Communication dans un congrès
inria-00444600
v1
|
|
|
Persistence and Migration for C++ ObjectsECOOP'89, Proc. of the Third European Conf.on Object-Oriented Programming, The British Computer Society, 1989, Nottingham, GB, United Kingdom. pp.191--204
Communication dans un congrès
inria-00444602
v1
|
Software Integration in SOMIW : Goals, Accomplishments, and ProblemsEsprit'89, 6th Annual Esprit Conf., 1989, Brussels, Belgium
Communication dans un congrès
inria-00444605
v1
|
|
Un Service de Nommage pour un Système Rèpartis à ObjetsSèminaire Franco-Brèsilien sur les Systèmes Informatiques Rèpartis, LAAS and UFSC, 1989, Florianopolis, Brazil, Brésil. pp.127--133
Communication dans un congrès
inria-00444601
v1
|
|
Prototyping a distributed object-oriented OS on UnixWorkshop on Experiences with Building Distributed and Multiprocessor Systems, USENIX, 1989, Ft. Lauderdale FL, USA, United States
Communication dans un congrès
inria-00444604
v1
|
|
A simple object storage systemProceedings of the Third International Workshop on Persistent Object Systems : POS-3, 1989, Newcastle NSW, Australia, Australia. pp.320--327
Communication dans un congrès
inria-00444599
v1
|
|
Domains and dynamic loading: reconciling autonomy and integrationSIGOPS European Workshop on ``Autonomy or interdependence in distributed systems?'', 1988, Cambridge, United Kingdom. ⟨10.1145/504092.504127⟩
Communication dans un congrès
hal-01248234
v1
|
|
The Design of a Distributed Object-Oriented Operating System for Office ApplicationsProc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
Communication dans un congrès
inria-00444598
v1
|
|
The SOS Object-Oriented Communication ServiceProc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
Communication dans un congrès
hal-01248233
v1
|
|
Two extensions to C++: A Dynamic Link Editor and Inner dataC++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
Communication dans un congrès
inria-00444597
v1
|
|
|
SOS: a distributed Object-Oriented Operating SystemSIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩
Communication dans un congrès
hal-01248236
v1
|
|
Structure and Encapsulation in Distributed Systems: the Proxy PrincipleInt. Conf. on Distr. Comp. Sys. (ICDCS), IEEE, 1986, Cambridge, MA, USA, United States. pp.198--204
Communication dans un congrès
inria-00444651
v1
|
Une proposition pour Microrèzo,: Girolle, un protocole d'appel de procèdure distanteGènie Logiciel : le second souffle,?'', Journèes Bigre 1983, 1983, Le Cap d'Agde, France, France
Communication dans un congrès
inria-00444648
v1
|
|
Microrèzo: le projet rèseau local du Centre Mondial1983 World Conference on Systems, 1983, Caracas, Venezuela
Communication dans un congrès
inria-00444510
v1
|
|
The contributions of an object-oriented approach to the programming of distributed applicationsJournèe d'étude sur les Langages Orientés Objet, Oct 1983, Le Cap d'Agde, France. pp.149--159
Communication dans un congrès
inria-00444520
v1
|
|
An Experiment in Distributed Program Design, Using Control Enrichmenticdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
Communication dans un congrès
inria-00444654
v1
|
|
Fault Tolerance in Rebus, a Distributed System for Industrial Real Time ControlSymposium on Fault-Tolerant Computing (FTCS-11), Jun 1981, Portland, Maine, USA", United States. pp.224-227
Communication dans un congrès
inria-00444502
v1
|
|
A distributed control system for industrial plantsEuromicro 80 Conference, 1980, London, United Kingdom
Communication dans un congrès
inria-00444517
v1
|
Scality's experience with a geo-distributed file systemMiddleware 2014, Dec 2014, Bordeaux, France. ACM, Middleware: Posters and Demos '14; Proceedings of the Posters & Demos Session, pp.31-32, 2014, ⟨10.1145/2678508.2678524⟩
Poster de conférence
hal-01111208
v1
|
International Workshop on Object Orientation In Operating Systems : IWOOS'91Cabrera,Luis-Felipe and Russo,Vincent F. and Shapiro, Marc. IEEE Computer Society Press, pp.1--193, 1991
Ouvrages
inria-00444617
v1
|
|
Int. W. on Object Orientation in Op. Sys. (I-WOOOS)Luis-Felipe Cabrera and Vince Russo and Marc Shapiro. IEEE Computer Society Press, 1991
Ouvrages
hal-01248227
v1
|
|
Database Consistency ModelsSherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2019, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_203-1⟩
Chapitre d'ouvrage
hal-01756780
v1
|
|
Conflict-free Replicated Data Types (CRDTs)Sakr, Sherif; Zomaya, Albert. Encyclopedia of Big Data Technologies, Springer International Publishing, 2019, Encyclopedia of Big Data Technologies, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_185-1⟩
Chapitre d'ouvrage
hal-01793586
v1
|
|
Optimistic Replication and ResolutionLiu, Ling; Özsu, M. Tamer. Encyclopedia Of Database Systems, Springer, pp.1-8, 2017, ⟨10.1007/978-1-4899-7993-3_258-4⟩
Chapitre d'ouvrage
hal-02895799
v1
|
|
Eventual ConsistencyLing Liu; M. Tamer Özsu. Encyclopedia of Database Systems, Springer, pp.1--2, 2017, 978-1-4899-7993-3. ⟨10.1007/978-1-4899-7993-3_1366-2⟩
Chapitre d'ouvrage
inria-00444791
v2
|
|
Optimistic Replication and ResolutionÖzsu, M. Tamer; Liu, Ling. Encyclopedia of Database Systems, Springer-Verlag, pp.1995--1995, 2009, ⟨10.1007/978-0-387-39940-9_258⟩
Chapitre d'ouvrage
hal-01248202
v1
|
|
Recent Advances in Distributed Garbage CollectionSacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs
Chapitre d'ouvrage
inria-00444645
v1
|
Informatiques, enjeux tendances et évolutionsJacquart, René. Informatiques, enjeux tendances et évolutions, Le partage d'informations dans les systèmes répartis grande échelle (1-2-3), Hermès Science, pp.455--462, 2000, Technique et Science Informatiques
Chapitre d'ouvrage
hal-01248217
v1
|
|
|
Le partage d'informations dans les systèmes répartis grande échelleRené Jacquart. Informatiques, enjeux tendances et évolutions, 19, Hermès Science, pp.455-462, 2000
Chapitre d'ouvrage
inria-00444643
v1
|
|
PerDiS: design, implementation, and use of a PERsistent DIstributed StoreSacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, Springer-Verlag, pp.427--452, 2000, Lecture Notes in Computer Science, ⟨10.1007/3-540-46475-1_18⟩
Chapitre d'ouvrage
inria-00444644
v1
|
|
Fragmented Objects for Distributed AbstractionsThomas L. Casavant and Mukesh Singhal. Readings in Distributed Computing Systems, IEEE Computer Society Press, pp.170--186, 1994
Chapitre d'ouvrage
inria-00444614
v1
|
Gestion Rèpartie de FichiersBalter, Roland and Banâtre, Jean-Pierre and Krakowiak, Sacha. Construction des Systèmes d'Exploitation Rèpartis, INRIA, 1991, Collection Didactique
Chapitre d'ouvrage
inria-00444619
v1
|
|
Gestion Rèpartie d'ObjetsBalter, Roland and Ban{â}tre, Jean-Pierre and Krakowiak, Sacha. Construction des Systèmes d'Exploitation Rèpartis, INRIA, 1991, Collection Didactique
Chapitre d'ouvrage
inria-00444621
v1
|
Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computingUnited States, Patent n° : US 10 416 925B2. 2019
Brevet
hal-02943504
v1
|
Rencontre avec Marc Shapiro et son projet européen SyncFree2016
Autre publication scientifique
hal-01587003
v1
|
|
Position paper: CRDTs for large-scale incremental processing2011
Autre publication scientifique
hal-01248196
v1
|
|
Systems research, education and industry in Europe2005
Autre publication scientifique
inria-00444777
v1
|
|
Persistent Memory Programming Abstractions in Context of Concurrent Applications2017
Pré-publication, Document de travail
hal-01667772
v1
|
|
Exploring the consistency problem space2005
Pré-publication, Document de travail
hal-01248207
v1
|
|
Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
Rapport
hal-03654003
v2
|
|
A coordination-free, convergent, and safe replicated tree[Research Report] RR-9395, LIP6, Sorbonne Université, Inria de Paris; Universidade nova de Lisboa. 2021, pp.36
Rapport
(rapport de recherche)
hal-03150817
v3
|
|
Specification of a Transactionally and Causally-Consistent (TCC) database[Research Report] RR-9355, DELYS; LIP6, Sorbonne Université, Inria, Paris, France. 2020
Rapport
(rapport de recherche)
hal-02902474
v2
|
|
Proving the safety of highly-available distributed objects (Extended version)[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Rapport
hal-02492599
v1
|
|
Just-Right Consistency: reconciling availability and safety[Research Report] RR-9145, Inria Paris; UPMC - Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15
Rapport
(rapport de recherche)
hal-01685945
v1
|
|
Improving the "Correct Eventual Consistency" Tool[Research Report] RR-9191, Sorbonne Université. 2018
Rapport
(rapport de recherche)
hal-01832888
v1
|
|
The CISE Tool: Proving Weakly-Consistent Applications Correct[Research Report] RR-8870, Inria Paris Rocquencourt. 2016
Rapport
(rapport de recherche)
hal-01279495
v2
|
|
Cure: Strong semantics meets high availability and low latency[Research Report] RR-8858, INRIA; Paris 6. 2016
Rapport
(rapport de recherche)
hal-01270776
v2
|
|
Consistency in 3D[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Rapport
(rapport de recherche)
hal-01343592
v1
|
|
Emulating Geo-Replication on Grid5000[Technical Report] RT-0455, Inria – Centre Paris-Rocquencourt; INRIA. 2015, pp.15
Rapport
(rapport technique)
hal-01149185
v1
|
|
Write Fast, Read in the Past: Causal Consistency for Client-side Applications[Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015
Rapport
(rapport de recherche)
hal-01158370
v2
|
|
Non-Monotonic Snapshot Isolation[Research Report] RR-7805, INRIA. 2013, pp.45
Rapport
(rapport de recherche)
hal-00643430
v5
|
|
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine[Research Report] RR-8347, INRIA. 2013
Rapport
(rapport de recherche)
hal-00870225
v1
|
|
An optimized conflict-free replicated set[Research Report] RR-8083, INRIA. 2012, pp.12
Rapport
(rapport de recherche)
hal-00738680
v1
|
|
A comprehensive study of Convergent and Commutative Replicated Data Types[Research Report] RR-7506, Inria – Centre Paris-Rocquencourt; INRIA. 2011, pp.50
Rapport
(rapport de recherche)
inria-00555588
v1
|
|
Conflict-free Replicated Data Types[Research Report] RR-7687, INRIA. 2011, pp.18
Rapport
(rapport de recherche)
inria-00609399
v2
|
|
CRDTs: Consistency without concurrency control[Research Report] RR-6956, INRIA. 2009, pp.16
Rapport
(rapport de recherche)
inria-00397981
v1
|
|
Fault-Tolerant Partial Replication in Large-Scale Database Systems[Research Report] RR-6440, INRIA. 2008, pp.25
Rapport
(rapport de recherche)
inria-00232662
v4
|
|
Telex: Principled System Support for Write-Sharing in Collaborative Applications[Research Report] RR-6546, INRIA. 2008, pp.31
Rapport
(rapport de recherche)
inria-00281329
v2
|
Designing a commutative replicated data type for cooperative editing systems[Research Report] TR-02-2008 DI-FCT-UNL, Universidade Nova de Lisboa, Dep. Informática, FCT. 2008
Rapport
(rapport de recherche)
hal-01248203
v1
|
|
|
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages[Research Report] RR-6278, INRIA. 2007, pp.19
Rapport
(rapport de recherche)
inria-00169395
v2
|
|
Designing a commutative replicated data type[Research Report] RR-6320, INRIA. 2007
Rapport
(rapport de recherche)
inria-00177693
v2
|
|
An asynchronous, decentralised commitment protocol for semantic optimistic replication[Research Report] RR-6069, INRIA. 2006, pp.21
Rapport
(rapport de recherche)
inria-00120734
v3
|
|
Fostering Systems Research in Europe[Technical Report] 2006
Rapport
(rapport technique)
inria-00444781
v1
|
|
Proving Correctness of Highly-Concurrent Linearisable Objects[Research Report] RR-5716, INRIA. 2005, pp.20
Rapport
(rapport de recherche)
inria-00070301
v1
|
|
An application Framework for Collaborative, Nomadic Applications[Research Report] RR-5745, INRIA. 2005, pp.26
Rapport
(rapport de recherche)
inria-00070274
v1
|
An Application Agnostic Replication System for Ubiquitous Computing[Research Report] MSR-TR-2004-64, Microsoft Research Cambridge. 2004
Rapport
(rapport de recherche)
hal-01248211
v1
|
|
|
A formalism for consistency and partial replication[Technical Report] Microsoft Research. 2004
Rapport
(rapport technique)
inria-00444800
v1
|
The Actions-Constraints approach to replication: Definitions and proofs[Research Report] MSR-TR-2004-14, Microsoft Research. 2004
Rapport
(rapport de recherche)
hal-01248210
v1
|
|
|
Optimistic Replication[Technical Report] Microsoft Research. 2003
Rapport
(rapport technique)
inria-00444768
v1
|
|
SqlIceCube: Automatic Semantics-Based Reconciliation for Mobile Databases[Technical Report] Universidade Nova de Lisboa, Dep. Informática, FCT. 2003
Rapport
(rapport technique)
inria-00444767
v1
|
Replication: Optimistic Approaches[Technical Report] Hewlett-Packard Laboratories. 2002
Rapport
(rapport technique)
inria-00444765
v1
|
|
Efficient semantics-aware reconciliation for optimistic write sharing[Research Report] MSR-TR-2002-52, Microsoft Research. 2002
Rapport
(rapport de recherche)
hal-01248214
v1
|
|
|
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store[Research Report] RR-3525, INRIA. 1998
Rapport
(rapport de recherche)
inria-00077216
v1
|
|
Larchant-RDOSS: a distributed shared persistent memory and its garbage collector[Research Report] RR-2399, INRIA. 1996
Rapport
(rapport de recherche)
inria-00444634
v2
|
|
Flexible Bindings for Fine-Grain, Distributed Objects in distributed systems[Research Report] RR-2007, INRIA. 1993
Rapport
(rapport de recherche)
inria-00074665
v1
|
|
Distribution and persistence in multiple and heterogeneous address spaces[Research Report] RR-2016, INRIA. 1993
Rapport
(rapport de recherche)
inria-00074655
v1
|
|
SSP chains : robust, distributed references supporting acyclic garbage collection[Research Report] RR-1799, INRIA. 1992
Rapport
(rapport de recherche)
inria-00074876
v1
|
|
Structuring distributed applications as fragmented objects[Research Report] RR-1404, INRIA. 1991
Rapport
(rapport de recherche)
inria-00075156
v1
|
|
A garbage detection protocol for a realistic distributed object-support systemRR-1320, INRIA. 1990
Rapport
inria-00077186
v1
|
|
Un bilan du système réparti à objets SOSRR-1242, INRIA. 1990
Rapport
inria-00075316
v1
|
|
Prototyping a distributed objet-oriented operating system on UNIXRR-1082, INRIA. 1989
Rapport
inria-00075477
v1
|
Generic Virtual Memory Management for Operating System Kernels[Research Report] 1989
Rapport
(rapport de recherche)
inria-00444603
v1
|
|
|
The SOS object-oriented communication service[Research Report] RR-0801, INRIA. 1988
Rapport
(rapport de recherche)
inria-00075750
v1
|
|
Un recueil de papiers sur le systeme d'exploitation reparti a objets SOS[Rapport de recherche] RT-0084, INRIA. 1987, pp.77
Rapport
(rapport de recherche)
inria-00070080
v1
|
|
Object management in large-scale distributed systemsComputer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
HDR
tel-01248269
v1
|
|
CISE Safety Tool2015
Vidéo
medihal-01242710
v1
|
Chargement...
Chargement...