 | 2012 |
|---|
| 25 |       | Damien Imbs,
Michel Raynal:
Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register.
AINA 2012: 326-330 |
| 24 | | Tyler Crain,
Damien Imbs,
Michel Raynal:
Towards a Universal Construction for Transaction-Based Multiprocess Programs.
ICDCN 2012: 61-75 |
| 23 | | Armando Castañeda,
Damien Imbs,
Sergio Rajsbaum,
Michel Raynal:
Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks.
LATIN 2012: 145-156 |
| 22 | | Damien Imbs,
Michel Raynal:
Help when needed, but no more: Efficient read/write partial snapshot.
J. Parallel Distrib. Comput. 72(1): 1-12 (2012) |
| 2011 |
|---|
| 21 | | Tyler Crain,
Damien Imbs,
Michel Raynal:
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible.
ICA3PP (1) 2011: 244-257 |
| 20 | | Damien Imbs,
Michel Raynal:
A Simple Snapshot Algorithm for Multicore Systems.
LADC 2011: 17-24 |
| 19 | | Damien Imbs,
Sergio Rajsbaum,
Michel Raynal:
The universe of symmetry breaking tasks.
PODC 2011: 287-288 |
| 18 | | Damien Imbs,
Sergio Rajsbaum,
Michel Raynal:
The Universe of Symmetry Breaking Tasks.
SIROCCO 2011: 66-77 |
| 17 | | Tyler Crain,
Damien Imbs,
Michel Raynal:
Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible.
SPAA 2011: 315-316 |
| 16 | | Damien Imbs,
Michel Raynal:
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication.
SSS 2011: 268-282 |
| 15 | | Sergio Arévalo,
Antonio Fernández Anta,
Damien Imbs,
Ernesto Jiménez,
Michel Raynal:
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus)
CoRR abs/1110.1842: (2011) |
| 14 | | Damien Imbs,
Michel Raynal:
A liveness condition for concurrent objects: x-wait-freedom.
Concurrency and Computation: Practice and Experience 23(17): 2154-2166 (2011) |
| 13 | | Damien Imbs,
Michel Raynal:
Software transactional memories: an approach for multicore programming.
The Journal of Supercomputing 57(2): 203-215 (2011) |
| 2010 |
|---|
| 12 | | Damien Imbs,
Michel Raynal:
The x-Wait-Freedom Progress Condition.
Euro-Par (1) 2010: 584-595 |
| 11 | | Damien Imbs,
Michel Raynal:
The multiplicative power of consensus numbers.
PODC 2010: 26-35 |
| 10 | | Damien Imbs,
Michel Raynal,
Gadi Taubenfeld:
On asymmetric progress conditions.
PODC 2010: 55-64 |
| 9 | | Damien Imbs,
Michel Raynal:
On Adaptive Renaming under Eventually Limited Contention.
SSS 2010: 377-387 |
| 2009 |
|---|
| 8 | | Damien Imbs,
Michel Raynal:
Help When Needed, But No More: Efficient Read/Write Partial Snapshot.
DISC 2009: 142-156 |
| 7 | | Damien Imbs,
Michel Raynal:
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.
ICDCN 2009: 67-78 |
| 6 | | Damien Imbs,
José Ramón González de Mendívil,
Michel Raynal:
Brief announcement: virtual world consistency: a new condition for STM systems.
PODC 2009: 280-281 |
| 5 | | Damien Imbs,
Michel Raynal:
Software Transactional Memories: An Approach for Multicore Programming.
PaCT 2009: 26-40 |
| 4 | | Damien Imbs,
Michel Raynal:
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition.
SIROCCO 2009: 266-280 |
| 3 | | Damien Imbs,
Michel Raynal:
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation.
SSS 2009: 369-383 |
| 2 | | Damien Imbs,
Michel Raynal:
A note on atomicity: Boosting Test&Set to solve consensus.
Inf. Process. Lett. 109(12): 589-591 (2009) |
| 2008 |
|---|
| 1 | | Damien Imbs,
Michel Raynal:
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.
OPODIS 2008: 226-245 |
Data released under the ODC-BY 1.0 license — See also our legal information page