Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wojciechowski, Pawel T.
298  Ergebnisse:
englisch X
Personensuche X
?
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

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..
 
?
3

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/..
 
?
4

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..
 
?
5

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/..
 
?
6

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/..
 
?
7

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..
 
?
8

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..
 
?
9

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/..
 
?
10

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/..
 
?
11

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..
 
?
12

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..
 
?
13

Model-Driven Comparison of State-Machine-Based and Deferred..:

, In: 2012 IEEE 31st Symposium on Reliable Distributed Systems,
Wojciechowski, Pawel T. ; Kobus, Tadeusz ; Kokocinski, Maciej - p. 101-110 , 2012
Link: https://doi.org/10.1109/..
 
?
14

Nomadic pict: Programming languages, communication infrastr..:

Sewell, Peter ; Wojciechowski, Paweł T. ; Unyapoth, Asis
ACM Transactions on Programming Languages and Systems.  32 (2010)  4 - p. 1-63 , 2010
Link: https://doi.org/10.1145/..
 
?
15

Nomadic pict : Programming languages, communication infr..:

Sewell, Peter ; Wojciechowski, Paweł T. ; Unyapoth, Asis
ACM Transactions on Programming Languages and Systems (TOPLAS).  32 (2010)  4 - p. 1-63 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15