Search - Archive ouverte HAL Access content directly

Filter your results

77 Results
authFullName_s : Sergio Rajsbaum
Image document

The k-simultaneous consensus problem

Yehuda Afek , Eli Gafni , Sergio Rajsbaum , Michel Raynal , Corentin Travers et al.
[Research Report] PI 1920, 2009, pp.17
Reports inria-00354248v1

Asynchronous Agreement and Its Relation with Error-Correcting Codes

Achour Mostefaoui , Roy Friedman , Michel Raynal , Sergio Rajsbaum
IEEE Transactions on Computers, 2007, 56 (7), pp.865-875
Journal articles inria-00338071v1
Image document

Reliable Shared Memory Abstractions on Top of Asynchronous t-Resilient Byzantine Message-passing Systems

Damien Imbs , Sergio Rajsbaum , Michel Raynal , Julien Stainer
[Research Report] PI-2018, 2014
Reports hal-00993400v1

Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers
12th Latin American Symposium on Theoretical Informatics (LATIN), 2016, Ensenada, Mexico
Conference papers hal-01423679v1
Image document

An Introductory Tutorial to Concurrency-Related Distributed Recursion

Sergio Rajsbaum , Michel Raynal
[Research Report] PI 2006, 2013, pp.14
Reports hal-00858195v1

A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement

Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum
PODC '22: ACM Symposium on Principles of Distributed Computing, 2022, Salerno Italy, Italy. pp.460-470, ⟨10.1145/3519270.3538422⟩
Conference papers hal-03872310v1

A topological perspective on distributed network algorithms

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.
Theoretical Computer Science, 2021, 849, pp.121-137. ⟨10.1016/j.tcs.2020.10.012⟩
Journal articles hal-03100217v1
Image document

Computing in the Presence of Concurrent Solo Executions

Maurice Herlihy , Sergio Rajsbaum , Michel Raynal , Julien Stainer
[Research Report] PI-2004, 2013
Reports hal-00825619v3
Image document

The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
[Research Report] PI 1897, 2008, pp.30
Reports inria-00294706v1
Image document

Two Convergence Problems for Robots on Graphs

Armando Castañeda , Sergio Rajsbaum , Matthieu Roy
7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Conference papers hal-01386628v1

Long-Lived Tasks

Armando Castañeda , Michel Raynal , Sergio Rajsbaum
NETYS 2017 - 5th International Conference on NETworked sYStems, May 2017, Marrakech, Morocco. pp.439-454, ⟨10.1007/978-3-319-59647-1_32⟩
Conference papers hal-01660646v1
Image document

Generalized Symmetry Breaking Tasks

Armando Castañeda , Damien Imbs , Sergio Rajsbaum , Michel Raynal
2013
Preprints, Working Papers, ... hal-00862230v2

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

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers hal-01423637v1

Decentralized Asynchronous Crash-resilient Runtime Verification

Borzoo Bonakdarpour , Pierre Fraigniaud , Sergio Rajsbaum , David Rosenblueth , Corentin Travers et al.
Journal of the ACM (JACM), 2022, 69 (5), pp.1-31. ⟨10.1145/3550483⟩
Journal articles hal-03871405v1

Distributed computability: Relating k-immediate snapshot and x-set agreement

Carole Delporte , Hugues Fauconnier , Sergio Rajsbaum , Michel Raynal
Information and Computation, 2022, 285, pp.104815. ⟨10.1016/j.ic.2021.104815⟩
Journal articles hal-03920684v1

From wait-free to arbitrary concurrent solo executions in colorless distributed computing

Maurice Herlihy , Sergio Rajsbaum , Michel Raynal , Julien Stainer
Theoretical Computer Science, 2017, 683, pp.1 - 21. ⟨10.1016/j.tcs.2017.04.007⟩
Journal articles hal-01660566v1
Image document

Wait-freedom and Locality are not Incompatible (with Distributed Ring Coloring as an Example)

Armando Castañeda , Carole Delporte , Hugues Fauconnier , Sergio Rajsbaum , Michel Raynal et al.
2016
Preprints, Working Papers, ... hal-01265958v1
Image document

An Equivariance Theorem with Applications to Renaming

Armando Castaneda , Maurice Herlihy , Sergio Rajsbaum
[Research Report] PI-1975, 2011, pp.14
Reports inria-00586190v1
Image document

Power and limits of distributed computing shared memory models

Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1974, 2011, pp.15
Reports inria-00583304v1
Image document

The Renaming Problem in Shared Memory Systems: an Introduction

Armando Castañeda , Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1960, 2010, pp.29
Reports inria-00537914v1
Image document

The Iterated Restricted Immediate Snapshot Model

Corentin Travers , Sergio Rajsbaum , Michel Raynal
[Research Report] PI-2005, 2013
Reports hal-00829436v2
Image document

Linear Space Boostrap Communication Scheme

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Sergio Rajsbaum
2012
Preprints, Working Papers, ... hal-00717235v2

Linear space bootstrap communication schemes

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Sergio Rajsbaum
Theoretical Computer Science, 2015, 561, pp.122-133. ⟨10.1016/j.tcs.2014.10.013⟩
Journal articles hal-01251557v1
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

Average long-lived binary consensus: Quantifying the stabilizing role played by memory

Florent Becker , Ivan Rapaport , Sergio Rajsbaum , Éric Rémila
Theoretical Computer Science, 2010, 411 (14-15), pp.1558-1566. ⟨10.1016/j.tcs.2010.01.005⟩
Journal articles hal-00458941v1

Synchronous t-Resilient Consensus in Arbitrary Graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Conference papers hal-02433524v1
Image document

Asynchronous Coordination Under Preferences and Constraints

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy et al.
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Conference papers hal-01341710v1

Decentralized Asynchronous Crash-Resilient Runtime Verification

Pierre Fraigniaud , Borzoo Bonakdarpour , Sergio Rajsbaum , David Rosenblueth , Corentin Travers et al.
27th International Conference on Concurrency Theory (CONCUR), 2016, Québec, Canada
Conference papers hal-01423646v1

Unifying Concurrent Objects and Distributed Tasks

Armando Castañeda , Sergio Rajsbaum , Michel Raynal
Journal of the ACM (JACM), 2018, 65 (6), pp.1-42. ⟨10.1145/3266457⟩
Journal articles hal-02911674v1