Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

29 résultats
Page :
triés par
Image document

MADERE: Mobile Adaptive Datarate for LoRaWAN

 Anaïs Durand , Nancy El Rachkidy , Alexandre Guitton
IEEE Wireless Communications and Networking Conference, Mar 2023, Glasgow, United Kingdom
Communication dans un congrès hal-03896512v1
Image document

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?

 Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani
Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Communication dans un congrès hal-03746703v1

Reducing the Number of Messages in Self-stabilizing Protocols

 Anaïs Durand , Shay Kutten
SSS 2019 - 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_12⟩
Communication dans un congrès hal-03746711v1
Image document

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
[Research Report] Université Grenoble Alpes, VERIMAG, UMR 5104, France; LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France; Université de Bordeaux, LaBRI, UMR 5800, France; Sorbonne Université, Paris, LIP6, UMR 7606, France. 2020
Rapport hal-02979166v3
Image document

Concurrence et allocation de ressources locales instantanément stabilisante

 Karine Altisen , Stéphane Devismes , Anaïs Durand
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Communication dans un congrès hal-01302333v2
Image document

Election in unidirectional rings with homonyms

 Karine Altisen , Ajoy K Datta , Stéphane Devismes , Anaïs Durand , Lawrence L Larmore
Journal of Parallel and Distributed Computing, 2020, 146, pp.79-95. ⟨10.1016/j.jpdc.2020.08.004⟩
Article dans une revue hal-03452675v1

Gradual stabilization

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
Journal of Parallel and Distributed Computing, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
Article dans une revue hal-02420362v1
Image document

Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links

 Lélia Blin , Anaïs Durand , Sébastien Tixeuil
2020
Pré-publication, Document de travail hal-02981573v1

Self-stabilizing Systems in Spite of High Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
Theoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
Article dans une revue hal-04109662v1
Image document

Élection autostabilisante en un nombre polynomial de pas de calcul

 Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès hal-01145472v1
Image document

Élection Autostabilisante dans les Réseaux à Haute Dynamicité

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
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
Image document

Pannes de processus liées à la contention

 Anaïs Durand , Michel Raynal , Gadi Taubenfeld
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Communication dans un congrès hal-02118917v1
Image document

Contention-related crash failures: Definitions, agreement algorithms, and impossibility results

 Anaïs Durand , Michel Raynal , Gadi Taubenfeld
Theoretical Computer Science, 2022, 909, pp.76-86. ⟨10.1016/j.tcs.2022.01.029⟩
Article dans une revue hal-03746704v1

Perpetual torus exploration by myopic luminous robots

 Omar Darwich , Ahmet-Sefa Ulucan , Quentin Bramas , Anissa Lamani , Anaïs Durand , et al.
Theoretical Computer Science, 2023, 976, pp.114143. ⟨10.1016/j.tcs.2023.114143⟩
Article dans une revue hal-04323448v1
Image document

Concurrency in Snap-Stabilizing Local Resource Allocation

 Karine Altisen , Stéphane Devismes , Anaïs Durand
Journal of Parallel and Distributed Computing, 2016
Article dans une revue hal-01099186v8
Image document

Self-Stabilizing Leader Election in Polynomial Steps

 Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
SSS'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
Image document

Acyclic Strategy for Silent Self-Stabilization in Spanning Forests

 Karine Altisen , Stéphane Devismes , Anaïs Durand
[Research Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2018
Rapport hal-01784570v1
Image document

Gradual Stabilization under τ-Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
Communication dans un congrès hal-01215190v5
Image document

Self-Stabilizing Leader Election in Polynomial Steps

 Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
Information and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Article dans une revue hal-01347471v1
Image document

Élection et anneaux unidirectionnels en présence d’homonymes

 Anaïs Durand
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès hal-01513893v1

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
Communication dans un congrès hal-03346225v1
Image document

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Communication dans un congrès hal-02911071v1
Image document

Stabilisation progressive

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Communication dans un congrès hal-01779963v1
Image document

On peut tromper mille personnes mille fois, mais pas plus

 Lélia Blin , Anaïs Durand , Sébastien Tixeuil
ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.156-165
Communication dans un congrès hal-03746708v1
Image document

k-Set Agreement and Renaming in the Presence of Contention-Related Crash Failures

 Anaïs Durand , Michel Raynal , Gadi Taubenfeld
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-030-03232-6_18⟩
Communication dans un congrès hal-01938660v1
Image document

Silence dans la forêt !

 Karine Altisen , Stéphane Devismes , Anaïs Durand
ALGOTEL 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-02118549v2
Image document

Efficient distributed algorithms suited for uncertain context

 Anaïs Durand
Other [cs.OH]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM037⟩
Thèse tel-01592294v2
Image document

Self-stabilizing Systems in Spite of High Dynamics

 Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Communication dans un congrès hal-02376832v3
Image document

Acyclic Strategy for Silent Self-Stabilization in Spanning Forests

 Karine Altisen , Stéphane Devismes , Anaïs Durand
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.186-202, ⟨10.1007/978-3-030-03232-6_13⟩
Communication dans un congrès hal-01938671v1
Page :