Výsledky vyhledávání - 2012 ACM Subject Classification : 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

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

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

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

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

Self-stabilizing Systems in Spite of High Dynamics

Autoři: Altisen, Karine Devismes, Stéphane Durand, Anaïs a další

Přispěvatelé: Altisen, Karine Devismes, Stéphane Durand, Anaïs a další

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

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

Geografické téma: Nara, Japan

Dostupnost: https://hal.science/hal-02376832
https://hal.science/hal-02376832v3/document
https://hal.science/hal-02376832v3/file/ADDJP2020.pdf
https://doi.org/10.1145/3427796.3427838

brief announcement model checking rendezvous algorithms for robots with lights in euclidean space

Autoři: Défago, Xavier Heriban, Adam Tixeuil, Sébastien a další

Přispěvatelé: Défago, Xavier Heriban, Adam Tixeuil, Sébastien a další

Témata: Theory of computation → Self-organization Keywords and phrases Autonomous mobile robots, Theory of computation → Verification by model checking, Rendezvous, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Computer systems organization → Robotic autonomy, Lights, ddc:004, Autonomous mobile robots, Model Checking

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-02394992
https://doi.org/10.4230/LIPIcs.DISC.2019.41
https://dblp.uni-trier.de/db/conf/wdag/disc2019.html#DefagoHTW19
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2019.41
https://hal.sorbonne-universite.fr/hal-02394992v1/document
https://hal.sorbonne-universite.fr/hal-02394992v1
https://doi.org/10.4230/lipics.disc.2019.41

Permissionless and Asynchronous Asset Transfer

Autoři: Kuznetsov, Petr Pignolet, Yvonne-Anne Ponomarev, Pavel a další

Přispěvatelé: Kuznetsov, Petr Pignolet, Yvonne-Anne Ponomarev, Pavel a další

Zdroj: DISC ; https://telecom-paris.hal.science/hal-03559627 ; DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩

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

Geografické téma: Strasbourg, France

Dostupnost: https://telecom-paris.hal.science/hal-03559627
https://telecom-paris.hal.science/hal-03559627v1/document
https://telecom-paris.hal.science/hal-03559627v1/file/LIPIcs-DISC-2021-28.pdf
https://doi.org/10.4230/LIPIcs.DISC.2021.28

Decentralised Runtime Verification of Timed Regular Expressions

Autoři: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Přispěvatelé: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Zdroj: TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning ; https://inria.hal.science/hal-03911668 ; TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs.12⟩

Témata: 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs.12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, Theory of computation → Regular languages, Theory of computation → Rewrite systems, Theory of computation → Automata over infinite objects, Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Online, France

Dostupnost: https://inria.hal.science/hal-03911668
https://inria.hal.science/hal-03911668v1/document
https://inria.hal.science/hal-03911668v1/file/time22.pdf
https://doi.org/10.4230/LIPIcs.12

Byzantine Approximate Agreement on Graphs

Autoři: Nowak, Thomas Rybicki, Joel Laboratoire de Recherche en Informatique (LRI) a další

Přispěvatelé: Nowak, Thomas Rybicki, Joel Laboratoire de Recherche en Informatique (LRI) a další

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

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

Geografické téma: Budapest, Hungary

Dostupnost: https://hal.science/hal-02946844
https://hal.science/hal-02946844v1/document
https://hal.science/hal-02946844v1/file/convexity.pdf
https://doi.org/10.4230/LIPIcs.DISC.2019.29

Ethereum Proof-of-Stake under Scrutiny (Extended Version)

Autoři: Pavloff, Ulysse Amoussou-Guenou, Yackolley Tucci-Piergiovanni, Sara a další

Přispěvatelé: Pavloff, Ulysse Amoussou-Guenou, Yackolley Tucci-Piergiovanni, Sara a další

Zdroj: https://hal.science/hal-03821290 ; [Technical Report] CEA DILS. 2022.

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

Dostupnost: https://hal.science/hal-03821290
https://hal.science/hal-03821290v2/document
https://hal.science/hal-03821290v2/file/ethereum_under_scrutiny.pdf

Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally

Autoři: Foerster, Klaus Tycho Hirvonen, Juho Pignolet, Yvonne-Anne a další

Přispěvatelé: Foerster, Klaus Tycho Hirvonen, Juho Pignolet, Yvonne-Anne a další

