SSS C

32 papers

YearTitle / Authors
2016An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers.
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
2016Analysis of Computing Policies Using SAT Solvers (Short Paper).
Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda
2016Asynchronous Non-Bayesian Learning in the Presence of Crash Failures.
Lili Su, Nitin H. Vaidya
2016Automatic Addition of Conflicting Properties.
Mohammad Roohitavaf, Sandeep S. Kulkarni
2016Complete Visibility for Robots with Lights in O(1) Time.
Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan, Costas Busch, Suresh Rai
2016DecTDMA: A Decentralized-TDMA - With Link Quality Estimation for WSNs.
Olaf Landsiedel, Thomas Petig, Elad Michael Schiller
2016Flocking with Oblivious Robots.
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
2016Global Versus Local Computations: Fast Computing with Identifiers (Short Paper).
Mikaël Rabie
2016Infinite Unlimited Churn (Short Paper).
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016Leader Election in Rings with Bounded Multiplicity (Short Paper).
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
2016Making Local Algorithms Wait-Free: The Case of Ring Coloring.
Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
2016Meta-algorithm to Choose a Good On-Line Prediction (Short Paper).
Alexandre Dambreville, Joanna Tomasik, Johanne Cohen
2016Near-Optimal Self-stabilising Counting and Firing Squads.
Christoph Lenzen, Joel Rybicki
2016On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols.
Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk
2016On-Line Path Computation and Function Placement in SDNs.
Guy Even, Moti Medina, Boaz Patt-Shamir
2016Packet Efficient Implementation of the Omega Failure Detector.
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016Perfect Failure Detection with Very Few Bits.
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
2016Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space.
Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
2016Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper).
Mohammed Haddad, Colette Johnen, Sven Köhler
2016Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper).
Quentin Bramas, Sébastien Tixeuil
2016Robust Multi-agent Optimization: Coping with Byzantine Agents with Input Redundancy.
Lili Su, Nitin H. Vaidya
2016Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers.
Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
2016Self-stabilizing Byzantine Clock Synchronization with Optimal Precision.
Pankaj Khanchandani, Christoph Lenzen
2016Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine.
Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, Leonid Yankulin
2016Self-stabilizing Metric Graphs.
Robert Gmyr, Jonas Lefèvre, Christian Scheideler
2016Self-stabilizing Robots in Highly Dynamic Environments.
Marjorie Bournat, Ajoy K. Datta, Swan Dubois
2016Snap-Stabilizing PIF on Arbitrary Connected Networks in Message Passing Model.
Florence Levé, Khaled Mohamed, Vincent Villain
2016Snap-Stabilizing Tasks in Anonymous Networks.
Emmanuel Godard
2016Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Borzoo Bonakdarpour, Franck Petit
2016Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm.
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper).
Lucas Perronne, Sara Bouchenak
2016Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model.
Nayuta Yanagisawa