From the 1 of 2.5k papers with an AI index.
29.3k citations
- Centre National de la Recherche ScientifiqueFR568 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR170 papers
- Centre Inria de SaclayFR169 papers
- Sorbonne UniversitéFR157 papers
- Université Grenoble AlpesFR110 papers
- École Normale Supérieure - PSLFR108 papers
- Université Paris CitéFR107 papers
- Centre Inria de l'Université de LilleFR90 papers
- Centre Inria de l'Université Grenoble AlpesFR87 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR86 papers
- École Normale Supérieure de LyonFR84 papers
- École PolytechniqueFR83 papers
9 papers · 2 filters
Byzantine Convergence in Robots Networks: The Price of Asynchrony
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
We study the convergence problem in fully asynchronous, uni-dimensional robot networks that are prone to Byzantine (i.e. malicious) failures. In these settings, oblivious anonymous…
On the Convergence of Population Protocols When Population Goes to Infinity
Olivier Bournez, Philippe Chassaing, Johanne Cohen +2
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corr…
PT-Scotch: A tool for efficient parallel graph ordering
Cédric Chevalier, François Pellegrini
The parallel ordering of large graphs is a difficult problem, because on the one hand minimum degree algorithms do not parallelize well, and on the other hand the obtainment of hig…
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…
Ideal Stabilization
Mikhail Nesterenko, Sébastien Tixeuil
We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer…
Optimal byzantine resilient convergence in oblivious robot networks
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, b…