Publications

Publications HAL du labo/EPI delys

2022

Conference papers

titre
LSL3D : Etiquetage en Composantes Connexe par segments pour volumes 3D
auteur
Nathan Maurice, Florian Lemaitre, Julien Sopena, Lionel Lacassagne
article
COMPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.science/hal-03746479/file/COMPAS22_LSL3D.pdf BibTex
titre
A predictive model for Stream Processing System that dynamically calibrates the number of operator replicas
auteur
Daniel Wladdimiro, Luciana Arantes, Nicolas Hidalgo, Pierre Sens
article
ComPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.science/hal-03783768/file/ComPAS2022_paper_22-2.pdf BibTex
titre
Evaluating Execution Times and Costs of a Federated Learning Application on different Cloud Providers
auteur
Rafaela C Brum, Luciana Arantes, Maria Clicia Castro, Pierre Sens, Lúcia M A Drummond
article
COMPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03722055/file/ComPAS2022_paper_17-2.pdf BibTex
titre
Borne inférieure optimale pour la complexité spatiale des algorithmes déterministes auto-stabilisants d’élection
auteur
Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder
article
AlgoTel 2022 – 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03651152/file/main-lower-bound_Valgotel%20%281%29.pdf BibTex
titre
Détection de terminaison silencieuse, anonyme, stabilisante instantanément
auteur
Lélia Blin, Colette Johnen, Gabriel Le Bouder, Franck Petit
article
AlgoTel 2022 – 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03651261/file/DetectionTerminaison.pdf BibTex
titre
LSL3D: a run-based Connected Component Labeling algorithm for 3D volumes
auteur
Nathan Maurice, Florian Lemaitre, Julien Sopena, Lionel Lacassagne
article
Binary is the new Black and White workshop @ IEEE ICIAP 2022, May 2022, Lecce, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-03689455/file/BNBW22_LSL3D.pdf BibTex
titre
An efficient run-based Connected Component Labeling algorithm for processing holes
auteur
Florian Lemaitre, Nathan Maurice, Lionel Lacassagne
article
Binary is the new Black and White workshop @ IEEE ICIAP 2022, May 2022, Lecce, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-03689462/file/BNBW22_FLSL%2Bholes.pdf BibTex
titre
A scalable causal broadcast that tolerates dynamics of mobile networks
auteur
Daniel Wilhelm, Luciana Arantes, Pierre Sens
article
23rd International Conference on Distributed Computing and Networking (ICDCN), Jan 2022, New Delhi / Virtual, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03524944/file/icdcn.pdf BibTex

Reports

