Publications

2024

Article dans une revue

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

Communication dans un congrès

titre

Optimal Memory Requirement for Self-Stabilizing Token Circulation

auteur

Lélia Blin, Gabriel Le Bouder, Franck Petit

article

SIROCCO 2024, May 2024, Salerno, Italy

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

Thèse

titre

Dynamic Adaptation in Stream Processing Systems

auteur

Daniel Wladdimiro

article

Computer Science [cs]. Sorbonne Université, 2024. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

2023

Article dans une revue

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

Communication dans un congrès

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

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

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

Chapitre d’ouvrage

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

Thèse

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

Pré-publication, Document de travail

titre

When Should You Wait Before Updating? Toward a Robustness Refinement

auteur

Swan Dubois, Laurent Feuilloley, Franck Petit, Mikaël Rabie

article

2023

Accès au texte intégral et bibtex

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

Article dans une revue

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

Communication dans un congrès

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

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

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

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

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

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

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

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

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

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

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

Rapport

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

Thèse

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

Article dans une revue

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

Communication dans un congrès

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 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

Ouvrages

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 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 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 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 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

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

Rapport

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

Thèse

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

Article dans une revue

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

Évolution des mémoires à semi-conducteurs à accès aléatoire – 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

Communication dans un congrès

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

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

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

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

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

Ouvrages

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 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 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

Rapport

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

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

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

Thèse

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

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

Pré-publication, Document de travail

titre

Wireless Broadcast with short labelling

auteur

Gewu Bu, Maria Potop-Butucaru, Mikael Rabie

article

2020

Accès au texte intégral et bibtex

2019

Article dans une revue

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 Said 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 bibtex

Communication dans un congrès

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

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

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

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

Chapitre d’ouvrage

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

Ouvrages

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

Brevet

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

Thèse

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

Article dans une revue

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

Communication dans un congrès

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

Rapport

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

Thèse

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

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

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

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

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

Pré-publication, Document de travail

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