Filtrer vos résultats
- 84
- 20
- 35
- 27
- 25
- 8
- 5
- 2
- 1
- 1
- 21
- 1
- 92
- 7
- 7
- 3
- 3
- 783
- 660
- 606
- 588
- 519
- 477
- 429
- 389
- 366
- 323
- 315
- 315
- 311
- 307
- 303
- 293
- 290
- 280
- 267
- 258
- 250
- 225
- 219
- 218
- 217
- 216
- 215
- 214
- 210
- 208
- 208
- 205
- 202
- 200
- 196
- 196
- 195
- 192
- 191
- 190
- 190
- 188
- 183
- 180
- 178
- 178
- 176
- 174
- 172
- 170
- 170
- 165
- 164
- 162
- 160
- 160
- 159
- 157
- 157
- 156
- 154
- 153
- 152
- 152
- 150
- 150
- 150
- 149
- 149
- 148
- 147
- 147
- 145
- 142
- 142
- 141
- 140
- 140
- 140
- 139
- 138
- 138
- 137
- 137
- 137
- 136
- 136
- 135
- 135
- 135
- 135
- 134
- 133
- 131
- 131
- 131
- 131
- 131
- 130
- 128
- 1
- 9
- 3
- 3
- 1
- 4
- 4
- 4
- 11
- 9
- 8
- 6
- 3
- 8
- 5
- 4
- 6
- 3
- 7
- 2
- 2
- 1
- 90
- 14
- 52
- 40
- 10
- 10
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 17
- 11
- 9
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
The Committee Decision Problem[Research Report] PI 1745, 2005, pp.17
Rapport
inria-00000290v1
|
||
|
Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine ProcessesIEEE Transactions on Parallel and Distributed Systems, 2016, 27 (4), pp.1-24. ⟨10.1109/TPDS.2015.2427797⟩
Article dans une revue
hal-01176113v1
|
||
|
Minimal Synchrony for Byzantine ConsensusProceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), Jul 2015, Donostia-San Sebastián, Spain. pp.461-470, ⟨10.1145/2767386.2767418⟩
Communication dans un congrès
hal-01178651v1
|
||
|
Minimal Synchrony for Asynchronous Byzantine Consensus2015
Pré-publication, Document de travail
hal-01103466v1
|
||
|
Narrowing power vs efficiency in synchronous set agreement[Research Report] PI 1836, 2007, pp.13
Rapport
inria-00139286v1
|
||
|
Synchronization is coming back, but is it the same?[Research Report] PI 1875, 2007, pp.16
Rapport
inria-00194744v3
|
||
|
Solving Consensus in Opportunistic Networks2015 International Conference on Distributed Computing and Networking, Jan 2015, Goa, India. pp.1:1-1:10, ⟨10.1145/2684464.2684479⟩
Communication dans un congrès
hal-01129406v1
|
||
|
Cliff-Edge Consensus: Agreeing on the Precipice12th International Conference on Parallel Computing Technologies (PaCT-2013), Sep 2013, St. Petersburg, Russia. pp.51-64, ⟨10.1007/978-3-642-39958-9_5⟩
Communication dans un congrès
hal-00876054v1
|
||
|
Détecteur de défaillances minimal pour le consensus adapté aux réseaux inconnusALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01144111v1
|
||
|
PSYNC: A partially synchronous language for fault-tolerant distributed algorithmsPOPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩
Communication dans un congrès
hal-01251199v1
|
||
|
Problème du Consensus dans le Modèle HomonymeCalcul parallèle, distribué et partagé [cs.DC]. Université Paris-Diderot - Paris VII, 2013. Français. ⟨NNT : ⟩
Thèse
tel-00925941v1
|
||
Formal Verification of a Consensus Algorithm in the Heard-Of ModelInternational Journal of Software and Informatics (IJSI), 2009, Formal Methods of Program Development, 3 (2-3), pp.273-303
Article dans une revue
inria-00426388v1
|
|||
|
Send/Receive Patterns versus Read/Write Patterns: the MB-Broadcast Abstraction (Extended Version)2023
Pré-publication, Document de travail
hal-04087447v1
|
||
|
Signature-free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n 2 ) Messages, and Constant Time *Acta Informatica, 2016
Article dans une revue
hal-03427171v1
|
||
|
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided TourInternational Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Communication dans un congrès
hal-01559723v1
|
||
|
Coordination in networks of linear impulsive agentsIEEE Transactions on Automatic Control, 2016, 61 (9), pp.2402-2415. ⟨10.1109/TAC.2015.2492058⟩
Article dans une revue
hal-01096071v2
|
||
|
The notion of Timed Registers and its application to Indulgent Synchronization[Research Report] PI 1820, 2006, pp.17
Rapport
inria-00108970v1
|
||
|
Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n 2 ) Messages, O(1) Time, and no Signature2015
Pré-publication, Document de travail
hal-01102496v1
|
||
Distributed UniversalityPrinciples of Distributed Systems, 2014, Cortina d’Ampezzo, Italy. pp.469-484, ⟨10.1007/978-3-319-14472-6_31⟩
Communication dans un congrès
hal-01097410v1
|
|||
|
The Renaming Problem in Shared Memory Systems: an Introduction[Research Report] PI-1960, 2010, pp.29
Rapport
inria-00537914v1
|
||
|
Average long-lived binary consensus: Quantifying the stabilizing role played by memoryTheoretical Computer Science, 2010, 411 (14-15), pp.1558-1566. ⟨10.1016/j.tcs.2010.01.005⟩
Article dans une revue
hal-00458941v1
|
||
|
Argumentation et négociation pour le choix d'emballages alimentaires biodégradablesRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4/5), pp.515-537. ⟨10.3166/ria.27.515-537⟩
Article dans une revue
istex
lirmm-00830429v1
|
||
|
Consensus is Easier Than Reliable Broadcast2008
Autre publication scientifique
hal-00325470v1
|
||
Synchronous t-Resilient Consensus in Arbitrary Graphs21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Communication dans un congrès
hal-02433524v1
|
|||
|
Asynchronous Consensus with Bounded Memory.Lecture Notes in Computer Science, 2016, Networked Systems, 9944, pp.15. ⟨10.1007/978-3-319-46140-3_12⟩
Article dans une revue
hal-01416509v1
|
||
|
Asynchronous Consensus with Bounded Memory2014
Rapport
hal-00988590v1
|
||
|
Construction collaborative de bases de connaissance et de documents pour la capitalisationManuel Zacklad, Michel Grundstein. Ingénierie et capitalisation des connaissances, Hermès Science publisher, pp.25-48, 2001, 2-7462-0234-4
Chapitre d'ouvrage
hal-00822908v1
|
||
Time-delay Tolerant Control of an Omnidirectional Multi-agent System for Transport OperationsICSTCC 2018 - 22nd International Conference on System Theory, Control and Computing, Oct 2018, Sinaia, Romania. ⟨10.1109/icstcc.2018.8540692⟩
Communication dans un congrès
hal-01969082v1
|
|||
|
Distributed privacy-preserving network size computation: A system-identification based methodCDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy
Communication dans un congrès
hal-00860025v1
|
||
|
A separation of (n -1)-consensus and n-consensus in read-write shared-memory systems2014
Rapport
hal-01023584v1
|