titre
Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore
auteur
Ayush Pandey, Annette Bieniusa, Marc Shapiro
article
[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03654003/file/RR-9470.pdf BibTex

Theses

titre
Eventual Leader Elections in Dynamic Networks
auteur
Arnaud Favier
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS059⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03624018/file/FAVIER_Arnaud_2022.pdf BibTex

2021

Journal articles

titre
A Heuristically Assisted Deep Reinforcement Learning Approach for Network Slice Placement
auteur
Jose Jurandir Alves Esteves, Amina Boubendir, Fabrice Guillemin, Pierre Sens
article
IEEE Transactions on Network and Service Management, 2021, pp.1-1. ⟨10.1109/TNSM.2021.3132103⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03954579/file/TNSM-2022.pdf BibTex
titre
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
article
The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02363013/file/TEGONAO20.pdf BibTex

Conference papers

titre
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
auteur
Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder
article
OPODIS 2021 – International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France
Accès au texte intégral et bibtex
https://hal.science/hal-03536828/file/main-lower-bound.pdf BibTex
titre
Highly-available and consistent group collaboration at the edge with colony
auteur
Ilyas Toumlilt, Pierre Sutra, Marc Shapiro
article
Middleware 2021: 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. pp.336-351, ⟨10.1145/3464298.3493405⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03353663/file/colony-hal-03353663.pdf BibTex
titre
Efficient Consensus-Free Weight Reassignment for Atomic Storage
auteur
Hasan Heydari, Guthemberg Silvestre, Luciana Arantes
article
NCA 2021 – 20th IEEE International Symposium on Network Computing and Applications, Nov 2021, Virtual, France
Accès au texte intégral et bibtex
https://hal-enac.archives-ouvertes.fr/hal-03454633/file/main.pdf BibTex
titre
Centrality-Based Eventual Leader Election in Dynamic Networks
auteur
Arnaud Favier, Luciana Arantes, Jonathan Lejeune, Pierre Sens
article
NCA 2021 – 20th IEEE International Symposium on Network Computing and Applications, Nov 2021, Cambridge, Boston, United States. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03452072/file/Centrality-Based%20Eventual%20Leader%20Election%20in%20Dynamic%20Networks.pdf BibTex
titre
A Multi-Metric Adaptive Stream Processing System
auteur
Daniel Wladdimiro, Luciana Arantes, Pierre Sens, Nicolas Hidalgo
article
NCA 2021 – 20th IEEE International Symposium on Network Computing and Applications, Nov 2021, Cambridge, Boston, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03516376/file/Paper___A_Multi_Metric_Adaptive_for_Stream_Processing_System___NCA2021%20%284%29.pdf BibTex
titre
DRL-based Slice Placement under Realistic Network Load Conditions
auteur
Jose Jurandir Alves Esteves, Amina Boubendir, Fabice Guillemin, Pierre Sens
article
CNSM 2021 – 17th International Conference on Network and Service Management, Oct 2021, Izmir, Turkey
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03516310/file/Demo_CNSM_2021.pdf BibTex
titre
DRL-based Slice Placement Under Non-Stationary Conditions
auteur
Jose Jurandir Alves Esteves, Amina Boubendir, Fabrice Guillemin, Pierre Sens
article
CNSM 2021 – 17th International Conference on Network and Service Management, Oct 2021, Izmir, Turkey
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03332502/file/CNSM2021.pdf BibTex
titre
FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems
auteur
Colette Johnen, Luciana Arantes, Pierre Sens
article
SRDS 2021 – 40th International Symposium on Reliable Distributed Systems, Sep 2021, Chicago / Virtual, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03332423/file/srds-2021.pdf BibTex
titre
CRDTs for truly concurrent file systems
auteur
Romain Vaillant, Dimitrios Vasilas, Marc Shapiro, Thuy Linh Nguyen
article
HotStorage ’21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03278658/file/CRDT-filesystem-HotStorage-2021.pdf BibTex
titre
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
PODC ’21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
Accès au bibtex
BibTex
titre
Un nouvel algorithme efficace de Split & Merge pour systèmes embarqués
auteur
Nathan Maurice, Julien Sopena, Lionel Lacassagne
article
COMPAS 2021 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-03330463/file/COMPAS21_SplitMerge.pdf BibTex
titre
BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing
auteur
Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller
article
NSDI’21 – 18th USENIX Symposium on Networked Systems Design and Implementation, Apr 2021, Virtual event, United States. pp.487-501
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03361644/file/main.pdf BibTex
titre
Self-stabilizing Systems in Spite of High Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
22nd International Conference on Distributed Computing and Networking, ICDCN’21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02376832/file/ADDJP2020.pdf BibTex

Books

titre
Le Microprocesseur 2 : communication dans un système numérique
auteur
Philippe Darche
article
ISTE Ltd, 2021, 978-1-78405-770-1, 978-1-78406-770-0
Accès au bibtex
BibTex
titre
Le Microprocesseur 1 : fonctions de calcul et de mémorisation, modèles de calcul et architecture des ordinateurs
auteur
Philippe Darche
article
ISTE Ltd, 2021, 978-1-78405-769-5, 978-1-78406-769-4
Accès au bibtex
BibTex
titre
Le Microprocesseur 4 : aspects logiciels
auteur
Philippe Darche
article
ISTE Ltd, 2021, 978-1-78405-772-5, 978-178406-772-4
Accès au bibtex
BibTex
titre
Le Microprocesseur 5 : aspects logiciels et matériels du développement, du débogage et du test
auteur
Philippe Darche
article
ISTE Ltd, 2021, 978-1-78405-773-2, 978-178406-773-1
Accès au bibtex
BibTex
titre
Le Microprocesseur 3 : aspects matériels
auteur
Philippe Darche
article
ISTE Ltd, 2021, 978-1-78405-771-8, 978-178406-771-7
Accès au bibtex
BibTex
titre
Microprocessor 4. Core Concepts: Software Aspects
auteur
Philippe Darche
article
ISTE Ltd and John Wiley & Sons, Inc., 2021, 978-1-786-30566-4
Accès au bibtex
BibTex
titre
Microprocessor 5. Software and Hardware Aspects of Development, Debugging and Testing – The Microcomputer
auteur
Philippe Darche
article
ISTE Ltd and John Wiley & Sons, Inc., 2021, 978-1-786-30651-7
Accès au bibtex
BibTex

Reports

titre
A coordination-free, convergent, and safe replicated tree
auteur
Sreeja S Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
article
[Research Report] RR-9395, LIP6, Sorbonne Université, Inria de Paris; Universidade nova de Lisboa. 2021, pp.36
Accès au texte intégral et bibtex
https://hal.science/hal-03150817/file/RR-9395.pdf BibTex
titre
Efficient self-stabilizing construction of disjoint MDSs in distance-2 model
auteur
Colette Johnen, Mohammed Haddad
article
[Research Report] Inria Paris, Sorbonne Université; LaBRI, CNRS UMR 5800; LIRIS UMR CNRS 5205. 2021
Accès au texte intégral et bibtex
https://hal.science/hal-03138979/file/disjointMDS.pdf BibTex

Theses

titre
Colony : a Hybrid Consistency System for Highly-Available Collaborative Edge Computing
auteur
Ilyas Toumlilt
article
Systems and Control [cs.SY]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS447⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03727724/file/TOUMLILT_Ilyas_2021_v2.pdf BibTex
titre
A study of data consistency constraints in 5G, applied to limiting resource usage in network slices
auteur
Jonathan Sid-Otmane
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS537⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03539545/file/SID_OTMANE_Jonathan_2021_v2.pdf BibTex
titre
Optimization of network slice placement in distributed large-scale infrastructures : from heuristics to controlled deep reinforcement learning
auteur
José Jurandir Alves Esteves
article
Networking and Internet Architecture [cs.NI]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS325⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03563082/file/ALVES_ESTEVES_JUNIOR_JJ_2021.pdf BibTex
titre
Designing safe and highly available distributed applications
auteur
Sreeja Sasidharan Nair
article
Programming Languages [cs.PL]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS272⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03339393/file/NAIR_Sreeja_these_2021.pdf BibTex
titre
A flexible and decentralised approach to query processing for geo-distributed data systems
auteur
Dimitrios Vasilas
article
Multiagent Systems [cs.MA]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS132⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-03272208/file/VASILAS_Dimitrios_2021.pdf BibTex

2020

Journal articles

titre
Deterministic Treasure Hunt in the Plane with Angular Hints
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
Algorithmica, 2020, 82 (11), pp.3250-3281. ⟨10.1007/s00453-020-00724-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03138288/file/angles2.pdf BibTex
titre
A dynamic task scheduler tolerant to multiple hibernations in cloud environments
auteur
Luan Teylo, Luciana Arantes, Pierre Sens, Lucia M A Drummond
article
Cluster Computing, 2020, ⟨10.1007/s10586-020-03175-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03136616/file/ICPP_2019_JCC_FINAL-2.pdf BibTex
titre
Distributed Reconfiguration of Maximal Independent Sets
auteur
Keren Censor-Hillel, Mikaël Rabie
article
Journal of Computer and System Sciences, 2020, 112, pp.85-96. ⟨10.1016/j.jcss.2020.03.003⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02879023/file/Journal.pdf BibTex
titre
Évolution des mémoires à semi-conducteurs à accès aléatoire – version 2
auteur
Philippe Darche
article
Techniques de l’Ingenieur, 2020
Accès au bibtex
BibTex
titre
Robustness: A new form of heredity motivated by dynamic networks
auteur
Arnaud Casteigts, Swan Dubois, Franck Petit, John Robson
article
Theoretical Computer Science, 2020, 806, pp.429-445. ⟨10.1016/j.tcs.2019.08.008⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02491886/file/S0304397519304979.pdf BibTex
titre
PAX-MAC: A Low Latency Anycast Protocol with Advanced Preamble †
auteur
Tales Heimfarth, João Carlos Giacomin, Edison Pignaton de Freitas, Gustavo Figueiredo Araujo, João Paulo de Araujo
article
Sensors, 2020, 20 (1), pp.23 – 25. ⟨10.3390/s20010250⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02479153/file/sensors-20-00250-v3.pdf BibTex

Conference papers

titre
Topology Aware Leader Election Algorithm for Dynamic Networks
auteur
Arnaud Favier, Nicolas Guittonneau, Luciana Arantes, Anne Fladenmuller, Jonathan Lejeune, Pierre Sens
article
PRDC 2020 – 25th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2020, Perth, Australia. pp.1-10, ⟨10.1109/PRDC50213.2020.00011⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02954037/file/Topology_Aware_Leader_Election_Algorithm_for_Dynamic_Networks.pdf BibTex
titre
MemOpLight: Leveraging application feedback to improve container memory consolidation
auteur
Francis Laniel, Damien Carver, Julien Sopena, Franck Wajsburt, Jonathan Lejeune, Marc Shapiro
article
NCA 2020 – 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Cambridge / Virtual, United States. pp.1-10, ⟨10.1109/NCA51143.2020.9306717⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03065629/file/nca.pdf BibTex
titre
Silent MST Approximation for Tiny Memory
auteur
Lélia Blin, Swan Dubois, Laurent Feuilloley
article
SSS 2020 : The 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, TX / Virtual, United States. pp.118-132, ⟨10.1007/978-3-030-64348-5_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03140584/file/MST-tiny-memory.pdf BibTex
titre
Heuristic for Edge-enabled Network Slicing Optimization using the “Power of Two Choices
auteur
Jose Jurandir Alves Esteves, Amina Boubendir, Fabice Guillemin, Pierre Sens
article
CNSM 2020 – 16th International Conference on Network and Service Management, Nov 2020, Izmir / Virtual, Turkey
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02981120/file/CNSM2020_camera_ready_wo_copyright.pdf BibTex
titre
Towards application-specific query processing systems
auteur
Dimitrios Vasilas, Marc Shapiro, Bradley King, Sara S. Hamouda
article
BDA 2020 – 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
Accès au texte intégral et bibtex
https://hal.science/hal-02943380/file/double-column.pdf BibTex
titre
Edge-enabled Optimized Network Slicing in Large Scale Networks
auteur
José Jurandir Alves Esteves, Amina Boubendir, Fabice Guillemin, Pierre Sens
article
NoF 2020 – 11th International Conference on Network of the Future, Oct 2020, Bordeaux / Virtual, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02981108/file/demo_paper_NOF_2020_camera_ready.pdf BibTex
titre
Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante
auteur
Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-02867634/file/sample-algotel.pdf BibTex
titre
Élection Autostabilisante dans les Réseaux à Haute Dynamicité
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-02791667/file/algotel.pdf BibTex
titre
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
article
PODC 2020 – ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02911071/file/mainShortPodc20.pdf BibTex
titre
Want to Gather? No Need to Chatter!
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc
article
PODC ’20 – 39th Symposium on Principles of Distributed Computing, Aug 2020, Salerno / Virtual, Italy. pp.253-262, ⟨10.1145/3382734.3405693⟩
Accès au bibtex
BibTex
titre
A dynamic evolutionary multi-agent system to predict the 3D structure of proteins
auteur
Leonardo Corrêa, Luciana Arantes, Pierre Sens, Mario Inostroza-Ponta, Márcio Dorn
article
WCCI 2020 – IEEE World Congress on Evolutionary Computation – CEC Sessions, Jul 2020, Glasgow / Virtual, United Kingdom. pp.1-8, ⟨10.1109/CEC48606.2020.9185761⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03132137/file/CEC-v2-1.pdf BibTex
titre
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance
auteur
Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
article
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02901169/file/atc20-gouicem.pdf BibTex
titre
Almost Universal Anonymous Rendezvous in the Plane
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2020, Virtual Event, United States. pp.117-127, ⟨10.1145/3350755.3400283⟩
Accès au bibtex
BibTex
titre
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
auteur
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
article
SAT 2020 – 23rd International Conference on Theory and Applications of Satisfiability Testing, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩
Accès au bibtex
BibTex
titre
Topology Aware Leader Election Algorithm for MANET
auteur
Arnaud Favier, Nicolas Guittonneau, Jonathan Lejeune, Anne Fladenmuller, Luciana Arantes, Pierre Sens
article
COMPAS 2020 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03471423/file/TA-Compas.pdf BibTex
titre
Location-based Data Model for Optimized Network Slice Placement
auteur
José Jurandir Alves Esteves, Amina Boubendir, Fabice Guillemin, Pierre Sens
article
NetSoft 2020 – 6th IEEE International Conference on Network Softwarization, Jun 2020, Ghent / Virtual, Belgium. pp.404-412, ⟨10.1109/NetSoft48620.2020.9165427⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02981095/file/paper_netsoft_2020_camera_ready__wo_copyrigth.pdf BibTex
titre
A resource usage efficient distributed allocation algorithm for 5G Service Function Chains
auteur
Guillaume Fraysse, Jonathan Lejeune, Julien Sopena, Pierre Sens
article
DAIS 2020 – 20th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, Jun 2020, Valetta, Malta. pp.169-185, ⟨10.1007/978-3-030-50323-9_11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02975998/file/dais_paper_23_camera_ready.pdf BibTex
titre
On the Usefulness of Clause Strengthening in Parallel SAT Solving
auteur
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
article
NFM 2020 – 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Accès au bibtex
BibTex
titre
Provable Multicore Schedulers with Ipanema: Application to Work Conservation
auteur
Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
article
Eurosys 2020 – European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02554342/file/paper.pdf BibTex
titre
An environment for composable distributed computing
auteur
Benoît Martin, Laurent Prosperi, Marc Shapiro
article
EuroDW 2020 – 14th EuroSys Doctoral Workshop, Apr 2020, Heraklion / Virtual, Greece
Accès au bibtex
BibTex
titre
Proving the safety of highly-available distributed objects
auteur
Sreeja S Nair, Gustavo Petri, Marc Shapiro
article
ESOP 2020 – 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.science/hal-02424317/file/esop2020.pdf BibTex
titre
Data Consistency in the 5G Specification
auteur
Jonathan Sid-Otmane, Sofiane Imadali, Frederic Martelli, Marc Shapiro
article
ICIN 2020 – 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.110-117, ⟨10.1109/ICIN48450.2020.9059408⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02943802/file/Data_Consistency_in_the_5G_Specification.pdf BibTex
titre
Optimized Network Slicing Proof-of-Concept with Interactive Gaming Use Case
auteur
Jose Jurandir Alves Esteves, Amina Boubendir, Fabice Guillemin, Pierre Sens
article
ICIN 2020 – 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.150-152, ⟨10.1109/ICIN48450.2020.9059328⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02981083/file/article_icin_2020_wo_copyright.pdf BibTex

Books

titre
Microprocessor 3. Core Concepts: Hardware Aspects
auteur
Philippe Darche
article
ISTE Ltd and John Wiley & Sons, Inc., 2020, 978-1-119-78800-3
Accès au bibtex
BibTex
titre
Microprocessor 2. Core Concepts: Communication in a Digital System
auteur
Philippe Darche
article
ISTE Ltd and John Wiley & Sons, Inc., 2020, 978-1-786-30564-0
Accès au bibtex
BibTex
titre
Microprocessor 1: Prolegomenes – Calculation and Storage Functions – Models of Computation and Computer Architecture
auteur
Philippe Darche
article
ISTE Ltd and John Wiley & Sons, Inc., 2020, 978-1-786-30563-3
Accès au bibtex
BibTex

Reports

titre
Want to Gather? No Need to Chatter!
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc
article
[Research Report] Université de Picardie Jules Verne. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03035137/file/bdp.pdf BibTex
titre
Almost Universal Anonymous Rendezvous in the Plane
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
[Research Report] Université de Picardie Jules Verne. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03035154/file/bdpp.pdf BibTex
titre
Specification of a Transactionally and Causally-Consistent (TCC) database
auteur
Saalik Hatia, Marc Shapiro
article
[Research Report] RR-9355, DELYS; LIP6, Sorbonne Université, Inria, Paris, France. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02902474/file/RR-9355.pdf BibTex
titre
A scalable causal broadcast that tolerates dynamics of mobile networks
auteur
Daniel Wilhelm, Luciana Arantes, Pierre Sens
article
[Technical Report] Sorbonne University UPMC. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02652082/file/ensemble%20%281%29.pdf BibTex
titre
Lower and upper bounds for deterministic convergecast with labeling schemes
auteur
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru, Mikael Rabie
article
[Research Report] Sorbonne Université. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02650472/file/main.pdf BibTex
titre
Proving the safety of highly-available distributed objects (Extended version)
auteur
Sreeja S Nair, Gustavo Petri, Marc Shapiro
article
[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02492599/file/esop2020.pdf BibTex
titre
Resources management for controlling dynamic loads in clouds environments. The Wolphin project experience
auteur
Ahmed Amamou, Martin Camey, Christophe Cérin, Jonathan Rivalan, Julien Sopena
article
[Research Report] Université Sorbonne Paris Nord; Sorbonne Université. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02481264/file/Wolphin_article.pdf BibTex

Theses

titre
Distributed resource allocation for virtual networks
auteur
Guillaume Fraysse
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, CNRS, LIP6, Paris, France, 2020. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03128234/file/FRAYSSE_Guillaume_manuscrit_final.pdf BibTex
titre
MemOpLight : vers une consolidation mémoire pour les conteneurs grâce à un retour applicatif
auteur
Francis Laniel
article
Système d’exploitation [cs.OS]. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS372⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03406101/file/LANIEL_Francis_2020.pdf BibTex

Preprints, Working Papers, …

titre
Wireless Broadcast with short labelling
auteur
Gewu Bu, Maria Potop-Butucaru, Mikael Rabie
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-01869563/file/conference_041818.pdf BibTex

2019

Journal articles

titre
The weakest failure detector for eventual consistency
auteur
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
article
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Accès au bibtex
https://arxiv.org/pdf/1505.03469 BibTex
titre
Using differential execution analysis to identify thread interference
auteur
Mohamed Said Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Remi Dulong, Amina Guermouche, Elisabeth Brunet, Gaël Thomas
article
IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (12), pp.2866-2878. ⟨10.1109/TPDS.2019.2927481⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02179717/file/tpds_final.pdf BibTex
titre
Optimal torus exploration by oblivious robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
article
Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02420598/file/HAL-version.pdf BibTex
titre
Asynchronous approach in the plane: a deterministic polynomial algorithm
auteur
Sébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, Swan Dubois, Franck Petit
article
Distributed Computing, 2019, 32 (4), pp.317-337. ⟨10.1007/s00446-018-0338-2⟩
Accès au bibtex
https://arxiv.org/pdf/1612.02168 BibTex
titre
Self-stabilizing robots in highly dynamic environments
auteur
Marjorie Bournat, Ajoy K. Datta, Swan Dubois
article
Theoretical Computer Science, 2019, 772, pp.88-110. ⟨10.1016/j.tcs.2018.11.026⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02413327/file/S0304397518307163.pdf BibTex
titre
Explicit Communication Among Stigmergic Robots
auteur
Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal
article
International Journal of Foundations of Computer Science, 2019, 30 (02), pp.315-332. ⟨10.1142/S0129054119500072⟩
Accès au bibtex
BibTex
titre
Gradual stabilization
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
article
Journal of Parallel and Distributed Computing, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
Accès au bibtex
BibTex

Conference papers

titre
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms
auteur
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia
article
RTSS 2019 – 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong-Kong, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02401625/file/RTSS_cedric.pdf BibTex
titre
Fork/Wait and Multicore Frequency Scaling: a Generational Clash
auteur
Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia L. Lawall, Gilles Muller
article
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02349987/file/paper.pdf BibTex
titre
A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds
auteur
Luan Teylo, Lúcia Maria de A. Drummond, Luciana Arantes, Pierre Sens
article
SBAC-PAD 2019 – International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02284965/file/SBAC-PAD_2019.pdf BibTex
titre
Highlighting the Container Memory Consolidation Problems in Linux
auteur
Francis Laniel, Damien Carver, Julien Sopena, Franck Wajsburt, Jonathan Lejeune, Marc Shapiro
article
NCA 2019 – 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02424007/file/nca.pdf BibTex
titre
A Hibernation Aware Dynamic Scheduler for Cloud Environments
auteur
Luan Teylo, Luciana Arantes, Pierre Sens, Lúcia Maria de A. Drummond
article
ICCP 2019 – 48th International Conference on Parallel Processing – Workshop, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3339186.3339205⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02391614/file/w-icpp2019.pdf BibTex
titre
Un algorithme d’élection de leader cross-layer pour réseaux mobiles ad hoc (résumé)
auteur
Arnaud Favier, Nicolas Guittonneau, Luciana Arantes, Anne Fladenmuller, Pierre Sens
article
COMPAS 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03471426/file/resume.pdf BibTex
titre
Understanding scheduler performance : a feature-based approach
auteur
Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix
article
Compas 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex
https://hal.science/hal-02558763/file/compas19.pdf BibTex
titre
Resilient Optimistic Termination Detection for the Async-Finish Model
auteur
Sara Hamouda, Josh Milthorpe
article
34th International Conference on High Performance Computing, Jun 2019, Frankfurt, Germany. pp.291-311, ⟨10.1007/978-3-030-20656-7_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02169496/file/Hamouda2019_ISC_HPC.pdf BibTex
titre
Vérification de preuves distribuées : compromis temps-espace
auteur
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, Mor Perry
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02118043/file/redondance.pdf BibTex
titre
Trouver un trésor plus rapidement avec des conseils angulaires
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02118362/file/bouchard_et_al.pdf BibTex
titre
Pannes de processus liées à la contention
auteur
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-02118917/file/algotel.pdf BibTex
titre
Silence dans la forêt !
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand
article
ALGOTEL 2019 – 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02118549/file/main.pdf BibTex
titre
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
auteur
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
article
TACAS 2019 – 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩
Accès au bibtex
BibTex
titre
Invariant Safety for Distributed Applications
auteur
Sreeja S Nair, Gustavo Petri, Marc Shapiro
article
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02052012/file/authorversion-soteria.pdf BibTex
titre
The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
auteur
Etienne Mauffret, Élise Jeanneau, Luciana Arantes, Pierre Sens
article
20th International Conference on Distributed Computing and Networking (ICDCN 2019), Jan 2019, Bangalore, India. ⟨10.1145/3288599.3288608⟩
Accès au bibtex
BibTex

Book sections

titre
Conflict-free Replicated Data Types (CRDTs)
auteur
Nuno Preguiça, Carlos Baquero, Marc Shapiro
article
Sakr, Sherif; Zomaya, Albert. Encyclopedia of Big Data Technologies, Springer International Publishing, 2019, Encyclopedia of Big Data Technologies, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_185-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793586/file/CRDTs-encyclopedia.zip BibTex
titre
Database Consistency Models
auteur
Marc Shapiro, Pierre Sutra
article
Sherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2019, 978-3-319-63962-8. ⟨10.1007/978-3-319-63962-8_203-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01756780/file/DBconsistency-Springer2018-authorversion.pdf BibTex

Books

titre
Introduction to Distributed Self-Stabilizing Algorithms
auteur
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
article
Morgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩
Accès au bibtex
BibTex

Patents

titre
Distributing computing system implementing a non-speculative hardware transactional memory and a method for using same for distributed computing
auteur
Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Marc Shapiro
article
United States, Patent n° : US 10 416 925B2. 2019
Accès au bibtex
BibTex

Theses

titre
On the Deterministic Gathering of Mobile Agents
auteur
Sébastien Bouchard
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS175⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02320156/file/these_bouchard_sebastien_2019.pdf BibTex
titre
Graceful Degradation and Speculation for Robots in Highly Dynamic Environments
auteur
Marjorie Bournat
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS035⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02177304/file/these_bournat_marjorie_2019.pdf BibTex
titre
Advanced consolidation for dynamic containers
auteur
Damien Carver
article
Operating Systems [cs.OS]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS513⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02393773/file/CARVER_Damien_2019.pdf BibTex
titre
A communication-efficient causal broadcast publish/subscribe system
auteur
João Paulo de Araujo
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS081⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02105743/file/DE_ARAUJO_Joao_Paulo_2019.pdf BibTex

2018

Journal articles

titre
VCube-PS: A causal broadcast topic-based publish/subscribe system
auteur
João Paulo de Araujo, Luciana Arantes, Elias P Duarte Júnior, Luiz A. Rodrigues, Pierre Sens
article
Journal of Parallel and Distributed Computing, 2018, ⟨10.1016/j.jpdc.2018.10.011⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01925856/file/vcube-ps_hal.pdf BibTex
titre
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems
auteur
Zakarea Al-Shara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud’Homme, Thomas Ledoux
article
Future Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01762716/file/FGCS2018_CoMe4ACloud_AuthorsVersion.pdf BibTex
titre
A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon
auteur
Lélia Blin, Fadwa Boubekeur, Swan Dubois
article
Journal of Parallel and Distributed Computing, 2018, 117, pp.50-62. ⟨10.1016/j.jpdc.2018.02.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01966265/file/JPDC.pdf BibTex
titre
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases
auteur
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro
article
Dagstuhl Reports, 2018, Dagstuhl Reports, 8 (2), pp.101-121. ⟨10.4230/DagRep.8.2.101⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01848384/file/Dagstuhl-Consistency-18091.pdf BibTex
titre
On Deterministic Rendezvous at a Node of Agents with Arbitrary Velocities
auteur
Sébastien Bouchard, Yoann Dieudonné, Franck Petit, Andrzej Pelc
article
Information Processing Letters, 2018, 133, pp.39 – 43. ⟨10.1016/j.ipl.2018.01.003⟩
Accès au bibtex
BibTex
titre
A distributed k-mutual exclusion algorithm based on autonomic spanning trees
auteur
Luiz A. Rodrigues, Elias P Duarte Júnior, Luciana Arantes
article
Journal of Parallel and Distributed Computing, 2018, 115, pp.41-55. ⟨10.1016/j.jpdc.2018.01.008⟩
Accès au bibtex
BibTex
titre
SDN-based Wi-Fi Direct Clustering for Cloud Access in Campus Networks
auteur
Thi-Mai-Trang Nguyen, Lyes Hamidouche, Fabien Mathieu, Sébastien Monnet, Syphax Iskounen
article
Annals of Telecommunications – annales des télécommunications, 2018, 73 (3), pp.239–249. ⟨10.1007/s12243-017-0598-z⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01567735/file/sdn-wifi-direct.pdf BibTex
titre
Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System
auteur
Anubis Graciela de Moraes Rossetto, Claudio Geyer, Luciana Arantes, Pierre Sens
article
The Computer Journal, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793311/file/Impact.pdf BibTex

Conference papers

titre
Deterministic Treasure Hunt in the Plane with Angular Hints
auteur
Sébastien Bouchard, Yoann Dieudonné, Andrzej Pelc, Franck Petit
article
29th International Symposium on Algorithms and Computation, ISAAC 2018, Dec 2018, Jiaoxi Township, Taiwan. pp.48:1–48:13, ⟨10.4230/LIPIcs.ISAAC.2018.48⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01970990/file/isaac2018-conf.pdf BibTex
titre
Distributed transactional reads: the strong, the quick, the fresh & the impossible
auteur
Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
article
2018 ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP/USENIX, Dec 2018, Rennes, France. pp.14, ⟨10.1145/3274808.3274818⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01876456/file/middleware18-authorversion.pdf BibTex
titre
Gracefully Degrading Gathering in Dynamic Rings
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
Stabilization, Safety, and Security of Distributed Systems – 20th International Symposium, SSS 2018, Nov 2018, Tokyo, Japan. pp.349-364, ⟨10.1007/978-3-030-03232-6_23⟩
Accès au bibtex
https://arxiv.org/pdf/1805.05137 BibTex
titre
Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms
auteur
Luiz A. Rodrigues, Elias P Duarte Júnior, João Paulo de Araujo, Luciana Arantes, Pierre Sens
article
LADC 2018 – 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguaçu, Brazil. ⟨10.1109/LADC.2018.00022⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01959395/file/bundling_hypercube.pdf BibTex
titre
A Communication-Efficient Causal Broadcast Protocol
auteur
João Paulo de Araujo, Luciana Arantes, Elias P Duarte Júnior, Luiz A. Rodrigues, Pierre Sens
article
ICPP 2018 – 47th International Conference on Parallel Processing, Aug 2018, Eugene, Oregon, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924741/file/icpp2018-hal.pdf BibTex
titre
Scheduling under Uncertainty: A Query-based Approach
auteur
Luciana Arantes, Evripidis Bampis, Alexander Kononov, Manthos Letsios, Giorgio Lucarelli, Pierre Sens
article
IJCAI 2018 – 27th International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.4646-4652, ⟨10.24963/ijcai.2018/646⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924648/file/IJCAI-CR-new.pdf BibTex
titre
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS
auteur
Justinien Bouron, Sébastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena
article
2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01853267/file/atc18-bouron.pdf BibTex
titre
Byzantine Gathering in Polynomial Time
auteur
Sébastien Bouchard, Yoann Dieudonné, Anissa Lamani
article
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.147⟩
Accès au bibtex
BibTex
titre
Architecture de collecte pour la géolocalisation en situation de crise : évaluation comparative
auteur
Florent Coriat, Anne Fladenmuller, Luciana Arantes
article
ComPAS 2018 – Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01877942/file/compas2018_soumis.pdf BibTex
titre
Rassemblement byzantin dans les réseaux
auteur
Sébastien Bouchard, Yoann Dieudonne, Bertrand Ducourthial
article
20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications(ALGOTEL 2018), May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.science/hal-01782387/file/Rassemblement%20byzantin%20dans%20les%20r%C3%A9seaux%20-%20version%20finale.pdf BibTex
titre
Stabilisation progressive
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
article
ALGOTEL 2018 – 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.science/hal-01779963/file/algotel.pdf BibTex
titre
Approche asynchrone dans le plan : un algorithme déterministe polynomial
auteur
Sébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, Swan Dubois, Franck Petit
article
ALGOTEL 2018 – 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://hal.science/hal-01782388/file/Approche%20asynchrone%20dans%20le%20plan%20-%20version%20finale.pdf BibTex
titre
Ensuring referential integrity under causal consistency
auteur
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
article
PaPoC 2018 – 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01727207/file/final-2018-03-08.pdf BibTex
titre
A Modular Design for Geo-Distributed Querying
auteur
Dimitrios Vasilas, Marc Shapiro, Bradley King
article
PaPoC 2018 – 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal. pp.1-8, ⟨10.1145/3194261.3194265⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01728712/file/main.pdf BibTex
titre
A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems
auteur
Hugo Bruneliere, Zakarea Al-Shara, Frederico Alvares, Jonathan Lejeune, Thomas Ledoux
article
CLOSER 2018 – 8h International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Portugal. pp.201-212, ⟨10.5220/0006773002010212⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01705248/file/CoMe4ACloud_CLOSER2018_CameraReady.pdf BibTex
titre
Towards multi-SDN services: Dangers of concurrent resource allocation from multiple providers
auteur
Guillaume Fraysse, Imen Grida Ben Yahia, Jonathan Lejeune, Pierre Sens, Julien Sopena
article
21st Conference on Innovation in Clouds, Internet and Networks (ICIN 2018), Feb 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793636/file/mutual_exclusion_PS.pdf BibTex
titre
Co-Design and Verification of an Available File System
auteur
Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
article
VMCAI 2018 – International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2018, Los Angeles, CA, United States. pp.358-381, ⟨10.1007/978-3-319-73721-8_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01696263/file/VMCAI-2018-filesys.pdf BibTex

Reports

titre
The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
auteur
Etienne Mauffret, Élise Jeanneau, Luciana Arantes, Pierre Sens
article
[Technical Report] LISTIC; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606. 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01661127/file/main.pdf BibTex
titre
Improving the “Correct Eventual Consistency” Tool
auteur
Sreeja S Nair, Marc Shapiro
article
[Research Report] RR-9191, Sorbonne Université. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01832888/file/RR-9191.pdf BibTex
titre
Gracefully Degrading Gathering in Dynamic Rings
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; DELYS; Inria. 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01790554/file/main.pdf BibTex
titre
Just-Right Consistency: reconciling availability and safety
auteur
Marc Shapiro, Annette Bieniusa, Nuno Preguiça, Valter Balegas, Christopher Meiklejohn
article
[Research Report] RR-9145, Inria Paris; UPMC – Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01685945/file/RR-9145.pdf BibTex

Theses

titre
Failure Detectors in Dynamic Distributed Systems
auteur
Élise Jeanneau
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS207⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01951975/file/JEANNEAU_Denis_these_2018.pdf BibTex
titre
Géolocalisation et communication en situation de crise
auteur
Florent Coriat
article
Réseaux et télécommunications [cs.NI]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS340⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01970777/file/these_CORIAT_Florent_2018.pdf BibTex
titre
FreeCore : un système d’indexation de résumés de document sur une Table de Hachage Distribuée (DHT)
auteur
Bassirou Ngom
article
Recherche d’information [cs.IR]. Sorbonne Université; Université Cheikh Anta Diop (Dakar), 2018. Français. ⟨NNT : 2018SORUS180⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01921587/file/NGOM_Bassirou_these_2018.pdf BibTex
titre
Vers une dissémination efficace de données volumineuses sur des réseaux wi-fi denses
auteur
Lyes Hamidouche
article
Informatique. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS188⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01953300/file/HAMIDOUCHE_Lyes_these_2018.pdf BibTex
titre
Exploring the design space of highly-available distributed transactions
auteur
Alejandro Zlatko Tomsic
article
Databases [cs.DB]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS324⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01956321/file/these_Tomsic_Alejandro_2018.pdf BibTex
titre
Virtualisation efficace d’architectures NUMA
auteur
Gauthier Voron
article
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01947560/file/2018SORUS026.pdf BibTex

Preprints, Working Papers, …

titre
SPT – Summary Prefix Tree: An over DHT Indexing Data Structure for Efficient Superset Search
auteur
Bassirou Ngom, Mesaac Makpangou, Samba Ndiaye
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01757074/file/spt-arima.pdf BibTex

 

Comments are closed.