Search - Archive ouverte HAL Access content directly

Filter your results

48 Results
Image document

Visiting Gafni's Reduction Land: from the BG Simulation to the Extended BG Simulation

Damien Imbs , Michel Raynal
[Research Report] PI 1931, 2009, pp.12
Reports inria-00389682v1

On Asymmetric Progress Conditions

Damien Imbs , Michel Raynal , Gadi Taubenfeld
29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. pp.55-64
Conference papers inria-00543131v1
Image document

On Asymmetric Progress Conditions

Damien Imbs , Michel Raynal , Gadi Taubenfeld
[Research Report] PI-1952, 2010, pp.15
Reports inria-00486977v1
Image document

Calculabilité et conditions de progression des objets partagés en présence de défaillances

Damien Imbs
Calcul parallèle, distribué et partagé [cs.DC]. Université Rennes 1, 2012. Français. ⟨NNT : ⟩
Theses tel-00722855v1
Image document

A Lock-based Protocol for Software Transactional Memory

Damien Imbs , Michel Raynal
[Research Report] PI 1893, 2008, pp.26
Reports inria-00277378v1
Image document

Generalized Symmetry Breaking Tasks

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

On Adaptive Renaming under Eventually Limited Contention

Damien Imbs , Michel Raynal
Proc. 12th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), 2010, New York, United States. pp.377-387
Conference papers inria-00543135v1
Image document

A Simple Snapshot Algorithm for Multicore Systems

Damien Imbs , Michel Raynal
[Research Report] PI 1955, 2010
Reports inria-00505233v1
Image document

Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

Damien Imbs , Michel Raynal
[Research Report] PI 1894, 2008, pp.20
Reports inria-00281550v1

Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible

Tyler Crain , Damien Imbs , Michel Raynal
11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11), 2011, Melbourne, Australia. pp.244-257
Conference papers hal-00646902v1

Software transactional memories: an approach for multicore programming

Damien Imbs , Michel Raynal
Journal of Supercomputing, 2011, 57 (2), pp.203-215
Journal articles hal-00646909v1

Help when needed, but no more: Efficient read/write partial snapshot

Damien Imbs , Michel Raynal
Journal of Parallel and Distributed Computing, 2012, 72 (1), pp.1-12. ⟨10.1016/j.jpdc.2011.08.005⟩
Journal articles istex hal-00646906v1

Which Broadcast Abstraction Captures $k$-Set Agreement?

Damien Imbs , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
2017
Preprints, Working Papers, ... hal-01660664v1
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
Image document

Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)

Damien Imbs , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017
Reports hal-01476201v1
Image document

Which Broadcast Abstraction Captures k-Set Agreement?

Damien Imbs , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩
Conference papers hal-01787801v1
Image document

The x-Wait-freedom Progress Condition

Damien Imbs , Michel Raynal
[Research Report] PI 1944, 2010, pp.11
Reports inria-00454386v1

Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation

Damien Imbs , Michel Raynal
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, lyon, France. ⟨10.1007/978-3-642-05118-0_26⟩
Conference papers inria-00440398v1
Image document

From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems

Emmanuel Godard , Damien Imbs , Michel Raynal , Gadi Taubenfeld
PODC '20 - ACM 39th Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, Italy. pp.41-50, ⟨10.1145/3382734.3405727⟩
Conference papers hal-03148627v1
Image document

Read invisibility, virtual world consistency and permissiveness are compatible

Tyler Crain , Damien Imbs , Michel Raynal
[Research Report] PI-1958, 2010, pp.21
Reports inria-00533620v1
Image document

The Multiplicative Power of Consensus Numbers

Damien Imbs , Michel Raynal
[Research Report] PI 1949, 2010, pp.17
Reports inria-00454399v2
Image document

The Universe of Symmetry Breaking Tasks

Damien Imbs , Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1965, 2011, pp.16
Reports inria-00560453v1

A Simple Snapshot Algorithm for Multicore Systems

Damien Imbs , Michel Raynal
5th Latin-American Symposium on Dependable Computing (LADC'11), 2011, São José dos Campos, Brazil. pp.17-24
Conference papers hal-00646903v1

Towards a universal construction for transaction-based multiprocess programs

Tyler Crain , Damien Imbs , Michel Raynal
13th International Conference on Distributed Computing and Networking (ICDCN'12), 2012, Hong Kong, Hong Kong SAR China
Conference papers hal-00646911v1
Image document

Enriching the reduction map of sub-consensus tasks

Armando Castañeda , Damien Imbs , Sergio Rajsbaum , Michel Raynal
[Research Report] PI-1976, 2011, pp.14
Reports inria-00591526v1

Help when needed, but no more: Efficient Read/Write Partial Snapshot

Damien Imbs , Michel Raynal
23rd International Symposium on Distributed Computing (DISC'09), Sep 2009, Elche, Spain. ⟨10.1007/978-3-642-04355-0_16⟩
Conference papers istex inria-00440392v1

Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

Damien Imbs , Michel Raynal
International Conference on Distributed Computing and Networking (ICDCN'09), Jan 2009, Hyderabad, India. ⟨10.1007/978-3-540-92295-7_11⟩
Conference papers istex inria-00440361v1
Image document

Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits

Damien Imbs , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
[Research Report] LIF, Université Aix-Marseille; LINA-University of Nantes; IMDEA Software Institute; Institut Universitaire de France; IRISA, Université de Rennes. 2017
Reports hal-01540010v1
Image document

The weakest failure detector to implement a register in asynchronous systems with hybrid communication

Damien Imbs , Michel Raynal
[Research Report] PI-1972, 2011, pp.11
Reports inria-00583155v1

The x-Wait-freedom Progress Condition

Damien Imbs , Michel Raynal
Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10), 2010, Ischia - Naples, Italy. pp.584-595
Conference papers inria-00543134v1