Search Results - "Theory of computation → Concurrent algorithms"
-
1
Authors: et al.
Contributors: et al.
Source: Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)
Subject Terms: FOS: Computer and information sciences, Data structures, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, self-adjusting, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Concurrent algorithms, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, concurrency, Data Structures and Algorithms (cs.DS), Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Theory of computation → Data structures design and analysis
File Description: application/pdf
Access URL: http://arxiv.org/abs/2008.01009
https://drops.dagstuhl.de/opus/volltexte/2020/13081/pdf/LIPIcs-DISC-2020-3.pdf/
https://arxiv.org/pdf/2008.01009
https://drops.dagstuhl.de/opus/volltexte/2020/13081/
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01009
https://arxiv.org/abs/2008.01009
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.3 -
2
Authors:
Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs - Leibniz International Proceedings in Informatics 243, 25:1-25:24 (2022). doi:10.4230/LIPICS.CONCUR.2022.25 ; 33rd International Conference on Concurrency Theory (CONCUR 2022) / Herausgeber: Bartek Klin, Sławomir Lasota, Anca Muscholl ; 33rd International Conference on Concurrency Theory (CONCUR 2022) / Herausgeber: Bartek Klin, Sławomir Lasota, Anca Muscholl 33. International Conference on Concurrency Theory, CONCUR 2022, Warsaw, Poland, 2022-09-13 - 2022-09-16
Subject Terms: Concurrency, Heap-Manipulating, Mathematics of computing → Probabilistic reasoning algorithms, Pointers, Randomization, Separation Logic, Theory of computation → Concurrent algorithms, Theory of computation → Program verification
Subject Geographic: DE
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-246-4
-
3
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
-
4
Authors: et al.
Contributors: et al.
Subject Terms: wait-freedom, stacks, queues, recoverable algorithms, software combining, Theory of computation → Concurrent algorithms, Persistent objects, universal constructions, durability, ddc:004, synchronization protocols, Theory of computation → Data structures design and analysis
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02860087 ; 2020.
Subject Terms: CCS Concepts: • Theory of computation → Concurrent algorithms Additional Key Words and Phrases: shared memory, atomic snapshot, max array, amortized step complexity, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: hal-02860087; https://hal.archives-ouvertes.fr/hal-02860087; https://hal.archives-ouvertes.fr/hal-02860087/document; https://hal.archives-ouvertes.fr/hal-02860087/file/LongLivedSnapshot.pdf
-
6
Authors:
Source: ACM Transactions on Internet Technology; Feb2024, Vol. 24 Issue 1, p1-22, 22p
Subject Terms: ALGORITHMS, INTERNET of things, RANDOM numbers, DISTRIBUTED algorithms
-
7
Authors:
Source: ACM Transactions on Embedded Computing Systems; Aug2022, Vol. 21 Issue 4, p1-26, 26p
Subject Terms: MEMORY
-
8
Authors: et al.
Source: ACM Transactions on Internet Technology; May2022, Vol. 22 Issue 2, p1-19, 19p
Subject Terms: RESOURCE allocation, INTERNET of things, MACHINE learning, GREEN roofs, SMART cities, TELECOMMUNICATION
-
9
Authors: et al.
Source: ACM Transactions on Storage; Mar2022, Vol. 18 Issue 1, p8:1-8:35, 35p
Subject Terms: DATA warehousing
Full Text Finder
Nájsť tento článok vo Web of Science