Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

114 résultats
Image document

D.1.3 – Protocols for emergent localities

Davide Frey , Achour Mostefaoui , Matthieu Perrin , Anne-Marie Kermarrec , Christopher Maddock , et al.
[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016
Rapport hal-01343348v1
Image document

Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
[Research Report] PI 1758, 2005, pp.24
Rapport inria-00000604v1
Image document

Exploring Gafni's reduction land: from $\Omega^k$ to wait-free adaptive $(2p-\lceil\frac{p}{k}\rceil)$-renaming via $k$-set agreement

Achour Mostefaoui , Michel Raynal , Corentin Travers
[Research Report] PI 1794, 2006, pp.19
Rapport inria-00001189v1
Image document

Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime

Vincent Gramoli , Anne-Marie Kermarrec , Achour Mostefaoui , Michel Raynal , Bruno Sericola
[Research Report] PI 1799, 2006, pp.12
Rapport inria-00001261v2
Image document

A O(log2n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure

Jean-Michel Hélary , Achour Mostefaoui
[Research Report] RR-2041, INRIA. 1993
Rapport inria-00074630v1

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

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
SIAM Journal on Computing, 2008, 38 (4), pp.1574-1601
Article dans une revue hal-00432973v1
Image document

A New Insight into Local Coin-Based Randomized Consensus

Achour Mostefaoui , Matthieu Perrin , Michel Raynal
PRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2019, Kyoto, Japan. pp.207-216, ⟨10.1109/PRDC47002.2019.00051⟩
Communication dans un congrès hal-02484620v1
Image document

Extending the Wait-free Hierarchy to Multi-Threaded Systems

Matthieu Perrin , Achour Mostefaoui , Grégoire Bonin
PODC '20: ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, France. pp.21-30, ⟨10.1145/3382734.3405723⟩
Communication dans un congrès hal-02941703v1
Image document

Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems

Achour Mostefaoui , Michel Raynal , Matthieu Roy
Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩
Article dans une revue hal-01784210v1
Image document

Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems

Brice Nédelec , Pascal Molli , Achour Mostefaoui
37th IEEE International Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador de Bahia, Brazil
Communication dans un congrès hal-01778901v2
Image document

Large-scale networked systems: from anarchy to geometric self-structuring

Anne-Marie Kermarrec , Achour Mostefaoui , Michel Raynal , Gilles Trédan , Aline Viana
[Research Report] PI 1876, 2007, pp.21
Rapport inria-00196714v2
Image document

Concurrency Effects Over Variable-size Identifiers in Distributed Collaborative Editing

Brice Nédelec , Pascal Molli , Achour Mostefaoui , Emmanuel Desmontils
Document Changes: Modeling, Detection, Storage and Visualization, Sep 2013, Florence, Italy. pp.0--7
Communication dans un congrès hal-00921655v1
Image document

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Matthieu Perrin , Claude Jard , Achour Mostefaoui
NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco
Communication dans un congrès hal-01152761v1
Image document

On Composition and Implementation of Sequential Consistency

Matthieu Perrin , Matoula Petrolia , Achour Mostefaoui , Claude Jard
30th International Symposium on Distributed Computing, Sep 2016, Paris, France
Communication dans un congrès hal-01347069v2

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
Article dans une revue inria-00338071v1
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
Rapport hal-01476201v1

Which Broadcast Abstraction Captures $k$-Set Agreement?

Damien Imbs , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
2017
Pré-publication, Document de travail hal-01660664v1
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
Rapport inria-00294706v1

From Renaming to Set Agreement

Achour Mostefaoui , Michel Raynal , Corentin Travers
14th International Colloquium on Structural Information and Communication Complexity, Jun 2007, Castiglioncello, Italy. pp.66-80
Communication dans un congrès inria-00338090v1
Image document

Causal Broadcast: How to Forget?

Brice Nédelec , Pascal Molli , Achour Mostefaoui
The 22nd International Conference on Principles of Distributed Systems (OPODIS), Dec 2018, Hong Kong, China
Communication dans un congrès hal-01923830v2
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⟩
Communication dans un congrès hal-01787801v1
Image document

Efficiently Summarizing Distributed Data Streams over Sliding Windows

Nicolò Rivetti , Yann Busnel , Achour Mostefaoui
[Research Report] LINA-University of Nantes; Centre de Recherche en Économie et Statistique; Inria Rennes Bretagne Atlantique. 2015, 19 p
Rapport hal-01073877v3
Image document

Signature-Free Asynchronous Byzantine Consensus with $t < n/3$ and $O(n^2)$ Messages

Achour Mostefaoui , Moumen Hamouna , Michel Raynal
ACM PODC, Jul 2014, Paris, France. pp.2-9
Communication dans un congrès hal-00944019v2
Image document

Résumer efficacement des flux de données massifs en fenêtre glissante

Nicoló Rivetti , Yann Busnel , Achour Mostefaoui
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Communication dans un congrès hal-01303882v1
Image document

Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value

Achour Mostefaoui , Michel Raynal
[Research Report] PI-1953, 2010, pp.15
Rapport inria-00495653v1
Image document

A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus

Olivier Baldellon , Achour Mostefaoui , Michel Raynal
[Research Report] PI 1954, 2010, pp.8
Rapport inria-00521646v1

Towards a Computing Model for Open Distributed Systems

Achour Mostefaoui
Parallel Computing Technologies, 9th International Conference, Sep 2007, Pereslavl-Zalessky, Russia. pp.74-79
Communication dans un congrès inria-00338075v1

From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
Journal of Parallel and Distributed Computing, 2007, 67 (1), pp.125-129
Article dans une revue inria-00338081v1

From adaptive renaming to set agreement

Eli Gafni , Achour Mostefaoui , Michel Raynal , Corentin Travers
Theoretical Computer Science, 2009, 410 (14), pp.1328-1335
Article dans une revue hal-00432970v1

On the computability power and the robustness of set agreement-oriented failure detector classes

Achour Mostefaoui , Sergio Rajsbaum , Michel Raynal , Corentin Travers
Distributed Computing, 2008, 21 (3), pp.201-222
Article dans une revue hal-00432977v1