-
1Academic Journal
Authors: Fraigniaud, Pierre, Paz, Ami
Contributors: Pierre Fraigniaud and Ami Paz, Paz, Ami
Source: Journal of Applied and Computational Topology. 8:1069-1098
Subject Terms: combinatorial topology, FOS: Computer and information sciences, 0102 computer and information sciences, 02 engineering and technology, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Distributed computing, [INFO] Computer Science [cs], 01 natural sciences, 7. Clean energy, Distributed computing, 102031 Theoretische Informatik, Computer Science - Distributed, Parallel, and Cluster Computing, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Distributed computing distributed graph algorithms combinatorial topology, distributed graph algorithms, 102031 Theoretical computer science, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004
File Description: application/pdf
Linked Full TextAccess URL: http://arxiv.org/abs/2003.03255
https://ucrisportal.univie.ac.at/de/publications/8b94d914-dcb8-4035-a20f-89f5b9cfd352
https://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-03255
https://doi.org/10.4230/LIPIcs.ICALP.2020.128
https://arxiv.org/pdf/2003.03255
http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-03255
https://drops.dagstuhl.de/opus/volltexte/2020/12535/pdf/LIPIcs-ICALP-2020-128.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/12535/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.128 -
2Conference
Authors: Attiya, Hagit, Fraigniaud, Pierre, Paz, Ami, Rajsbaum, Sergio
Contributors: Hagit Attiya and Pierre Fraigniaud and Ami Paz and Sergio Rajsbaum, Paz, Ami
Subject Terms: lower bounds, topology, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Wait-free computing lower bounds topology Digital Object Identifier 10.4230/LIPIcs.DISC.2024.42, topology Digital Object Identifier 10.4230/LIPIcs.DISC.2024.42, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Wait-free computing, Wait-free computing
File Description: application/pdf
-
3Conference
Authors: Fraigniaud, Pierre, Nguyen, Minh, Paz, Ami
Contributors: Pierre Fraigniaud and Minh Hang Nguyen and Ami Paz, Paz, Ami
Subject Terms: Consensus, crash failures, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Consensus set-agreement fault tolerance crash failures. Digital Object Identifier 10.4230/LIPIcs, crash failures Digital Object Identifier 10.4230/LIPIcs.DISC.2024.47, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Keywords and phrases Consensus set-agreement fault tolerance crash failures Digital Object Identifier 10.4230/LIPIcs.DISC.2024.47, [INFO] Computer Science [cs], crash failures. Digital Object Identifier 10.4230/LIPIcs, set-agreement, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Keywords and phrases Consensus, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], fault tolerance, Theory of computation → Distributed algorithms, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Consensus, ddc:004
File Description: application/pdf
-
4Conference
Contributors: CHARRON-BOST, Bernadette, Bernadette Charron-Bost and Louis Penet de Monterno
Subject Terms: Theory of computation → Dynamic graph algorithms, Probabilistic networks, Clock synchronization, Theory of computation → Dynamic graph algorithms phrases Self-stabilization Clock synchronization Probabilistic networks, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, ddc:004, Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], Self-stabilization, Theory of computation → Dynamic graph algorithms phrases Self-stabilization
File Description: application/pdf
-
5Conference
Contributors: Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Analyse Statique par Interprétation Abstraite (ANTIQUE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Sciences et Lettres (PSL), École polytechnique (X), Institut Polytechnique de Paris (IP Paris), Etienne Rivière
Source: 26th International Conference on Principles of Distributed Systems
OPODIS 2022 - 26th International Conference on Principles of Distributed Systems
https://hal.science/hal-04287797
OPODIS 2022 - 26th International Conference on Principles of Distributed Systems, Etienne Rivière, Dec 2022, Brussels, Belgium. pp.28:1-28:17, ⟨10.4230/LIPICS.OPODIS.2022.28⟩Subject Terms: 2012 ACM Subject Classification Theory of computation → Distributed algorithms, Theory of computation → Dynamic graph algorithms phrases Self-stabilization -Clock synchronization -Dynamic networks Digital Object Identifier 10 4230/LIPIcs DISC 2022 0, Theory of computation → Dynamic graph algorithms phrases Self-stabilization -Clock synchronization -Dynamic networks Digital Object Identifier 10, Self-stabilization, Clock synchronization, Dynamic networks, Theory of computation → Distributed algorithms, Theory of computation → Dynamic graph algorithms, [INFO]Computer Science [cs]
-
6Conference
Contributors: VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), DistributEd aLgorithms and sYStems (DELYS), Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), This study has been partially supported by the ANR project Estate (ANR-16-CE25-0009), LaBRI, CNRS UMR 5800, ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016)
Source: 22nd International Conference on Distributed Computing and Networking, ICDCN'21
https://hal.science/hal-02376832
22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
http://www.icdcn2021.netSubject Terms: Speculation, Self-stabilization, Leader election, Tiime-varying graphs, Evolving graphs, 2012 ACM Subject Classification : Theory of computation→Distributed algorithms, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing
-
7Conference
Contributors: Institut Polytechnique de Paris (IP Paris), Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris), Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Département Informatique et Réseaux (INFRES), Télécom ParisTech, ABB Corporate Research Västerås, Vysšaja škola èkonomiki = National Research University Higher School of Economics Moscow (HSE)
Source: DISC ; https://telecom-paris.hal.science/hal-03559627 ; DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Distributed algorithms phrases Asset transfer, permissionless, asynchronous, dynamic adversary supported by TrustShare Innovation Chair, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Strasbourg, France
-
8Report
Contributors: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Centre de Recherche en Economie et Droit (CRED), Université Paris-Panthéon-Assas, CEA DILS
Source: https://hal.science/hal-03821290 ; [Technical Report] CEA DILS. 2022.
Subject Terms: Liveness, Availability, Bouncing attack, Ethereum, Ethereum Proof-of-Stake, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, Computer systems organization → Dependable and fault-tolerant systems and networks phrases Ethereum Proof-of-Stake, Bouncing attack Digital Object Identifier 10.4230/OASIcs, Ethereum Proof-of-Stake Liveness Availability Bouncing attack, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
9Conference
Authors: Nowak, Thomas, Rybicki, Joel
Contributors: Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institute of Science and Technology Klosterneuburg, Austria (IST Austria)
Source: International Symposium on DIStributed Computing (DISC) 2019 ; https://hal.science/hal-02946844 ; International Symposium on DIStributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary. ⟨10.4230/LIPIcs.DISC.2019.29⟩
Subject Terms: lattice agreement, chordal graphs, Byzantine faults, approximate agreement, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Keywords and phrases consensus, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
10Conference
Authors: Défago, Xavier, Heriban, Adam, Tixeuil, Sébastien, Wada, Koichi
Contributors: Tokyo Institute of Technology Tokyo (TITECH), Networks and Performance Analysis (NPA), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratory of Information, Network and Communication Sciences (LINCS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT)-Sorbonne Université (SU), Hosei University
Source: 33rd International Symposium on Distributed Computing (DISC 2019)
https://hal.sorbonne-universite.fr/hal-02394992
33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩Subject Terms: Model Checking, Lights, Rendezvous, Theory of computation → Self-organization Keywords and phrases Autonomous mobile robots, Computer systems organization → Robotic autonomy, Theory of computation → Verification by model checking, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]