Search Results - "Theory of computation~Distributed computing models"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: reductions and completeness, finite dynamical systems, Computer Science - Computational Complexity, Theory of computation → Distributed computing models, Theory of computation → Problems, [INFO] Computer Science [cs], ddc:004, block-parallel update schedule, Boolean networks, Computer Science - Discrete Mathematics
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Locally checkable labelings, FOS: Computer and information sciences, Theory of computation → Pseudorandomness and derandomization, Distributed algorithm, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Distributed computing models, Local model, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], LOCAL model, Derandomization, Distributed, Parallel, and Cluster Computing (cs.DC), Distributed Algorithms
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Consensus, Asynchrony, Computer systems organization → Fault-tolerant network topologies, Characterization, Test&, Lattice agreement, [INFO] Computer Science [cs], Test&Set, Message-passing, Read/Write register, Distributed Computability, Broadcast abstraction, Networks → Programming interfaces, Computability, Two-process communication, Message pattern, Distributed software engineering, Crash failure, Simplicity, Mutual exclusion, Theory of computation → Distributed computing models, ddc:004, Atomicity, Quorum, Read/write pattern, Set, amp
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Source: 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Subject Terms: local-first software, Software and its engineering → Distributed programming languages, Software and its engineering → Distributed systems organizing principles, publish-subscribe, Theory of computation → Distributed computing models, Distributed coordination, behavioural types, ddc:004, asynchronous communication
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
-
6
Authors: et al.
Contributors: et al.
Source: PODC '22: ACM Symposium on Principles of Distributed Computing ; https://hal.science/hal-04465383 ; PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno Italy, Italy. pp.209-219, ⟨10.1145/3519270.3538446⟩
Subject Terms: • Theory of computation → Distributed computing models Concurrent algorithms Distributed algorithms • Computing methodologies → Distributed algorithms Concurrent algorithms Concurrent Objects Strong Linearizability Randomized Programs ABD Simulation Atomic Snapshots Shared registers, • Theory of computation → Distributed computing models, Concurrent algorithms, Distributed algorithms, • Computing methodologies → Distributed algorithms, Concurrent algorithms Concurrent Objects, Strong Linearizability, Randomized Programs, ABD Simulation, Atomic Snapshots, Shared registers, [INFO]Computer Science [cs]
Subject Geographic: Salerno Italy, Italy
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Failure Handling, Scala, Theory of computation → Process calculi, Theory of computation → Distributed computing models, Concurrency, Session Types, ddc:004, Software and its engineering → Source code generation, Software and its engineering → Concurrent programming languages, Code Generation
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Source: 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022
Journal of Computer and System SciencesSubject Terms: 0106 biological sciences, FOS: Computer and information sciences, fast, succinct, population computers, 0102 computer and information sciences, 01 natural sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Distributed computing models, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, population protocols, F.1.1
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: 33rd International Conference on Concurrency Theory, CONCUR 2022
Subject Terms: π-calculus, Depth-bounded processes, Theory of computation → Distributed computing models, Theory of computation → Problems, reductions and completeness, ddc:004, Fast-growing complexity classes
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: FOS: Computer and information sciences, Impossibility proofs, Computing methodologies → Concurrent algorithms, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Concurrent Objects, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, Shared registers, Theory of computation → Distributed computing models, Theory of computation → Concurrent algorithms, Message-passing systems, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004, Strong linearizability, BG simulation
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021
Subject Terms: Bounded path networks, Theory of computation → Distributed computing models, Parameterized verification, Theory of computation → Problems, reductions and completeness, ddc:004, Fast-growing complexity classes
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04087447 ; 2023.
Subject Terms: Mutual exclusion, Two-process communication, Simplicity, Test&Set, Read/Write register, Read/write pattern, Quorum, Message pattern, Message-passing, Lattice agreement, Distributed software engineering, Crash failure, Consensus, Characterization, Broadcast abstraction, Atomicity, Asynchrony, CCS Concepts: • Theory of computation → Distributed computing models, • Computer systems organiza-tion → Fault-tolerant network topologies, • Networks → Programming interfaces, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
13
Authors:
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: 31st International Conference on Concurrency Theory, CONCUR 2020
Subject Terms: FOS: Computer and information sciences, consensus problem, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Heard-Of model, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Logic in Computer Science (cs.LO), Theory of computation → Distributed computing models, Software and its engineering → Software verification, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, verification
File Description: application/pdf
Access URL: http://arxiv.org/abs/2004.09621
https://drops.dagstuhl.de/opus/volltexte/2020/12821/
https://doi.org/10.4230/LIPIcs.CONCUR.2020.9
https://drops.dagstuhl.de/opus/volltexte/2020/12821/pdf/LIPIcs-CONCUR-2020-9.pdf/
https://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-09621
https://arxiv.org/abs/2004.09621
http://doi.org/10.4230/LIPIcs.CONCUR.2020.9
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.9
https://hal.science/hal-03023767v1
https://doi.org/10.4230/lipics.concur.2020.9
https://hal.science/hal-03023767v1/document -
15
Authors: et al.
Contributors: et al.
Source: 31st International Conference on Concurrency Theory, CONCUR 2020
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Concurrency, Flattability, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Parameterized Verification, Reachability Analysis, Theory of computation → Distributed computing models, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Petri Nets
File Description: application/pdf
Access URL: http://arxiv.org/abs/2001.09966
https://drops.dagstuhl.de/opus/volltexte/2020/12857/pdf/LIPIcs-CONCUR-2020-45.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/12857/
https://dblp.uni-trier.de/db/conf/concur/concur2020.html#RaskinWE20
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.45 -
16
Authors: et al.
Contributors: et al.
Subject Terms: General and reference → Performance, Consensus, Software and its engineering → Distributed systems organizing principles, Theory of computation → Distributed computing models, Fault Tolerance, ddc:004, State Machine Replication
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Source: 31st International Conference on Concurrency Theory, CONCUR 2020
Subject Terms: FOS: Computer and information sciences, Concurrency theory, Asynchrony, 9. Industry and infrastructure, Formal Languages and Automata Theory (cs.FL), 4. Education, Weak models of distributed computing, Theory of computation → Concurrency, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 3. Good health, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Distributed computing models, 11. Sustainability, Theory of computation → Automata extensions, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, 10. No inequality, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
Access URL: http://arxiv.org/abs/2007.03291
https://drops.dagstuhl.de/opus/volltexte/2020/12822/pdf/LIPIcs-CONCUR-2020-10.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/12822/
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-03291
https://doi.org/10.4230/LIPIcs.CONCUR.2020.10
https://arxiv.org/abs/2007.03291
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.10
https://hal.science/hal-03678065v1/document
https://doi.org/10.4230/lipics.concur.2020.10
https://hal.science/hal-03678065v1 -
18
Authors: et al.
Contributors: et al.
Source: Leibniz International Proceedings in Informatics (LIPIcs), 179
34th International Symposium on Distributed Computing (DISC 2020)
34th International Symposium on Distributed ComputingSubject Terms: ta113, FOS: Computer and information sciences, LOCAL model, graph problems, locally checkable labeling problems, distributed computational complexity, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, Computer Science - Computational Complexity, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Distributed computing models, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Theory of computation → Complexity classes
File Description: application/pdf; application/application/pdf
Access URL: http://arxiv.org/abs/1911.13294
http://juuli.fi/Record/0371446220
https://doi.org/10.4230/LIPIcs.DISC.2020.17
https://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-13294
https://drops.dagstuhl.de/opus/volltexte/2020/13095/pdf/LIPIcs-DISC-2020-17.pdf/
https://doi.org/10.4230/LIPIcs.DISC.2020.17
https://www.research-collection.ethz.ch/handle/20.500.11850/466923
https://drops.dagstuhl.de/opus/volltexte/2020/13095/
https://www.arxiv-vanity.com/papers/1911.13294/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.17
http://hdl.handle.net/20.500.11850/466923
https://aaltodoc.aalto.fi/handle/123456789/101541 -
19
Authors: et al.
Contributors: et al.
Source: DISC 2022 : 36th International Symposium on Distributed Computing ; 36th International Symposium on Distributed Computing (DISC '22) ; https://hal.science/hal-04251904 ; 36th International Symposium on Distributed Computing (DISC '22), Oct 2022, Augusta, GA, United States. ⟨10.4230/LIPIcs.DISC.2022.35⟩
Subject Terms: Failure Detector, State Machine Replication, Consensus, Theory of computation → Distributed computing models, Software and its engineering → Distributed systems organizing principles, General and reference → Reliability, [INFO]Computer Science [cs]
Subject Geographic: Augusta, GA, United States
-
20
Authors: et al.
Contributors: et al.
Source: DISC'21 ; https://hal.science/hal-04288790 ; DISC'21, Oct 2021, Freiburg, Germany. ⟨10.4230/LIPIcs.DISC.2021.58⟩
Subject Terms: Theory of computation → Distributed computing models, round elimination, sinkless orientation, Supported LOCAL model, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2108.02655v1; ARXIV: 2108.02655v1
Nájsť tento článok vo Web of Science 
Full Text Finder