Témata: ta113, 2012 ACM Subject Classification Networks → Routing protocols, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Resilience, Theory of computation → Distributed algorithms phrases Resilience, Local failover, Computer systems organization → Dependable and fault-tolerant systems and networks, ddc:004, 102025 Distributed systems, 102025 Verteilte Systeme, Local Failover

Popis souboru: application/pdf

Přístupová URL adresa: http://juuli.fi/Record/0371443220
https://doi.org/10.4230/LIPIcs.DISC.2020.46
https://ucrisportal.univie.ac.at/de/publications/05f8acd8-b4db-408e-a18e-0b5246943e16
https://doi.org/10.4230/LIPIcs.DISC.2020.46
https://dblp.uni-trier.de/db/conf/wdag/disc2020.html#FoersterHP0T20
https://hal.archives-ouvertes.fr/hal-03049117/
https://hal.laas.fr/hal-03049117/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.46
https://aaltodoc.aalto.fi/handle/123456789/101452

A Survey on Adversarial Contention Resolution.

Autoři: Banicescu, Ioana Chakraborty, Trisha Gilbert, Seth a další

Zdroj: ACM Computing Surveys; Nov2025, Vol. 57 Issue 11, p1-37, 37p

Témata: INFORMATION technology, DATA structures, DISCRETE mathematics, COMPUTER networks, ONLINE algorithms, WIRELESS channels, DETERMINISTIC algorithms

Tight Bounds for Asymptotic and Approximate Consensus.

Autoři: FÜGGER, MATTHIAS NOWA, THOMAS SCHWARZ, MANFRED

Zdroj: Journal of the ACM; Dec2021, Vol. 68 Issue 6, p1-35, 35p

Témata: DISTRIBUTED algorithms, DISTRIBUTED computing, TOPOLOGICAL property, VALENCE (Chemistry)

Lower Bounds for Local Approximation.

Autoři: GÖÖS, MIKA HIRVONEN, JUHO SUOMELA, JUKKA

Zdroj: Journal of the ACM; Oct2013, Vol. 60 Issue 5, p1-23, 23p

Témata: APPROXIMATION theory, FUNCTIONAL analysis, MATHEMATICAL functions, ALGORITHMS, COMPUTER network resources

Interactive Nearest Lattice Point Search in a Distributed Setting: Two Dimensions.

Autoři: Vaishampayan, Vinay A. Bollauf, Maiara F.

Zdroj: IEEE Transactions on Communications; Aug2022, Vol. 70 Issue 8, p5128-5139, 12p

Témata: ERROR probability, ERROR functions, MATRIX decomposition, EXPONENTS

Stateful Serverless Computing with Crucial.

Autoři: BARCELONA-PONS, DANIEL SUTRA, PIERRE SÁNCHEZ-ARTIGAS, MARC a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-38, 38p

Témata: MONTE Carlo method, SCIENTIFIC computing, K-means clustering, SERVER farms (Computer network management), LOGISTIC regression analysis, MACHINE learning

ALMOST-OPTIMAL GOSSIP-BASED AGGREGATE COMPUTATION.

Autoři: Jen-Yeu Chen Pandurangan, Gopal

Zdroj: SIAM Journal on Computing; 2012, Vol. 41 Issue 3, p455-483, 29p

Témata: COMPUTER network protocols, ALGORITHMS, ROBUST control, AUTOMATIC control systems, CONTROL theory (Engineering)

An Efficient Blockchain-Based Healthcare System Using Artificial Intelligence.

Autoři: Ali, Aitizaz Pasha, Muhammad Fermi Ong Huey Fang a další

Zdroj: Computers, Materials & Continua; 2022, Vol. 71 Issue 2, p2721-2738, 18p

Témata: MEDICAL records, ELECTRONIC health records, ARTIFICIAL intelligence, MEDICAL technology, DIGITAL control systems, ACCESS control

An energy-efficient and accuracy-aware edge computing framework for heart arrhythmia detection: A joint model selection and task offloading approach.

Autoři: Amini, Vahid Momtazpour, Mahmoud Saheb Zamani, Morteza

Zdroj: Journal of Supercomputing; May2023, Vol. 79 Issue 8, p8178-8204, 27p

Témata: EDGE computing, ARRHYTHMIA, PROCESS capability, CHOICE (Psychology), COMPUTER performance, ENERGY industries