2025
Conference papers
- titre
- CALock: Multi-granularity locking in dynamic hierarchies
- auteur
- Ayush Pandey, Julien Sopena, Marc Shapiro, Swan Dubois
- article
- IPDPS 2025 – 39th IEEE International Parallel and Distributed Processing Symposium, Jun 2025, Milan, Italy
- Accès au bibtex
-
- titre
- Towards local-first distributed property graphs
- auteur
- Ayush Pandey, Stefania Dumbrava, Marc Shapiro, Carla Ferreira, Mário Pereira, Nuno Preguiça
- article
- 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys, Mar 2025, Rotterdam, Netherlands. ⟨10.1145/3721473.3722139⟩
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms (extended version)
- auteur
- Celia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou
- article
- Formal Aspects of Computing, 2024, 36, pp.1 – 23. ⟨10.1145/3698593⟩
- Accès au texte intégral et bibtex
-
- titre
- PA-SPS: A predictive adaptive approach for an elastic stream processing system
- auteur
- Daniel Wladdimiro, Luciana Arantes, Pierre Sens, Nicolás Hidalgo
- article
- Journal of Parallel and Distributed Computing, 2024, 192, pp.104940. ⟨10.1016/j.jpdc.2024.104940⟩
- Accès au texte intégral et bibtex
-
- titre
- Stab-FD: a cooperative and adaptive failure detector for wide area networks
- auteur
- Pierre Sens, Luciana Arantes, Anubis Graciela de Moraes Rossetto, Olivier Marin
- article
- Journal of Parallel and Distributed Computing, 2024, 186, pp.104803. ⟨10.1016/j.jpdc.2023.104803⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A new efficient Split and Merge algorithm for embedded systems
- auteur
- Nathan Maurice, Julien Sopena, Lionel Lacassagne
- article
- International Conference on Image Processing (ICIP), IEEE, Oct 2024, Abu Dabi, United Arab Emirates. pp.3613-3619, ⟨10.1109/ICIP51287.2024.10648097⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimal Memory Requirement for Self-Stabilizing Token Circulation
- auteur
- Lélia Blin, Gabriel Le Bouder, Franck Petit
- article
- Structural Information and Communication Complexity (SIROCCO 2024), May 2024, Salerno, Italy. pp.101-118, ⟨10.1007/978-3-031-60603-8_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Models for Storage in Database Backends
- auteur
- Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, Marc Shapiro
- article
- Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩
- Accès au texte intégral et bibtex
-
- titre
- Diversifying locks for effective synchronization in dynamic graphs
- auteur
- Ayush Pandey, Julien Sopena, Marc Shapiro
- article
- EuroSys 2024 Doctoral Workshop, Apr 2024, Athens, Greece
- Accès au texte intégral et bibtex
-
Theses
- titre
- Distributed Multi-Consensus : aggregation and revocability
- auteur
- Célia Mahamdi
- article
- Réseaux et télécommunications [cs.NI]. Sorbonne Université, 2024. Français. ⟨NNT : 2024SORUS426⟩
- Accès au texte intégral et bibtex
-
- titre
- Irregular : developement of efficient parallel algorithms for irregular application on heterogenous embedded systems for computer vision.
- auteur
- Nathan Maurice
- article
- Algorithme et structure de données [cs.DS]. Sorbonne Université, 2024. Français. ⟨NNT : 2024SORUS545⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic adaptation in Stream Processing Systems
- auteur
- Daniel Wladdimiro Cottet
- article
- Computer Science [cs]. Sorbonne Université, 2024. English. ⟨NNT : 2024SORUS028⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Self-stabilizing Systems in Spite of High Dynamics
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- article
- Theoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
- Accès au bibtex
-
- titre
- Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
- auteur
- Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder
- article
- Discrete Mathematics and Theoretical Computer Science, 2023, LIPIcs, 25 (1), pp.5. ⟨10.46298/dmtcs.9335⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms
- auteur
- Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou
- article
- 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC), Oct 2023, Singapour, Singapore. pp.150-160, ⟨10.1109/PRDC59308.2023.00027⟩
- Accès au texte intégral et bibtex
-
- titre
- Transactional-Turn Causal Consistency
- auteur
- Benoît Martin, Laurent Prosperi, Marc Shapiro
- article
- EURO-PAR 2023 – 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus
- Accès au texte intégral et bibtex
-
- titre
- Effects of secured DNS transport on resolver performance
- auteur
- Etienne Le Louet, Antoine Blin, Julien Sopena, Ahmed Amamou, Kamel Haddadou
- article
- 2023 IEEE Symposium on Computers and Communications (ISCC), Jul 2023, Gammarth, Tunisia. pp.238-244, ⟨10.1109/ISCC58397.2023.10217887⟩
- Accès au texte intégral et bibtex
-
- titre
- CALock : Multi-Granularity Locking in Directed Graphs
- auteur
- Ayush Pandey, Swan Dubois, Marc Shapiro, Julien Sopena
- article
- ComPas, Jul 2023, Annecy, France
- Accès au texte intégral et bibtex
-
- titre
- PRESPS: a PREdictive model to determine the number of replicas of the operators in Stream Processing Systems
- auteur
- Daniel Wladdimiro, Luciana Arantes, Nicolas Hidalgo, Pierre Sens
- article
- Compas 2023 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France
- Accès au texte intégral et bibtex
-
- titre
- When Should You Wait Before Updating? Toward a Robustness Refinement
- auteur
- Swan Dubois, Laurent Feuilloley, Franck Petit, Mikaël Rabie
- article
- 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023), Jun 2023, Pisa, Italy. pp.7:1–7:15, ⟨10.4230/LIPIcs.SAND.2023.7⟩
- Accès au texte intégral et bibtex
-
- titre
- DCS : A logical clock composed of a dynamic set of probabilistic clocks
- auteur
- Daniel Wilhelm, Luciana Arantes, Pierre Sens
- article
- AlgoTel 2023 – 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargèse, France
- Accès au texte intégral et bibtex
-
- titre
- SeMaFoR – Self-Management of Fog Resources with Collaborative Decentralized Controllers
- auteur
- Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud’Homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan
- article
- SEAMS 2023: IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Ensuring Application Continuity with Fault Tolerance Techniques
- auteur
- Rafaela Brum, Luan Teylo, Luciana Arantes, Pierre Sens
- article
- High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, Springer International Publishing, pp.191-212, 2023, 978-3-031-29769-4. ⟨10.1007/978-3-031-29769-4_10⟩
- Accès au bibtex
-
Theses
- titre
- Multi-FedLS : A Scheduler of Federated Learning Applications in a Multi-Cloud Environment
- auteur
- Rafaela Correia Brum
- article
- Artificial Intelligence [cs.AI]. Sorbonne Université; Universidade Federal Fluminense (Brésil), 2023. English. ⟨NNT : 2023SORUS539⟩
- Accès au texte intégral et bibtex
-
- titre
- Varda : a language for programming distributed systems by composition
- auteur
- Laurent Prosperi
- article
- Programming Languages [cs.PL]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS240⟩
- Accès au texte intégral et bibtex
-
- titre
- Leveraging formal specification to implement a database backend
- auteur
- Saalik Hatia
- article
- Databases [cs.DB]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS137⟩
- Accès au texte intégral et bibtex
-
- titre
- Causal Broadcast algorithms for dynamic distributed systems
- auteur
- Daniel Wilhelm
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS135⟩
- Accès au texte intégral et bibtex
-
- titre
- TTCC : Transactional-Turn Causal Consistency
- auteur
- Benoît Martin
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS114⟩
- Accès au texte intégral et bibtex
-
- titre
- Memory-Optimization for Self-Stabilizing Distributed Algorithms
- auteur
- Gabriel Le Bouder
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS002⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- A probabilistic Dynamic Clock Set to capture message causality
- auteur
- Daniel Wilhelm, Luciana Arantes, Pierre Sens
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- On the Robustness of Controlled Deep Reinforcement Learning for Slice Placement
- auteur
- Jose Jurandir Alves Esteves, Amina Boubendir, Fabrice Guillemin, Pierre Sens
- article
- Journal of Network and Systems Management, 2022, 30 (3), pp.43. ⟨10.1007/s10922-022-09654-8⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Alternating MPR: a balanced broadcast algorithm for MANETs
- auteur
- Aymeric Agon-Rambosson, Jonathan Lejeune, Julien Sopena, Pierre Sens
- article
- 2022 IEEE 21st International Symposium on Network Computing and Applications (NCA), Dec 2022, Boston, MA, United States. pp.19-26, ⟨10.1109/NCA57778.2022.10013596⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a Federated Learning Framework on a Multi-Cloud Environment
- auteur
- Rafaela C Brum, Pierre Sens, Luciana Arantes, Maria Clicia Castro, Lucia M A Drummond
- article
- IEEE SBAC-PADW 2022 – IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, Nov 2022, Bordeaux, France. pp.39-44, ⟨10.1109/SBAC-PADW56527.2022.00016⟩
- Accès au texte intégral et bibtex
-
- titre
- A predictive approach for dynamic replication of operators in distributed stream processing systems
- auteur
- Daniel Wladdimiro, Luciana Arantes, Pierre Sens, Nicolas Hidalgo
- article
- SBAC-PAD 2022 – IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France. pp.120-129, ⟨10.1109/SBAC-PAD55451.2022.00023⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimizing Execution Time and Costs of Cross-Silo Federated Learning Applications with Datasets on different Cloud Providers
- auteur
- Rafaela C Brum, Pierre Sens, Luciana Arantes, Maria Clicia Castro, Lucia Maria de A. Drummond
- article
- SBAC-PAD 2022 – IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France. pp.253-262, ⟨10.1109/SBAC-PAD55451.2022.00036⟩
- Accès au texte intégral et bibtex
-
- titre
- Silent Anonymous Snap-Stabilizing Termination Detection
- auteur
- Lelia Blin, Colette Johnen, Gabriel Le Bouder, Franck Petit
- article
- 2022 41st International Symposium on Reliable Distributed Systems (SRDS), Sep 2022, Vienna, Austria. pp.156-165, ⟨10.1109/SRDS55811.2022.00023⟩
- Accès au 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
-
- 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
-
- 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
-
- titre
- MPR alternant : un algorithme de diffusion MANET équilibré
- auteur
- Aymeric Agon-Rambosson, Jonathan Lejeune, Julien Sopena, 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
-
- titre
- Shared memory for the actor model
- auteur
- Benoit Martin, Marc Shapiro
- article
- COMPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Laboratoire Modélisation, Informatique et Système – de l’Université de Picardie Jules Verne., Jul 2022, Amiens, France
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- titre
- Varda: A Framework for Compositional Distributed Programming
- auteur
- Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro
- article
- NETYS 2022 – 10th International Conference on Networked Systems, May 2022, Marrakech, Morocco. pp.16-30, ⟨10.1007/978-3-031-17436-0_2⟩
- Accès au texte intégral et 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
-
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
-
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
-
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
-
- titre
- Scheduling Bag-of-Tasks in Clouds using Spot and Burstable Virtual Machines
- auteur
- Luan Teylo, Luciana Arantes, Pierre Sens, Lucia Maria de A. Drummond
- article
- IEEE Transactions on Cloud Computing, 2021, pp.1-1. ⟨10.1109/TCC.2021.3125426⟩
- Accès au texte intégral et 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
-
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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 texte intégral et bibtex
-
- titre
- Réduire le coût de communication des algorithmes à phases par l’agrégation de messages : application à Paxos
- auteur
- Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou
- article
- COMPAS 2021 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon (virtuelle), France
- Accès au texte intégral et 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
-
- 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
-
- 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
-
Books
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- titre
- Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations
- auteur
- Hubert Comon, Simon Perdrix, Pierre Aboulker, Pablo Arrighi, Sandrine Blazy, Agnès Braud, Pierre Clairambault, Pascal Dayre, Rémy Dernat, Clarisse Dhaenens, Laurence Duchien, Amélie Gheerbrant, Nathalie Aussenac-Gilles, Jean-Marc Larré, Dominique Lavenier, Leo Liberti, Philippe Owezarski, Celine Scornavacca, Sylvain Sené, Pierre Senellart, Pierre Sens, Gilles Villard, Igor Walukiewicz, Laurent Weinhard.
- article
- CNRS. 2021
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- titre
- Evolution of solid-state random access memories – version 2
- auteur
- Philippe Darche
- article
- Techniques de l’Ingénieur, 2020
- Accès au 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Wireless Broadcast with short labelling
- auteur
- Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie
- article
- Networked Systems (NETYS 2020), Jun 2020, Marrakech, Morocco. pp.146-169, ⟨10.1007/978-3-030-67087-0_10⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Books
- 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
-
- 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
-
- 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
-
Reports
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Theses
- titre
- Distributed resource allocation for virtual networks
- auteur
- Guillaume Fraysse
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS480⟩
- Accès au texte intégral et bibtex
-
- titre
- MemOpLight : toward memory consolidation for containers thanks to application feedback
- 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
-
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
-
- titre
- Using differential execution analysis to identify thread interference
- auteur
- Mohamed Saïd Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Rémi 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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 texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- titre
- Geolocation and communication in post-disaster situations
- 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
-
- titre
- FreeCore : an index system of summary of documents on an Distributed Hash Table (DHT)
- auteur
- Bassirou Ngom
- article
- Recherche d’information [cs.IR]. Sorbonne Université; Université Cheikh Anta Diop (Dakar, Sénégal ; 1957-..), 2018. Français. ⟨NNT : 2018SORUS180⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward efficient dissemiation of voluminous data over dense wi-fi networks
- auteur
- Lyes Hamidouche
- article
- Informatique. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS188⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
