|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 55 occurrences of 38 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Damien Imbs, Michel Raynal |
Help when needed, but no more: Efficient read/write partial snapshot.  |
J. Parallel Distrib. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Crain, Damien Imbs, Michel Raynal |
Towards a Universal Construction for Transaction-Based Multiprocess Programs. |
ICDCN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. |
AINA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
A liveness condition for concurrent objects: x-wait-freedom. |
Concurrency and Computation: Practice and Experience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
Software transactional memories: an approach for multicore programming. |
The Journal of Supercomputing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
A Simple Snapshot Algorithm for Multicore Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
The Universe of Symmetry Breaking Tasks. |
SIROCCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Crain, Damien Imbs, Michel Raynal |
Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. |
SPAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Crain, Damien Imbs, Michel Raynal |
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. |
ICA3PP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
The universe of symmetry breaking tasks. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
The x-Wait-Freedom Progress Condition. |
Euro-Par |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
On asymmetric progress conditions. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number |
| 1 | Damien Imbs, Michel Raynal |
The multiplicative power of consensus numbers. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure |
| 1 | Damien Imbs, Michel Raynal |
On Adaptive Renaming under Eventually Limited Contention. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
A note on atomicity: Boosting Test&Set to solve consensus. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
Software Transactional Memories: An Approach for Multicore Programming. |
PaCT |
2009 |
DBLP DOI BibTeX RDF |
Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state |
| 1 | Damien Imbs, Michel Raynal |
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. |
SIROCCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system |
| 1 | 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 |
DBLP DOI BibTeX RDF |
concurrency, transactional memory |
| 1 | Damien Imbs, Michel Raynal |
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure |
| 1 | Damien Imbs, Michel Raynal |
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. |
OPODIS |
2008 |
DBLP DOI BibTeX RDF |
Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Progressiveness, Shared object, Opacity, Atomic operation, Consistent global state |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")