Výsledky vyhledávání - "Theory of computation → Distributed algorithms"

The topology of local computing in networks

Autoři: Fraigniaud, Pierre Paz, Ami Pierre Fraigniaud and Ami Paz

Přispěvatelé: Fraigniaud, Pierre Paz, Ami Pierre Fraigniaud and Ami Paz

Zdroj: Journal of Applied and Computational Topology. 8:1069-1098

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Mining in Logarithmic Space with Variable Difficulty

Autoři: Miller, Loïc Pacaud, Dorian Derousseaux-Lebert, Nathanaël a další

Přispěvatelé: Miller, Loïc Pacaud, Dorian Derousseaux-Lebert, Nathanaël a další

Témata: • Theory of computation → Distributed algorithms, • Computing methodologies → Concurrent algorithms, Security and privacy → Distributed systems security, [INFO] Computer Science [cs]

Popis souboru: application/pdf

Přístupová URL adresa: https://cnrs.hal.science/hal-05294549v1
https://cnrs.hal.science/hal-05294549v1/document
https://doi.org/10.1145/3719027.3744874

On the $h$-majority dynamics with many opinions

Autoři: d'Amore, Francesco d'Archivio, Niccolò Giakkoupis, George a další

Přispěvatelé: d'Amore, Francesco d'Archivio, Niccolò Giakkoupis, George a další

Témata: FOS: Computer and information sciences, Networks → Network protocols, Consensus Problem, Mathematics of computing → Probabilistic algorithms, Randomized Algorithms, Plurality Consensus, [INFO] Computer Science [cs], Parallel, Distributed Algorithms, Markov Chains, Distributed, Applied computing → Systems biology, and Cluster Computing (cs.DC), Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004, Opinion dynamics, Mathematics of computing → Markov processes, Multiagent Systems, Multiagent Systems (cs.MA)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2506.20218
https://hal.science/hal-05198643v1/document
https://hal.science/hal-05198643v1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.27
https://hal.science/hal-05198643v1/document
https://doi.org/10.4230/lipics.disc.2025.27
https://hal.science/hal-05198643v1

Fast and Lightweight Distributed Suffix Array Construction

Autoři: Haag, Manuel Kurpicz, Florian Sanders, Peter a další

Zdroj: ISSN: 1868-8969.

Témata: Distributed Computing, Suffix Array Construction, Theory of computation → Distributed algorithms, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Popis souboru: application/pdf

Relation: Leibniz International Proceedings in Informatics (LIPIcs); info:eu-repo/semantics/altIdentifier/issn/1868-8969; https://publikationen.bibliothek.kit.edu/1000187240; https://publikationen.bibliothek.kit.edu/1000187240/169679610; https://doi.org/10.5445/IR/1000187240

Dostupnost: https://publikationen.bibliothek.kit.edu/1000187240
https://publikationen.bibliothek.kit.edu/1000187240/169679610
https://doi.org/10.5445/IR/1000187240

Complexity Landscape for Local Certification

Autoři: Bousquet, Nicolas Feuilloley, Laurent Zeitoun, Sébastien a další

Přispěvatelé: Bousquet, Nicolas Feuilloley, Laurent Zeitoun, Sébastien a další

Zdroj: 39th International Symposium on Distributed Computing
https://hal.science/hal-05369384
39th International Symposium on Distributed Computing, Oct 2025, Berlin, Germany. ⟨10.4230/LIPICS.DISC.2025.18⟩

Témata: complexity gap, Theory of computation → Distributed algorithms, distributed graph algorithms, space complexity, locally checkable proofs, proof-labeling schemes, Local certification, [INFO]Computer Science [cs], [MATH]Mathematics [math]

Geografické téma: Berlin, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2505.20915; ARXIV: 2505.20915

Dostupnost: https://hal.science/hal-05369384
https://hal.science/hal-05369384v1/document
https://hal.science/hal-05369384v1/file/LIPIcs.DISC.2025.18.pdf
https://doi.org/10.4230/LIPICS.DISC.2025.18

On the h-majority dynamics with many opinions

Autoři: d'Amore, Francesco d'Archivio, Niccolò Giakkoupis, George a další

Přispěvatelé: d'Amore, Francesco d'Archivio, Niccolò Giakkoupis, George a další

