A new data paradigm: Intelligent and Autonomous Data

References


16 documents

Articles dans une revue3 document


Communications dans un congrès10 document

  • Lélia Blin, Gabriel Le Bouder, Franck Petit. Optimal Memory Requirement for Self-Stabilizing Token Circulation. SIROCCO 2024, May 2024, Salerno, Italy. ⟨hal-04448960⟩
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certified Round Complexity of Self-Stabilizing Algorithms. 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩. ⟨hal-04230513⟩
  • Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna. Model Checking of Distributed Algorithms using Synchronous Programs. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States. ⟨hal-04172396⟩
  • Erwan Jahier, Stéphane Devismes, Karine Altisen. Exploring Worst Cases of Self-stabilizing Algorithms using Simulations. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States. ⟨hal-04172383⟩
  • Anaïs Durand, Michel Raynal, Gadi Taubenfeld. Comment se mettre d'accord quand les autres dorment ?. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargèse, France. pp.1-4. ⟨hal-04076960⟩
  • Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani. Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France. ⟨hal-04085120⟩
  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. Pour battre à l'unisson, il faut que tous les chemins viennent de Rome. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France. ⟨hal-04076915⟩
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes. Complexité certifiée d'algorithmes autostabilisants en rondes. 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France. ⟨hal-04081085⟩
  • Etienne Mauffret, Elise Jeanneau, Eddy Caron. SkyData : Rise of the Data How can the Intelligent and Autonomous Data paradigm become real?. The International Conference on Cloud Computing and Services Science (CLOSER), Insticc, Jan 2023, Prague (Czech Republic), Czech Republic. pp.8. ⟨hal-04040588⟩
  • Altisen Karine, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. Self-stabilizing Synchronous Unison in Directed Networks. ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩. ⟨hal-03925405⟩

Pré-publications, Documents de travail2 document

  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. On Self-stabilizing Leader Election in Directed Networks. 2024. ⟨hal-04434345v4⟩
  • Swan Dubois, Laurent Feuilloley, Franck Petit, Mikaël Rabie. When Should You Wait Before Updating? Toward a Robustness Refinement. 2023. ⟨hal-04101692⟩

Rapports1 document

  • Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch. Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. LaBRI, Université de Bordeaux; Laboratoire d'informatique et des Systèmes - LIS (UMR 7020). 2024. ⟨hal-04454806⟩

Documents récupérés de l'archive ouverte HAL logo