93 citations
- École Normale Supérieure de LyonFR11 papers
- Institut national de recherche en sciences et technologies du numériqueFR11 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Lyon 1 UniversitéFR4 papers
- Laboratoire de Mathématiques Blaise PascalFR3 papers
- Université Savoie Mont BlancFR3 papers
- Institut de l'Information Scientifique et TechniqueFR2 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR2 papers
- Institut de Recherche sur les Systèmes Atomiques et Moléculaires ComplexesFR2 papers
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR2 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR2 papers
- LIP6FR2 papers
8 papers · 1 filter
CRDTs: Consistency without concurrency control
Mihai Letia, Nuno Preguiça, Marc Shapiro
A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we e…
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…
BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency
Bogdan Nicolae, Gabriel Antoniu, Luc Bougé
To accommodate the needs of large-scale distributed P2P systems, scalable data management strategies are required, allowing applications to efficiently cope with continuously growi…
Self-stabilizing Determinsitic Gathering
Yoann Dieudonné, Franck Petit
In this paper, we investigate the possibility to deterministically solve the gathering problem (GP) with weak robots (anonymous, autonomous, disoriented, deaf and dumb, and oblivio…
Resource Allocation for Multiple Concurrent In-Network Stream-Processing Applications
Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo +1
This paper investigates the operator mapping problem for in-network stream-processing applications. In-network stream-processing amounts to applying one or more trees of operators…
Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot
Yoann Dieudonné, Shlomi Dolev, Franck Petit +1
We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (ana…