Výsledky vyhledávání - Theory of computation → Concurrent algorithms

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

Autoři: Vitaly Aksenov Dan Alistarh Alexandra Drozdova a další

Přispěvatelé: Vitaly Aksenov Dan Alistarh Alexandra Drozdova a další

Zdroj: Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)

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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Towards Concurrent Quantitative Separation Logic

Autoři: Fesefeldt, Ira Justus Katoen, Joost-Pieter Noll, Thomas a další

Přispěvatelé: Fesefeldt, Ira Justus Katoen, Joost-Pieter Noll, Thomas a další

Zdroj: [1]-62 (2022). doi:10.48550/ARXIV.2207.02822
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 Muscholl33. International Conference on Concurrency Theory, CONCUR 2022, Warsaw, Poland, 2022-09-13-2022-09-16

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Separation Logic, Mathematics of computing → Probabilistic reasoning algorithms, Randomization, 0102 computer and information sciences, 02 engineering and technology, Pointers, 01 natural sciences, Heap-Manipulating, Logic in Computer Science (cs.LO), Theory of computation → Concurrent algorithms, Concurrency, Theory of computation → Program verification, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2207.02822
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.25
https://publications.rwth-aachen.de/record/853375
https://publications.rwth-aachen.de/record/853299

Foundations of Software Science and Computation Structures

Přispěvatelé: Bouyer, Patricia Schröder, Lutz

Témata: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027

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

Autoři: Attiya, Hagit Enea, Constantin Welch, Jennifer L. a další

Přispěvatelé: Attiya, Hagit Enea, Constantin Welch, Jennifer L. a další

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

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2105.06614
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.7

A new distributed graph coloring algorithm for large graphs.

Autoři: Brighen, Assia Slimani, Hachem Rezgui, Abdelmounaam a další

Zdroj: Cluster Computing. Feb2024, Vol. 27 Issue 1, p875-891. 17p.

Témata: *GRAPH coloring, *GRAPH algorithms, *GRAPH theory, *PARALLEL algorithms, *NP-hard problems, *PARALLEL processing

Brief Announcement: Persistent Software Combining

Autoři: Fatourou, Panagiota Kallimanis, Nikolaos D. Kosmas, Eleftherios a další

Přispěvatelé: Fatourou, Panagiota Kallimanis, Nikolaos D. Kosmas, Eleftherios a další

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

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.56

Enumeration and Random Generation of Concurrent Computations

Autoři: Olivier Bodini Antoine Genitrini Frédéric Peschanski

Zdroj: Discrete Mathematics & Theoretical Computer Science, Vol DMTCS Proceedings vol. AQ,..., Iss Proceedings (2012)

Témata: concurrency theory. analytic combinatorics. shuffle. random generation. linear extension., [info.info-ds] computer science [cs]/data structures and algorithms [cs.ds], [info.info-dm] computer science [cs]/discrete mathematics [cs.dm], [math.math-co] mathematics [math]/combinatorics [math.co], [info.info-cg] computer science [cs]/computational geometry [cs.cg], Mathematics, QA1-939

Popis souboru: electronic resource

Relation: https://dmtcs.episciences.org/2986/pdf; https://doaj.org/toc/1365-8050

Přístupová URL adresa: https://doaj.org/article/28bdb1f8133f48cc893be9bcf3afc641

Mining in Logarithmic Space with Variable Difficulty

Autoři: Miller, Loïc Pacaud, Dorian Derousseaux-Lebert, Nathanaël a další

Přispěvatelé: Miller, Loïc Pacaud, Dorian Derousseaux-Lebert, Nathanaël a další

Témata: • Theory of computation → Distributed algorithms, • Computing methodologies → Concurrent algorithms, Security and privacy → Distributed systems security, [INFO] Computer Science [cs]

Popis souboru: application/pdf

Přístupová URL adresa: https://cnrs.hal.science/hal-05294549v1
https://cnrs.hal.science/hal-05294549v1/document
https://doi.org/10.1145/3719027.3744874

The assignment problem

Autoři: Delporte-Gallet, Carole Fauconnier, Hugues Gafni, Eli a další

Přispěvatelé: Delporte-Gallet, Carole Fauconnier, Hugues Gafni, Eli a další

Zdroj: Theoretical Computer Science. 886:13-26

