Distributed, Parallel, and Cluster Computing · Computer Science
Opportunistic Mutual Exclusion
Karthi Srinivasan, Yoram Moses, Rajit Manohar
2023-05-11
Distributed, Parallel, and Cluster Computing · Computer Science
Local Mutual Exclusion for Dynamic, Anonymous, Bounded Memory Message Passing Systems
Joshua J. Daymude, Andréa W. Richa, Christian Scheideler
2022-02-25
Distributed, Parallel, and Cluster Computing · Computer Science
Survey on Token-Based Distributed MutualExclusion Algorithms
Elahe Tohidi, Seyed Sattar Lotfi Fatemi
2025-02-10
Logic in Computer Science · Computer Science
On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler
2026-05-12
Distributed, Parallel, and Cluster Computing · Computer Science
Memory Reclamation for Recoverable Mutual Exclusion
Sahil Dhoked, Neeraj Mittal
2021-03-03
Distributed, Parallel, and Cluster Computing · Computer Science
RDMA vs. RPC for Implementing Distributed Data Structures
Benjamin Brock, Yuxin Chen, Jiakun Yan, John D. Owens +2
2019-10-16
Data Structures and Algorithms · Computer Science
Dynamic sharing of a multiple access channel
Marcin Bienkowski, Marek Klonowski, Miroslaw Korzeniowski, Dariusz R. Kowalski
2010-02-03
Distributed, Parallel, and Cluster Computing · Computer Science
Using RDMA for Lock Management
Yeounoh Chung, Erfan Zamanian
2015-07-21
Distributed, Parallel, and Cluster Computing · Computer Science
RDMA is Turing complete, we just did not know it yet!
Waleed Reda, Marco Canini, Dejan Kostić, Simon Peter
2021-11-18
Distributed, Parallel, and Cluster Computing · Computer Science
Fast and Scalable Group Mutual Exclusion
Shreyas Gokhale, Neeraj Mittal
2019-07-09
Distributed, Parallel, and Cluster Computing · Computer Science
Correct, Fast Remote Persistence
Sanidhya Kashyap, Dai Qin, Steve Byan, Virendra J. Marathe +1
2019-09-06
Distributed, Parallel, and Cluster Computing · Computer Science
Active Access: A Mechanism for High-Performance Distributed Data-Centric Computations
Maciej Besta, Torsten Hoefler
2020-10-20
Distributed, Parallel, and Cluster Computing · Computer Science
ALock: Asymmetric Lock Primitive for RDMA Systems
Amanda Baran, Jacob Nelson-Slivon, Lewis Tseng, Roberto Palmieri
2024-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
An Adaptive Approach to Recoverable Mutual Exlcusion
Sahil Dhoked, Neeraj Mittal
2020-08-04
Distributed, Parallel, and Cluster Computing · Computer Science
Towards In-transit Analysis on Supercomputing Environments
Allan Santos, Hermano Lustosa, Fabio Porto, Bruno Schulze
2018-05-21
Distributed, Parallel, and Cluster Computing · Computer Science
RMR-Efficient Randomized Abortable Mutual Exclusion
Abhijeet Pareek, Philipp Woelfel
2012-08-09
Distributed, Parallel, and Cluster Computing · Computer Science
RFP: A Remote Fetching Paradigm for RDMA-Accelerated Systems
Maomeng Su, Mingxing Zhang, Kang Chen, Yongwei Wu +1
2015-12-25
Distributed, Parallel, and Cluster Computing · Computer Science
Specifying and Verifying RDMA Synchronisation (Extended Version)
Guillaume Ambal, Max Stupple, Brijesh Dongol, Azalea Raad
2026-01-28
Distributed, Parallel, and Cluster Computing · Computer Science
Adaptive and Fair Transformation for Recoverable Mutual Exclusion
Sahil Dhoked, Neeraj Mittal
2021-10-19
Distributed, Parallel, and Cluster Computing · Computer Science
Solutions for Distributed Memory Access Mechanism on HPC Clusters
Jan Meizner, Maciej Malawski
2025-12-03