Damien Imbs
Damien Imbs
Aix-Marseille University, France
Adresse e-mail validée de lis-lab.fr
Titre
Citée par
Citée par
Année
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
D Imbs, M Raynal
Theoretical Computer Science, 2012
492012
Brief announcement: virtual world consistency: a new condition for STM systems
D Imbs, JR de Mendivil, M Raynal
Proceedings of the 28th ACM symposium on Principles of distributed computing …, 2009
302009
On asymmetric progress conditions
D Imbs, M Raynal, G Taubenfeld
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
272010
The universe of symmetry breaking tasks
D Imbs, S Rajsbaum, M Raynal
International Colloquium on Structural Information and Communication …, 2011
252011
Failure detectors in homonymous distributed systems (with an application to consensus)
S Arévalo, AF Anta, D Imbs, E Jiménez, M Raynal
Journal of Parallel and Distributed Computing 83, 83-95, 2015
242015
Visiting gafni’s reduction land: From the bg simulation to the extended bg simulation
D Imbs, M Raynal
Symposium on Self-Stabilizing Systems, 369-383, 2009
242009
Towards a universal construction for transaction-based multiprocess programs
T Crain, D Imbs, M Raynal
Theoretical Computer Science 496, 154-169, 2013
232013
The multiplicative power of consensus numbers
D Imbs, M Raynal
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
222010
A lock-based STM protocol that satisfies opacity and progressiveness
D Imbs, M Raynal
Principles of Distributed Systems, 226-245, 2008
222008
Help when needed, but no more: efficient read/write partial snapshot
D Imbs, M Raynal
Journal of Parallel and Distributed Computing 72 (1), 1-12, 2012
202012
Renaming is weaker than set agreement but for perfect renaming: A map of sub-consensus tasks
A Castañeda, D Imbs, S Rajsbaum, M Raynal
Latin American Symposium on Theoretical Informatics, 145-156, 2012
172012
Help when needed, but no more: efficient read/write partial snapshot
D Imbs, M Raynal
International Symposium on Distributed Computing, 142-156, 2009
172009
A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition
D Imbs, M Raynal
International Colloquium on Structural Information and Communication …, 2009
172009
Read invisibility, virtual world consistency and probabilistic permissiveness are compatible
T Crain, D Imbs, M Raynal
Algorithms and Architectures for Parallel Processing, 244-257, 2011
162011
On the consistency conditions of transactional memories
D Imbs, JRG de Mendivil Moreno, M Raynal
162008
Software transactional memories: an approach for multicore programming
D Imbs, M Raynal
The Journal of Supercomputing 57 (2), 203-215, 2011
122011
Generalized symmetry breaking tasks and nondeterminism in concurrent objects
A Castañeda, D Imbs, S Rajsbaum, M Raynal
SIAM Journal on Computing 45 (2), 379-414, 2016
112016
Provable STM Properties: Leveraging clock and locks to favor commit and early abort
D Imbs, M Raynal
International Conference on Distributed Computing and Networking, 67-78, 2009
112009
Optimal memory-anonymous symmetric deadlock-free mutual exclusion
Z Aghazadeh, D Imbs, M Raynal, G Taubenfeld, P Woelfel
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
102019
Set-constrained delivery broadcast: definition, abstraction power, and computability limits
D Imbs, A Mostéfaoui, M Perrin, M Raynal
Proceedings of the 19th International Conference on Distributed Computing …, 2018
102018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20