Témata: Renaming, [SCCO.COMP] Cognitive science/Computer science, Shared-Memory, 0202 electrical engineering, electronic engineering, information engineering, Wait-Free, Mutual Exclusion, 0102 computer and information sciences, 02 engineering and technology, Concurrent algorithms, CCS CONCEPTS • Theory of computation → Distributed algorithms, 01 natural sciences, Assignment, Resource Allocation

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01955902v1
https://hal.inria.fr/hal-01955902
https://dl.acm.org/doi/pdf/10.1145/3154273.3154303
https://doi.org/10.1145/3154273.3154303
https://dblp.uni-trier.de/db/conf/icdcn/icdcn2018.html#Delporte-Gallet18
https://dl.acm.org/doi/10.1145/3154273.3154303
https://hal.inria.fr/hal-01955902/document
https://dblp.uni-trier.de/db/journals/tcs/tcs886.html#Delporte-Gallet21
https://doi.org/10.1016/j.tcs.2021.06.040
https://www.sciencedirect.com/science/article/abs/pii/S0304397521003972

Efficient bounded timestamping from standard synchronization primitives.

Autoři: Bashari, Benyamin Jamadi, Ali Woelfel, Philipp

Zdroj: Distributed Computing. Sep2025, Vol. 38 Issue 3, p297-335. 39p.

Témata: *SYNCHRONIZATION, *TIMESTAMPS, *REAL-time computing, *DISTRIBUTED algorithms, *PARALLEL programming

A mathematical theory of synchronous concurrent algorithms

Autoři: Thompson, Benjamin Criveli Tucker, J.

Přispěvatelé: Thompson, Benjamin Criveli Tucker, J.

Témata: 519.5, Synchronous algorithm theory

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379746

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Autoři: Thompson, B.C. Tucker, J.V. Zucker, J.I.

Zdroj: Applied Mathematics & Computation. Oct2009, Vol. 215 Issue 4, p1386-1403. 18p.

Témata: *COMPUTERS, *DYNAMICS, *ALGORITHMS, *MODULES (Algebra), *DATA analysis, *CELLULAR automata, *DISCRETE-time systems, *ARTIFICIAL neural networks

Pure quadratization and solution of ordinary differential equations by probabilistic evolution theory with concurrent computation of coefficients using exact arithmetic.

Autoři: Gözükırmızı, Coşar¹ (AUTHOR) cosargozukirmizi@beykent.edu.tr

Zdroj: Journal of Mathematical Chemistry. Mar2024, Vol. 62 Issue 3, p654-680. 27p.

Témata: *EVOLUTION equations, *NUMERICAL solutions to differential equations, *C++, *ARITHMETIC, *ORDINARY differential equations

Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks.

Autoři: Evangelista, Sami Kristensen, Lars Michael Petrucci, Laure

Zdroj: International Journal on Software Tools for Technology Transfer. Apr2025, Vol. 27 Issue 2, p149-168. 20p.

Témata: *MATHEMATICS software, *COMPUTER software, *SPACE exploration, *DISTRIBUTED algorithms, *PARALLEL programming

Concurrent Computation of Attribute Filters on Shared Memory Parallel Machines.

Autoři: Wilkinson, Michael H. F. Hui Gao Hesselink, Wim H. a další

Zdroj: IEEE Transactions on Pattern Analysis & Machine Intelligence. Oct2008, Vol. 30 Issue 10, p1800-1813. 14p.

Témata: *PARALLEL algorithms, *MACHINE theory, *PARALLEL computers, *PARALLEL programs (Computer programs), *COMPUTER programming, *MATHEMATICAL analysis, *VISUAL programming (Computer science)

Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity

Autoři: Mirza, Ahad Hendler, Danny Milani, Alessia a další

Přispěvatelé: Mirza, Ahad Hendler, Danny Milani, Alessia a další

Zdroj: https://hal.archives-ouvertes.fr/hal-02860087 ; 2020.

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

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

Cooperative concurrent asynchronous computation of the solution of symmetric linear systems.

Autoři: Bhaya, Amit Bliman, Pierre-Alexandre Pazos, Fernando

Zdroj: Numerical Algorithms. Jul2017, Vol. 75 Issue 3, p587-617. 31p.

Témata: *MATHEMATICAL models, *SYSTEMS theory, *LINEAR differential equations, *LINEAR systems, *NUMERICAL analysis

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37722

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

Autoři: Attiya, Hagit Enea, Constantin Welch, Jennifer, L a další

Přispěvatelé: Attiya, Hagit Enea, Constantin Welch, Jennifer, L a další

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

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

Geografické téma: Salerno Italy, Italy

Dostupnost: https://hal.science/hal-04465383
https://hal.science/hal-04465383v1/document
https://hal.science/hal-04465383v1/file/podc22.pdf
https://doi.org/10.1145/3519270.3538446

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024)

Autoři: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki a další

Resource Type: eBook.

Témata: Computer science

Categories: COMPUTERS / General