Filtrer vos résultats
- 81
- 44
- 1
- 68
- 32
- 12
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 10
- 1
- 124
- 4
- 31
- 2
- 15
- 6
- 7
- 9
- 11
- 7
- 6
- 8
- 4
- 3
- 7
- 4
- 9
- 6
- 11
- 7
- 2
- 1
- 1
- 96
- 30
- 90
- 40
- 36
- 23
- 23
- 19
- 11
- 10
- 10
- 10
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 126
- 28
- 25
- 23
- 19
- 18
- 18
- 12
- 9
- 9
- 9
- 8
- 8
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
126 résultats
|
Model Checking of Distributed Algorithms using Synchronous Programs25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States
Communication dans un congrès
hal-04172396v1
|
||
|
sasa : a SimulAtor of Self-stabilizing AlgorithmsThe Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue
hal-04186596v1
|
||
Complexité certifiée d'algorithmes autostabilisants en rondes25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France
Communication dans un congrès
hal-04081085v1
|
|||
|
Eviter les collisions dans les réseaux 6TiSCHRencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CORES 2018), May 2018, Roscoff, France
Communication dans un congrès
hal-01785956v1
|
||
|
Coordination de comités instantanément stabilisante13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Communication dans un congrès
inria-00587166v1
|
||
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011
Rapport
hal-00591963v3
|
||
|
Self-Stabilizing Leader Election in Polynomial StepsSSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Communication dans un congrès
hal-00980798v4
|
||
Autour de l'autostabilisation. 2. Techniques spécialisant l'approcheRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922
Article dans une revue
hal-01009448v1
|
|||
|
Algorithme de k-partitionnement auto-stabilisant et compétitif14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.15
Communication dans un congrès
hal-00687556v1
|
||
|
Snap-Stabilization in Message-Passing SystemsJournal of Parallel and Distributed Computing, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩
Article dans une revue
hal-01154466v1
|
||
|
Weak vs. Self vs. Probabilistic StabilizationInternational Journal of Foundations of Computer Science, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩
Article dans une revue
hal-01198945v1
|
||
Self-stabilizing Synchronous Unison in Directed NetworksICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Communication dans un congrès
hal-03925405v1
|
|||
|
Communications Efficaces et Auto-Stabilisation12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19
Communication dans un congrès
hal-00479860v1
|
||
|
Concurrency in Snap-Stabilizing Local Resource AllocationJournal of Parallel and Distributed Computing, 2016
Article dans une revue
hal-01099186v8
|
||
|
SR3: secure resilient reputation-based routingWireless Networks, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩
Article dans une revue
hal-01707698v1
|
||
|
Collision Prevention in Distributed 6TiSCH NetworksIEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩
Communication dans un congrès
hal-01614643v1
|
||
|
Exploring Worst Cases of Self-stabilizing Algorithms using Simulations25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States
Communication dans un congrès
hal-04172383v1
|
||
|
Snap-Stabilizing Depth-First Search on Arbitrary NetworksThe Computer Journal, 2005, 49 (3), pp.268-280. ⟨10.1093/comjnl/bxh154⟩
Article dans une revue
hal-03244364v1
|
||
|
Élection autostabilisante en un nombre polynomial de pas de calculALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01145472v1
|
||
Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree ConstructionTheoretical Computer Science, 2023, pp.113804. ⟨10.1016/j.tcs.2023.113804⟩
Article dans une revue
hal-04031478v1
|
|||
|
Snap-Stabilizing Committee Coordination25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, May 2011, Anchorage, Alaska, United States. pp.231-242, ⟨10.1109/IPDPS.2011.31⟩
Communication dans un congrès
hal-01286781v1
|
||
|
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networksIPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Communication dans un congrès
hal-01298811v1
|
||
Self-stabilizing Systems in Spite of High DynamicsTheoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
Article dans une revue
hal-04109662v1
|
|||
|
A Framework for Certified Self-Stabilization[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2016
Rapport
hal-01272158v2
|
||
|
Élection Autostabilisante dans les Réseaux à Haute DynamicitéALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02791667v1
|
||
|
Squeezing Streams and Composition of Self-stabilizing Algorithms39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Communication dans un congrès
hal-02313746v1
|
||
|
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383351v1
|
||
|
SASA: a SimulAtor of Self-stabilizing Algorithms14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
Communication dans un congrès
hal-02521149v5
|
||
|
Optimal Torus Exploration by Oblivious RobotsNETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
Communication dans un congrès
hal-00926573v3
|
||
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious RobotsSirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩
Communication dans un congrès
istex
hal-01295189v1
|