SOPMOA*: Unleashing Shared-Open Parallelism for High-Performance Multi-Objective Pathfinding

Συγγραφείς: Truong, Long Viet^Aff14, Dam, Tien Minh^Aff14, Nguyen, Tuan Anh^Aff14, Nguyen, Linh Thuy Thi^Aff14, Dinh, Duong Trung^Aff14

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Lees, Michael H., editor^Aff7, Cai, Wentong, editor^Aff8, Cheong, Siew Ann, editor^Aff9, Su, Yi, editor^Aff10, Abramson, David, editor^Aff11, Dongarra, Jack J., editor^Aff12, Sloot, Peter M. A., editor^Aff13

Πηγή: Computational Science – ICCS 2025 : 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV. 15906:300-308

Towards Efficient Runtime Verified Linearizable Algorithms

Συγγραφείς: Rodríguez, Gilde Valeria^Aff9, Castañeda, Armando^Aff10

Συνεισφορές: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Ábrahám, Erika, editor^Aff7, Abbas, Houssam, editor^Aff8

Πηγή: Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings. 15191:262-281

Mining in Logarithmic Space with Variable Difficulty

Συγγραφείς: Miller, Loïc, Pacaud, Dorian, Derousseaux-Lebert, Nathanaël, Anceaume, Emmanuelle, Ludinard, Romaric

Συνεισφορές: Anceaume, Emmanuelle

Θεματικοί όροι: • Theory of computation → Distributed algorithms, • Computing methodologies → Concurrent algorithms, Security and privacy → Distributed systems security, [INFO] Computer Science [cs]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://cnrs.hal.science/hal-05294549v1
https://cnrs.hal.science/hal-05294549v1/document
https://doi.org/10.1145/3719027.3744874

Auto-active verification of distributed systems and specification refinements with Why3-do

Συγγραφείς: Belo Lourenço, Cláudio ^{a, ⁎}, Sousa Pinto, Jorge ^{b, ⁎}

Πηγή: In Science of Computer Programming January 2026 247

Fast and Portable Concurrent FIFO Queues With Deterministic Memory Reclamation

Συγγραφείς: Giersch, O., Nolte, J.

Πηγή: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 33(3):604-616 Mar, 2022

A Conflict-Resilient Lock-Free Linearizable Calendar Queue

Συγγραφείς: Romolo Marotta, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia

Συνεισφορές: Marotta, R, Ianni, M, Pellegrini, A, Quaglia, F

Πηγή: ACM Transactions on Parallel Computing. 11:1-32

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Pool Detection with Concurrent Algorithms

Συγγραφείς: Domozi, Zsolt, Takacs, Marta, Molnar, Andras

Πηγή: 2019 IEEE 19th International Symposium on Computational Intelligence and Informatics and 7th IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics (CINTI-MACRo) Computational Intelligence and Informatics and 7th IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics (CINTI-MACRo), 2019 IEEE 19th International Symposium on. :000223-000230 Nov, 2019

Relation: 2019 IEEE 19th International Symposium on Computational Intelligence and Informatics and 7th IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics (CINTI-MACRo)

Read-Uncommitted Transactions for Smart Contract Performance

Συγγραφείς: Cook, Victor, Painter, Zachary, Peterson, Christina, Dechev, Damian

Πηγή: 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS) ICDCS Distributed Computing Systems (ICDCS), 2019 IEEE 39th International Conference on. :1960-1970 Jul, 2019

Relation: 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS)

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

Συγγραφείς: Vitaly Aksenov, Dan Alistarh, Alexandra Drozdova, Amirkeivan Mohtashami

Συνεισφορές: Vitaly Aksenov and Dan Alistarh and Alexandra Drozdova and Amirkeivan Mohtashami, Attiya, Hagit

Πηγή: Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

More (Sema|Meta)phors: Additional Perspectives on Analogy Use from Concurrent Programming Students

Συγγραφείς: Bettin, Briana, Ott, Linda, Hiebel, Julia

Πηγή: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1. :166-172

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3587102.3588831

Cellular Automata

Συγγραφείς: Franco Bagnoli, Jan Baetens, Stefania Bandini, Tommaso Matteuzzi

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/book/10.1007/978-3-031-71552-5
https://hdl.handle.net/2158/1389274

Brief Announcement: Concurrent Aggregate Queries

Συγγραφείς: Sela, Gal, Petrank, Erez

Συνεισφορές: Gal Sela and Erez Petrank

Θεματικοί όροι: Range queries, Concurrent Algorithms, Linearizability, Binary Search Tree, ddc:004, Aggregate queries, Concurrent Data Structures

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.53

Concurrent Size (Abstract)

Συγγραφείς: Sela, Gal, Petrank, Erez

Πηγή: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing. :1-2

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3670684.3673409

Tasks in modular proofs of concurrent algorithms

Συγγραφείς: Castañeda, Armando ^a, Hurault, Aurélie ^b, Quéinnec, Philippe ^{b, ⁎}, Roy, Matthieu ^c

Πηγή: In Information and Computation June 2023 292

Brief Announcement: Linearizability: A Typo

Συγγραφείς: Sela, Gal, Herlihy, Maurice, Petrank, Erez

Πηγή: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :561-564

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3465084.3467944

Durable Queues : The Second Amendment

Συγγραφείς: Sela, Gal, Petrank, Erez

Πηγή: Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures. :385-397

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3409964.3461791

Concurrent deferred reference counting with constant-time overhead

Συγγραφείς: Anderson, Daniel, Blelloch, Guy E., Wei, Yuanhao

Πηγή: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :526-541

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3453483.3454060

Performance Comparison of User-Estimated and Learned Task Recognition Models for Maintenance Procedures

Συγγραφείς: Behrendt, Marcus^Aff15, Wortelen, Bertram^Aff16

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Stephanidis, Constantine, editor^Aff8, Duffy, Vincent G., editor^Aff9, Krömker, Heidi, editor^Aff10, Fui-Hoon Nah, Fiona, editor^Aff11, Siau, Keng, editor^Aff12, Salvendy, Gavriel, editor^Aff13, Wei, June, editor^Aff14

Πηγή: HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 Proceedings. 13097:405-426

wfspan: Wait-free Dynamic Memory Management

Συγγραφείς: Ouyang, Xiangzhen, Zhu, Yian

Πηγή: ACM Transactions on Embedded Computing Systems (TECS). 21(4):1-26

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3533724

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

Συγγραφείς: Attiya, Hagit, Enea, Constantin, Welch, Jennifer, L

Συνεισφορές: Technion - Israel Institute of Technology Haifa, École polytechnique (X), Institut Polytechnique de Paris (IP Paris), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Texas A&M University Galveston

Πηγή: 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⟩

Θεματικοί όροι: • 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]

Θέμα γεωγραφικό: Salerno Italy, Italy

Διαθεσιμότητα: 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