Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jayanti, Prasad
115  Ergebnisse:
Personensuche X
?
1

MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Sha..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,
Jayanti, Prasad ; Jayanti, Siddhartha ; Jayanti, Sucharita - p. 25-35 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A Universal, Sound, and Complete Forward Reasoning Techniqu..:

Jayanti, Prasad ; Jayanti, Siddhartha ; Yavuz, Ugur.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2456-2484 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Brief Announcement: Efficient Recoverable Writable-CAS:

, In: Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing,
Jayanti, Prasad ; Jayanti, Siddhartha Visveswara ; Jayanti, Sucharita - p. 366-369 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Constant RMR System-wide Failure Resilient Durable Locks wi..:

, In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures,
Jayanti, Prasad ; Jayanti, Siddhartha ; Joshi, Anup - p. 227-237 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Recoverable mutual exclusion with abortability:

Jayanti, Prasad ; Joshi, Anup
Computing.  104 (2022)  10 - p. 2225-2252 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Deterministic Constant-Amortized-RMR Abortable Mutex for CC..:

Jayanti, Prasad ; Jayanti, Siddhartha
ACM Transactions on Parallel Computing.  8 (2021)  4 - p. 1-26 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Deterministic Constant-Amortized-RMR Abortable Mutex for CC..:

Jayanti, Prasad ; Jayanti, Siddhartha
ACM Transactions on Parallel Computing.  8 (2021)  4 - p. 1-26 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Towards an Ideal Queue Lock:

, In: Proceedings of the 21st International Conference on Distributed Computing and Networking,
Jayanti, Prasad ; Jayanti, Siddhartha ; Jayanti, Sucharita - p. 1-10 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Optimal Recoverable Mutual Exclusion Using only FASAS:

, In: Networked Systems; Lecture Notes in Computer Science,
Jayanti, Prasad ; Jayanti, Siddhartha ; Joshi, Anup - p. 191-206 , 2019
Link: https://doi.org/10.1007/..
 
?
10

2019 Principles of Distributed Computing Doctoral Dissertat..:

, In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,
Jayanti, Prasad ; Lynch, Nancy A. ; Patt-Shamir, Boaz. - p. 2 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Recoverable Mutual Exclusion with Abortability:

, In: Networked Systems; Lecture Notes in Computer Science,
Jayanti, Prasad ; Joshi, Anup - p. 217-232 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Constant Amortized RMR Abortable Mutex for CC and DSM:

, In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,
Jayanti, Prasad ; Jayanti, Siddhartha - p. 167-176 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

A Recoverable Mutex Algorithm with Sub-logarithmic RMR on B..:

, In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,
Jayanti, Prasad ; Jayanti, Siddhartha ; Joshi, Anup - p. 177-186 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Tight time-space tradeoff for mutual exclusion:

, In: Proceedings of the forty-fourth annual ACM symposium on Theory of computing,
Bansal, Nikhil ; Bhatt, Vibhor ; Jayanti, Prasad. - p. 971-982 , 2012
Link: https://dl.acm.org/doi/1..
 
?
15

Constant RMR solutions to reader writer synchronization:

, In: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing,
Bhatt, Vibhor ; Jayanti, Prasad - p. 468-477 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15