E-LIB Suche - Ergebnisse für: Wojciechowski, Pawel T.

1

On the correctness of highly available systems in the prese..:

Kokociński, Maciej ; Kobus, Tadeusz ; Wojciechowski, Paweł T.
Journal of Parallel and Distributed Computing. 180 (2023) - p. 104707 , 2023

Link: https://doi.org/10.1016/..

2

Last-use opacity: a strong safety property for transactiona..:

Siek, Konrad ; Wojciechowski, Paweł T.
Distributed Computing. 35 (2022) 3 - p. 265-301 , 2022

Link: https://doi.org/10.1007/..

3

On Mixing Eventual and Strong Consistency: Acute Cloud Type:

Kokocinski, Maciej ; Kobus, Tadeusz ; Wojciechowski, Pawel T.
IEEE Transactions on Parallel and Distributed Systems. 33 (2022) 6 - p. 1338-1356 , 2022

Link: https://doi.org/10.1109/..

4

Jiffy : a lock-free skip list with batch updates and sna..:

, In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Kobus, Tadeusz ; Kokociński, Maciej ; Wojciechowski, Paweł T. - p. 400-415 , 2022

Link: https://dl.acm.org/doi/1..

5

Recovery Algorithms for Paxos-Based State Machine Replicati..:

Konczak, Jan ; Wojciechowski, Pawel T. ; Santos, Nuno..
IEEE Transactions on Dependable and Secure Computing. 18 (2021) 2 - p. 623-640 , 2021

Link: https://doi.org/10.1109/..

6

On Mixing Eventual and Strong Consistency: Bayou Revisited:

, In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,

Kokociński, Maciej ; Kobus, Tadeusz ; Wojciechowski, Paweł T. - p. 458-460 , 2019

Link: https://dl.acm.org/doi/1..

7

Hybrid Transactional Replication: State-Machine and Deferre..:

Kobus, Tadeusz ; Kokocinski, Maciej ; Wojciechowski, Pawel T.
IEEE Transactions on Parallel and Distributed Systems. 29 (2018) 7 - p. 1499-1514 , 2018

Link: https://doi.org/10.1109/..

8

Relaxing real-time order in opacity and linearizability:

Kobus, Tadeusz ; Kokociński, Maciej ; Wojciechowski, Paweł T.
Journal of Parallel and Distributed Computing. 100 (2017) - p. 57-70 , 2017

Link: https://doi.org/10.1016/..

9

Helenos: A realistic benchmark for distributed transactiona..:

Kobyliński, Paweł ; Siek, Konrad ; Baranowski, Jan.
Software: Practice and Experience. 48 (2017) 3 - p. 528-549 , 2017

Link: https://doi.org/10.1002/..

10

Atomic RMI 2: distributed transactions for Java:

, In: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control,

Wojciechowski, Paweł T. ; Siek, Konrad - p. 61-69 , 2016

Link: https://dl.acm.org/doi/1..

11

Atomic RMI: A Distributed Transactional Memory Framework:

Siek, Konrad ; Wojciechowski, Paweł T.
International Journal of Parallel Programming. 44 (2015) 3 - p. 598-619 , 2015

Link: https://doi.org/10.1007/..

12

Proving Opacity of Transactional Memory with Early Release:

Siek, Konrad ; Wojciechowski, Paweł T.
Foundations of Computing and Decision Sciences. 40 (2015) 4 - p. 317-335 , 2015

Link: https://doi.org/10.1515/..

13

Brief Announcement : Eventually Consistent Linearizabili..:

, In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing,

Kokociński, Maciej ; Kobus, Tadeusz ; Wojciechowski, Paweł T. - p. 237-239 , 2015

Link: https://dl.acm.org/doi/1..

14

Having your cake and eating it too : combining strong an..:

, In: Proceedings of the First Workshop on Principles and Practice of Eventual Consistency,

Wojciechowski, Paweł T. ; Siek, Konrad - p. 1-5 , 2014

Link: https://dl.acm.org/doi/1..

15

Towards a fully-articulated pessimistic distributed transac..:

, In: Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures,

Siek, Konrad ; Wojciechowski, Paweł T. - p. 111-114 , 2013

Link: https://dl.acm.org/doi/1..