Zdroj: 39th International Symposium on Distributed Computing (DISC 2025)
https://hal.science/hal-05198643
39th International Symposium on Distributed Computing (DISC 2025), European Association for Theoretical Computer Science (EATCS), Oct 2025, Berlin, Germany. ⟨10.4230/LIPIcs.DISC.2025.27⟩

Témata: Consensus Problem, Networks → Network protocols, Applied computing → Systems biology, Mathematics of computing → Markov processes, Mathematics of computing → Probabilistic algorithms, Theory of computation → Distributed algorithms, Plurality Consensus, Opinion dynamics, Markov Chains, Randomized Algorithms, Distributed Algorithms, Distributed, Parallel, and Cluster Computing (cs.DC), Multiagent Systems (cs.MA), FOS: Computer and information sciences, [INFO]Computer Science [cs]

Geografické téma: Berlin, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2506.20218; ARXIV: 2506.20218

Dostupnost: https://hal.science/hal-05198643
https://hal.science/hal-05198643v1/document
https://hal.science/hal-05198643v1/file/arxiv.pdf
https://doi.org/10.4230/LIPIcs.DISC.2025.27

Streamlining Distributed SAT Solver Design

Autoři: Schreiber, Dominik Rigi-Luperti, Niccolò Biere, Armin

Zdroj: ISSN: 1868-8969.

Témata: Satisfiability, parallel SAT solving, distributed computing, preprocessing, Hardware → Theorem proving and SAT solving, Theory of computation → Distributed algorithms, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Relation: Leibniz International Proceedings in Informatics (LIPIcs); info:eu-repo/semantics/altIdentifier/isbn/978-3-9597738-1-2; info:eu-repo/semantics/altIdentifier/issn/1868-8969; https://publikationen.bibliothek.kit.edu/1000186448

Dostupnost: https://publikationen.bibliothek.kit.edu/1000186448

Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts

Autoři: Anagnostides, Ioannis Lenzen, Christoph Haeupler, Bernhard a další

Přispěvatelé: Anagnostides, Ioannis Lenzen, Christoph Haeupler, Bernhard a další

Zdroj: 36th International Symposium on Distributed Computing
Leibniz International Proceedings in Informatics
Leibniz International Proceedings in Informatics (LIPIcs), 246
36th International Symposium on Distributed Computing (DISC 2022)
Distributed Computing, 36 (4)

Témata: FOS: Computer and information sciences, Universal optimality, Distributed algorithms, Laplacian solvers, low-congestion shortcuts, 0102 computer and information sciences, 01 natural sciences, Low-congestion shortcuts, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004

Popis souboru: application/pdf; application/xhtml+xml; application/application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2109.05151
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.6
http://hdl.handle.net/21.11116/0000-000C-7314-C
http://hdl.handle.net/21.11116/0000-000C-731B-5
http://hdl.handle.net/21.11116/0000-0009-B841-E
http://hdl.handle.net/21.11116/0000-0009-B83F-2
http://hdl.handle.net/20.500.11850/579757
http://hdl.handle.net/20.500.11850/627797

Brief Announcement: Solvability of Three-Process General Tasks

Autoři: Attiya, Hagit Fraigniaud, Pierre Paz, Ami a další

Přispěvatelé: Attiya, Hagit Fraigniaud, Pierre Paz, Ami a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.42
https://hal.science/hal-04799398v1
https://hal.science/hal-04799398v1/document
https://doi.org/10.4230/lipics.disc.2024.42

Brief Announcement: Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structures

Autoři: Fraigniaud, Pierre Nguyen, Minh Paz, Ami a další

Přispěvatelé: Fraigniaud, Pierre Nguyen, Minh Paz, Ami a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.47

Distributed Partial Coloring via Gradual Rounding

Autoři: Das, Avinandan Fraigniaud, Pierre Rosén, Adi a další

Přispěvatelé: Das, Avinandan Fraigniaud, Pierre Rosén, Adi a další

Témata: partial coloring, weak coloring, Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, Distributed graph coloring

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.30

Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary

Autoři: Albouy, Timothé Frey, Davide Gelles, Ran a další

Přispěvatelé: Albouy, Timothé Frey, Davide Gelles, Ran a další

Témata: Message adversary, Reliable Broadcast, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], ddc:004, Theory of computation → Distributed algorithms, Asynchronous message-passing, Byzantine fault-tolerance

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04889285v1/document
https://inria.hal.science/hal-04889285v1
https://doi.org/10.4230/lipics.disc.2024.41
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.41

