Výsledky vyhledávání - 2012 ACM Subject Classification Theory of computation → Distributed algorithms~
-
1
Autoři:
Přispěvatelé:
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 -
2
Autoři: a další
Přispěvatelé: 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
-
3
Autoři: a další
Přispěvatelé: 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
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: DISC 2023 - 37th International Symposium on Distributed Computing ; https://hal.science/hal-04290001 ; DISC 2023 - 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italie, Italy. pp.12:1--12:18, ⟨10.4230/LIPICS.DISC.2023.12⟩
Témata: 2012 ACM Subject Classification Theory of computation → Distributed algorithms, Theory of computation → Dynamic graph algorithms phrases Self-stabilization Clock synchronization Probabilistic networks, Theory of computation → Dynamic graph algorithms phrases Self-stabilization, Clock synchronization, Probabilistic networks, Self-stabilization, Theory of computation → Distributed algorithms, Theory of computation → Dynamic graph algorithms, [INFO]Computer Science [cs]
-
5
Autoři: a další
Přispěvatelé: 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]
-
6
Autoři: a další
Přispěvatelé: 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.netTé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
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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]
-
8
Autoři: a další
Přispěvatelé: 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
-
9
Autoři: a další
Přispěvatelé: 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]
-
10
Autoři: a další
Přispěvatelé: 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]
-
11
Autoři: a další
Přispěvatelé: 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 -
12
Autoři: a další
Přispěvatelé: a další
Témata: FOS: Computer and information sciences, Model checking, logic, Computer Science - Cryptography and Security, automata, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Theory of computation → Logic and verification phrases Model checking, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, byzantine failure, 0202 electrical engineering, electronic engineering, information engineering, 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Cryptography and Security (cs.CR)
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: Theory of computation → Automata over infinite objects, Monitoring, 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-SE] Computer Science [cs]/Software Engineering [cs.SE], Decentralized systems, Runtime verification, Theory of computation → Regular languages, Timed expressions, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Computer systems organization → Real-time system specification phrases Timed expressions, Asynchronous communication, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs...12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, ddc:004, Theory of computation → Rewrite systems, Timed properties
Popis souboru: application/pdf
-
14
Autoři: BOONE, Randall B.1 Randall.Boone@ColoState.edu
Zdroj: Current Zoology. 2017, Vol. 63 Issue 6, p675-686. 12p.
Plný text ve formátu PDF -
15
Autoři:
Zdroj: IEEE Transactions on Neural Networks & Learning Systems; Mar2020, Vol. 31 Issue 3, p801-812, 12p
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: DISC 2020 - 34th International Symposium on DIStributed Computing ; https://hal.science/hal-02946883 ; DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩
Témata: birth-death processes, majority consensus, microbiological circuits, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2003.09972; ARXIV: 2003.09972
-
17
Autoři: De Palo, Pasquale (AUTHOR)
Zdroj: Italian Journal of Animal Science. Jun2023 Supplement 1, Vol. 22, p1-320. 320p.
Plný text ve formátu PDF -
18
Autoři: a další
Resource Type: eBook.
Témata: Computer algorithms--Mathematics, Big data
Plný text ve formátu PDF Plný text ve formátu ePub -
19
Autoři: a další
Resource Type: eBook.
Témata: Computer science
Categories: COMPUTERS / General
Plný text ve formátu PDF -
20
Full Text Finder 
Nájsť tento článok vo Web of Science