Filtrer vos résultats
- 21
- 11
- 15
- 7
- 4
- 4
- 1
- 1
- 4
- 32
- 4
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 31
- 1
- 22
- 7
- 7
- 7
- 6
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 9
- 7
- 6
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
triés par
|
|
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Jul 2015, Kyoto, Japan. pp.528-539, ⟨10.1007/978-3-662-47666-6_42⟩
Communication dans un congrès
hal-01107422v2
|
||
|
Computing Outside the Box: Average Consensus over Dynamic Networks1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Mar 2022, Roma, Italy. ⟨10.4230/LIPIcs.SAND.2022.10⟩
Communication dans un congrès
hal-03717753v1
|
||
|
Synchronization Modulo k in Dynamic NetworksSSS 2021 - International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual Event, France. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
Communication dans un congrès
hal-03451085v1
|
||
|
Average Consensus: A Little Learning Goes A Long Way2020
Pré-publication, Document de travail
hal-03044169v1
|
||
|
A Reduction Theorem for the Verification of Round-Based Distributed AlgorithmsReachability Problems 2009, Sep 2009, Palaiseau, France. pp.93-106, ⟨10.1007/978-3-642-04420-5_10⟩
Communication dans un congrès
inria-00408908v1
|
||
Formal Verification of Distributed AlgorithmsBernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. Dagstuhl, 3, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩
Ouvrages
hal-00904805v1
|
|||
|
Multidimensional Asymptotic Consensus in Dynamic Networks[Research Report] Arxiv. 2016
Rapport
hal-01789019v1
|
||
|
Self-Stabilizing Clock Synchronization in Dynamic NetworksOPODIS 2022 - 26th International Conference on Principles of Distributed Systems, Etienne Rivière, Dec 2022, Brussels, Belgium. pp.28:1-28:17, ⟨10.4230/LIPICS.OPODIS.2022.28⟩
Communication dans un congrès
hal-04287797v1
|
||
|
Formal Verification of Consensus Algorithms in a Proof Assistant2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
Communication dans un congrès
inria-00539899v1
|
||
|
On the Formal Specification of Group Membership Services[Research Report] RR-2695, INRIA. 1995
Rapport
inria-00073995v1
|
||
|
The firing squad problem revisitedTheoretical Computer Science, 2019, 793, pp.100-112. ⟨10.1016/j.tcs.2019.07.023⟩
Article dans une revue
hal-02389516v1
|
||
|
Geometric bounds for convergence rates of averaging algorithmsInformation and Computation, 2022, 285, pp.104909. ⟨10.1016/j.ic.2022.104909⟩
Article dans une revue
hal-03717768v1
|
||
|
Geometric Bounds for Convergence Rates of Averaging Algorithms2020
Pré-publication, Document de travail
hal-03044154v1
|
||
|
New transience bounds for max-plus linear systemsDiscrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩
Article dans une revue
hal-01738257v1
|
||
|
Diffusive clock synchronization in highly dynamic networks49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩
Communication dans un congrès
hal-01231513v1
|
||
|
Formal Verification of Consensus Algorithms Tolerating Malicious Faults13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.120-134, ⟨10.1007/978-3-642-24550-3_11⟩
Communication dans un congrès
hal-00639048v1
|
||
|
An Overview of Transience Bounds in Max-Plus AlgebraG. L. Litvinov; S. N. Sergeev. Tropical and Idempotent Mathematics and Applications, AMS, pp.277-289, 2014, Contemporary Mathematics, 978-0-8218-9496-5 (print); 978-1-4704-1684-3 (online). ⟨10.1090/conm/616/12306⟩
Chapitre d'ouvrage
hal-00993630v1
|
||
|
New transience bounds for long walks in weighted digraphsEurocomb 2013, Sep 2013, Pise, Italy. pp.623-624, ⟨10.1007/978-88-7642-475-5_103⟩
Communication dans un congrès
hal-00993814v1
|
||
|
Validity Conditions in Agreement Problemsand Time Complexity[Research Report] RR-4526, INRIA. 2002
Rapport
inria-00072062v1
|
||
|
Randomization and Quantization for Average Consensus2018 IEEE Conference on Decision and Control (CDC), Dec 2018, Miami Beach, United States. pp.3716-3721, ⟨10.1109/CDC.2018.8619817⟩
Communication dans un congrès
hal-02389576v1
|
||
|
Fast, Robust, Quantizable Approximate Consensus *43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.137⟩
Communication dans un congrès
hal-01395576v1
|
||
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
|
|||
|
General Transience Bounds in Tropical Linear Algebra via Nachtigall DecompositionTROPICAL-12 - International Workshop Tropical and Idempotent Mathematics, Aug 2012, Moscou, Russia. pp.46-52
Communication dans un congrès
hal-00993902v1
|
||
|
Synchronization modulo P in dynamic networksTheoretical Computer Science, 2023, 942, pp.200-212. ⟨10.1016/J.TCS.2022.11.033⟩
Article dans une revue
hal-04289753v1
|
||
|
On the Impossibility of Group Membership[Research Report] RR-2782, INRIA. 1996
Rapport
inria-00073910v1
|
||
A Note on Linearizability and the Global Time AxiomParallel Processing Letters, 2003, 13, pp.19--24
Article dans une revue
hal-00307578v1
|
|||
|
Know your audience: Communication model and computability in anonymous networks2023
Pré-publication, Document de travail
hal-04334359v1
|
||
|
Transience Bounds for Distributed AlgorithmsFORMATS 2013 - 11th International Conference Formal Modeling and Analysis of Timed Systems, Aug 2013, Buenos Aires, Argentina. pp.77-90, ⟨10.1007/978-3-642-40229-6_6⟩
Communication dans un congrès
hal-00993785v1
|
||
|
MinMax algorithms for stabilizing consensusDistributed Computing, 2021, 34 (3), pp.195-206. ⟨10.1007/s00446-021-00392-9⟩
Article dans une revue
hal-03283270v1
|
||
|
Synchronisation dans les Réseaux DynamiquesALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Communication dans un congrès
hal-02122729v1
|
- 1
- 2