Self-Stabilizing Clock Synchronization in Probabilistic Networks

Autoři: Charron-Bost, Bernadette Penet de Monterno, Louis CHARRON-BOST, Bernadette a další

Přispěvatelé: Charron-Bost, Bernadette Penet de Monterno, Louis CHARRON-BOST, Bernadette a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2023.12

Efficient Renaming in Sequence CRDTs

Autoři: Matthieu Nicolas Gerald Oster Olivier Perrin a další

Přispěvatelé: Matthieu Nicolas Gerald Oster Olivier Perrin a další

Zdroj: IEEE Transactions on Parallel and Distributed Systems. 33:3870-3885

Témata: eventual consistency, Replication, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], • Human-centered computing → Collaborative and social computing systems and tools, 02 engineering and technology, CCS Concepts • Theory of computation → Distributed algorithms, Eventual consistency, memory-wise optimisation, real-time collaborative editing, Keywords CRDTs, CRDTs, • Software and its engineering → Consis- tency, Real-time collaborative editing, • Applied com- puting → Text editing, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, performance

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-02526724v2/file/main.pdf
https://inria.hal.science/hal-02526724v2

Secure Distributed Network Optimization Against Eavesdroppers

Autoři: Hitron, Yael Parter, Merav Yogev, Eylon a další

Přispěvatelé: Hitron, Yael Parter, Merav Yogev, Eylon a další

Témata: network optimization, Networks → Network algorithms, Theory of computation → Distributed algorithms, ddc:004, congest, secure computation

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2023.71

Distributed Certification for Classes of Dense Graphs

Autoři: Fraigniaud, Pierre Mazoit, Frédéric Montealegre, Pedro a další

Přispěvatelé: Fraigniaud, Pierre Mazoit, Frédéric Montealegre, Pedro a další

Témata: FOS: Computer and information sciences, Proof Labelling Schemes, Computer Science - Distributed, Parallel, and Cluster Computing, MSO, CONGEST, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, clique-width

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2307.14292
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2023.20
https://hal.science/hal-04378938v1
https://doi.org/10.4230/lipics.disc.2023.20

One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks

Autoři: Attiya, Hagit Fraigniaud, Pierre Paz, Ami a další

Přispěvatelé: Attiya, Hagit Fraigniaud, Pierre Paz, Ami a další

Témata: FOS: Computer and information sciences, lower bounds, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, Wait-free computing

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2308.04213
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2023.4
https://universite-paris-saclay.hal.science/hal-04286627v1
https://doi.org/10.4230/lipics.disc.2023.4

Making Self-Stabilizing Algorithms for Any Locally Greedy Problem

Autoři: Cohen, Johanne Pilard, Laurence Sénizergues, Jonas a další

Přispěvatelé: Cohen, Johanne Pilard, Laurence Sénizergues, Jonas a další

Témata: [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Ruling Set, [SCCO.COMP] Cognitive science/Computer science, Self-Stabilizing Algorithm, Distance-K Coloring, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Greedy Problem, Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2023.11

Checking Presence Reachability Properties on Parameterized Shared-Memory Systems

Autoři: Waldburger, Nicolas Nicolas Waldburger

Přispěvatelé: Waldburger, Nicolas Nicolas Waldburger

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Verification, Computer Science - Formal Languages and Automata Theory, Model Checking, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Distributed algorithms, Parameterized models, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Theory of computation → Distributed algorithms, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2306.17476
https://hal.science/hal-04394124v1
https://doi.org/10.4230/lipics.mfcs.2023.88
https://hal.science/hal-04394124v1/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.88

Self-Stabilizing Clock Synchronization in Dynamic Networks

Autoři: Charron-Bost, Bernadette Penet de Monterno, Louis Département d'informatique - ENS-PSL (DI-ENS) a další

Přispěvatelé: Charron-Bost, Bernadette Penet de Monterno, Louis Département d'informatique - ENS-PSL (DI-ENS) a další

Zdroj: 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⟩

Témata: 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]

Geografické téma: Brussels, Belgium

Dostupnost: https://hal.science/hal-04287797
https://hal.science/hal-04287797v1/document
https://hal.science/hal-04287797v1/file/article.pdf
https://doi.org/10.4230/LIPICS.OPODIS.2022.28