Suchergebnisse - "concurrent algorithms"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: • Theory of computation → Distributed algorithms, • Computing methodologies → Concurrent algorithms, Security and privacy → Distributed systems security, [INFO] Computer Science [cs]
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Parallel Computing. 11:1-32
Schlagwörter: Pending event set, Settore ING-INF/05, Data structures design and analysis, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Settore IINF-05/A - Sistemi di elaborazione delle informazioni, Non-blocking priority queue, Shared memory algorithms, 02 engineering and technology, Concurrent algorithms
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-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 -
4
Autoren: et al.
Schlagwörter: Network data models, Genetic algorithms, Self-organization, Agent / discrete models, Concurrent algorithms, Distributed simulation, Random walks and Markov chains, Evolutionary algorithms, Social networks, Quantum dots and cellular automata, Distributed computing models
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Range queries, Concurrent Algorithms, Linearizability, Binary Search Tree, ddc:004, Aggregate queries, Concurrent Data Structures
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: • 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]
Geographisches Schlagwort: Salerno Italy, Italy
-
7
Autoren:
Schlagwörter: Concurrent Algorithms, Concurrent Data Structures, Linearizability, Size
Relation: Proceedings of the 37th ACM Symposium on Parallelism in Algorithms and Architectures; 37th ACM Symposium on Parallelism in Algorithms and Architectures; #PLACEHOLDER_PARENT_METADATA_VALUE#; 1102/21; https://infoscience.epfl.ch/handle/20.500.14299/254462
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: ddc:004, Transaktionaler Speicher, Synchronisierung, Transactional Memory, Shared-memory synchronization, Concurrent algorithms
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Schlagwörter: garbage collection, concurrent algorithms
Relation: https://zenodo.org/records/14774567; oai:zenodo.org:14774567; https://doi.org/10.5281/zenodo.14774567
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0890-5401.
Schlagwörter: Formal methods, Verification, Concurrent algorithms, Renaming, Splitter, Linearizability, Distributed tasks, TLA +, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
12
Autoren:
Quelle: Michigan Tech Publications, Part 2
Schlagwörter: analogical reasoning, analogy, computing education, concurrent algorithms, concurrent computing, mental models, metaphor, qualitative, understanding, Department of Computer Science, Computer Sciences
Dateibeschreibung: application/pdf
-
13
Autoren:
Quelle: 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
Schlagwörter: Concurrency, Heap-Manipulating, Mathematics of computing → Probabilistic reasoning algorithms, Pointers, Randomization, Separation Logic, Theory of computation → Concurrent algorithms, Theory of computation → Program verification
Geographisches Schlagwort: DE
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-246-4
-
14
Autoren: et al.
Quelle: Revista de investigación de Sistemas e Informática; Vol. 15 No. 2 (2022); 107-122
Revista de investigación de Sistemas e Informática; Vol. 15 Núm. 2 (2022); 107-122Schlagwörter: tiempo de respuesta, Tecnología web, Web technology, Go, algoritmos concurrentes, concurrencia, concurrency, concurrent algorithms, response time, rendimiento, performance
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theoretical Computer Science. 886:13-26
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: 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 -
16
Autoren:
Weitere Verfasser:
Schlagwörter: Byzantine linearizability, concurrent algorithms, snapshot, asset transfer
Dateibeschreibung: application/pdf
Relation: Is Part Of LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.18
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Euromicro Conference on Real-Time Systems (ECRTS)
Schlagwörter: Parallel Computing, Computer systems organization → Real-time operating systems, Gang Scheduling, Computing methodologies → Concurrent algorithms, Real-Time Systems, Computer systems organization → Embedded and cyber-physical systems, ddc:004, Scheduling Algorithms
Dateibeschreibung: application/pdf
Zugangs-URL: https://drops.dagstuhl.de/opus/volltexte/2021/13941/pdf/LIPIcs-ECRTS-2021-10.pdf/
https://doi.org/10.4230/LIPIcs.ECRTS.2021.10
https://dblp.uni-trier.de/db/conf/ecrts/ecrts2021.html#UeterGBC21
https://drops.dagstuhl.de/opus/volltexte/2021/13941/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2021.10 -
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
19
Autoren: Yavuz, Ugur
Quelle: Dartmouth College Master’s Theses
Schlagwörter: concurrent algorithms, linearizability, machine-verified proof, TLA+, Theory and Algorithms
Dateibeschreibung: application/pdf
Relation: https://digitalcommons.dartmouth.edu/masters_theses/51; https://digitalcommons.dartmouth.edu/context/masters_theses/article/1053/viewcontent/Ugur_Yavuz__MS_Thesis_Final_Draft.pdf
-
20
Autoren: Walbran, Joseph M.
Quelle: Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal. 9
Schlagwörter: Process calculi, Formal systems, Theory and Algorithms, Formal methods, Pi calculus, Type systems, Concurrent algorithms
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder