Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

14 Results
Author: personID (integer) : 996099

Asynchronous Consensus with Bounded Memory.

Carole Delporte-Gallet , Hugues Fauconnier
Lecture Notes in Computer Science, 2016, Networked Systems, 9944, pp.15. ⟨10.1007/978-3-319-46140-3_12⟩
Journal articles hal-01416509v1

Special Issue on NETYS 2016, Computing (journal)

Carole Delporte-Gallet , Parosh Aziz Abdulla
Springer, 2019
Books hal-01955924v1
Image document

A Characterization of t-Resilient Colorless Task Anonymous Solvability

Carole Delporte-Gallet , Hugues Fauconnier , Sergio Rajsbaum , Nayuta Yanagisawa
SIROCCO 2018 - 25th International Colloquium Structural Information and Communication Complexity, Jun 2018, Ma'ale HaHamisha, Israel. ⟨10.1007/978-3-030-01325-7_18⟩
Conference papers hal-01955837v1

Towards Synthesis of Distributed Algorithms with {SMT} Solvers

Carole Delporte-Gallet , Hugues Fauconnier , Yan Jurski , François Laroussinie , Arnaud Sangnier et al.
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
Conference papers hal-02434364v1

Brief Announcement: Distributed Computing in the Asynchronous {LOCAL} Model

Carole Delporte-Gallet , Hugues Fauconnier , Pierre Fraigniaud , Mikael Rabie
SSS 2019 - 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_9⟩
Conference papers hal-02436289v1

t-Resilient Immediate Snapshot Is Impossible.

Carole Delporte-Gallet , Hugues Fauconnier , Michel Raynal , Sergio Rajsbaum
SIROCCO, Jul 2016, Helsiinki, France. pp.15
Conference papers hal-01416515v1

On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion

Carole Delporte-Gallet , Hugues Fauconnier , Michel Raynal
AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. ⟨10.1007/978-3-030-15032-7_24⟩
Conference papers hal-02433606v1

Making Local Algorithms Wait-Free: The Case of Ring Coloring

Armando Castañeda , Carole Delporte-Gallet , Hugues Fauconnier , Sergio Rajsbaum , Michel Raynal et al.
SSS, Nov 2016, Lyon, France. pp.16, ⟨10.1007/978-3-319-49259-9_9⟩
Conference papers hal-01416522v1

Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems.

Carole Delporte-Gallet , Hugues Fauconnier , Michel Raynal , Sergio Rajsbaum
Algorithms and Architectures for Parallel Processing ( ICA3PP), Dec 2016, Granada, France. pp.15, ⟨10.1007/978-3-319-49583-5_26⟩
Conference papers hal-01416498v1
Image document

The Assignment Problem

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Giuliano Losa
International Conference on Distributed Computing and Networking, {ICDCN}, 2018, Varanasi, India
Conference papers hal-01955902v1

Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems

Carole Delporte-Gallet , Hugues Fauconnier , Sergio Rajsbaum , Michel Raynal
IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (9), pp.2033-2045. ⟨10.1109/TPDS.2018.2809551⟩
Journal articles hal-01955906v1

Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers.

Carole Delporte-Gallet , Parosh Aziz Abdulla
9944, 2016, LNCS
Books hal-01416966v1

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Conference papers hal-01416981v1

Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector

Carole Delporte-Gallet , Hugues Fauconnier , Michel Raynal
PaCT 2019 - 15th International Conference on Parallel Computing Technologies, Aug 2019, Almaty, Kazakhstan
Conference papers hal-02434365v1