Search Results - "Theory of computation → Concurrent algorithms"

1

Academic Journal

The splay-list: a distribution-adaptive concurrent skip-list

Authors: Vitaly Aksenov, Dan Alistarh, Alexandra Drozdova, Amirkeivan Mohtashami

Contributors: Vitaly Aksenov and Dan Alistarh and Alexandra Drozdova and Amirkeivan Mohtashami, Attiya, Hagit

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

View record at OpenAIRE View record at Springer

Linked Full Text

2

Conference

Towards Concurrent Quantitative Separation Logic

Authors: Fesefeldt, Ira Justus, Katoen, Joost-Pieter, Noll, Thomas

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

Availability: https://publications.rwth-aachen.de/record/853299
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-08746%22

View record from BASE

3

Academic Journal

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers

Authors: Attiya, Hagit, Enea, Constantin, Welch, Jennifer L.

Contributors: Hagit Attiya and Constantin Enea and Jennifer L. Welch, Gilbert, Seth

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

Access URL: http://arxiv.org/abs/2105.06614
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.7

View record at OpenAIRE

4

Conference

Brief Announcement: Persistent Software Combining

Authors: Fatourou, Panagiota, Kallimanis, Nikolaos D., Kosmas, Eleftherios

Contributors: Panagiota Fatourou and Nikolaos D. Kallimanis and Eleftherios Kosmas, Gilbert, Seth

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

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.56

View record at OpenAIRE

5

Report

Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity

Authors: Mirza, Ahad, Hendler, Danny, Milani, Alessia, Travers, Corentin

Contributors: Institute of Science and Technology Austria (IST Austria), Ben-Gurion University of the Negev (BGU), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)

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]