-
1Academic Journal
Συγγραφείς: Fraigniaud, Pierre, Paz, Ami
Συνεισφορές: Pierre Fraigniaud and Ami Paz, Paz, Ami
Πηγή: Journal of Applied and Computational Topology. 8:1069-1098
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: 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
Συγγραφείς: Attiya, Hagit, Fraigniaud, Pierre, Paz, Ami, Rajsbaum, Sergio
Συνεισφορές: Hagit Attiya and Pierre Fraigniaud and Ami Paz and Sergio Rajsbaum, Paz, Ami
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
3Conference
Συγγραφείς: Fraigniaud, Pierre, Nguyen, Minh, Paz, Ami
Συνεισφορές: Pierre Fraigniaud and Minh Hang Nguyen and Ami Paz, Paz, Ami
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.47
-
4Conference
Συγγραφείς: Charron-Bost, Bernadette, Penet de Monterno, Louis
Συνεισφορές: CHARRON-BOST, Bernadette, Bernadette Charron-Bost and Louis Penet de Monterno
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2023.12
-
5Conference
Συγγραφείς: Charron-Bost, Bernadette, Penet de Monterno, Louis
Συνεισφορές: 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
Πηγή: 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⟩Θεματικοί όροι: 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
Συγγραφείς: Altisen, Karine, Devismes, Stéphane, Durand, Anaïs, Johnen, Colette, Petit, Franck
Συνεισφορές: 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)
Πηγή: 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.netΘεματικοί όροι: 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
Συγγραφείς: Kuznetsov, Petr, Pignolet, Yvonne-Anne, Ponomarev, Pavel, Tonkikh, Andrei
Συνεισφορές: 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)
Πηγή: DISC ; https://telecom-paris.hal.science/hal-03559627 ; DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Strasbourg, France
-
8Report
Συνεισφορές: 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
Πηγή: https://hal.science/hal-03821290 ; [Technical Report] CEA DILS. 2022.
Θεματικοί όροι: 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
Συγγραφείς: Nowak, Thomas, Rybicki, Joel
Συνεισφορές: 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)
Πηγή: 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⟩
Θεματικοί όροι: 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
Συγγραφείς: Défago, Xavier, Heriban, Adam, Tixeuil, Sébastien, Wada, Koichi
Συνεισφορές: 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
Πηγή: 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⟩Θεματικοί όροι: 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]