E-LIB Suche - Ergebnisse für: Schiper, André

1

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

2

Leveraging Hardware Message Passing for Efficient Thread Sy..:

Petrović, Darko ; Ropars, Thomas ; Schiper, André
ACM Transactions on Parallel Computing (TOPC). 2 (2016) 4 - p. 1-26 , 2016

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

3

Leveraging Hardware Message Passing for Efficient Thread Sy..:

Petrović, Darko ; Ropars, Thomas ; Schiper, André
ACM Transactions on Parallel Computing. 2 (2016) 4 - p. 1-26 , 2016

Link: https://doi.org/10.1145/..

4

Leveraging hardware message passing for efficient thread sy..:

Petrović, Darko ; Ropars, Thomas ; Schiper, André
ACM SIGPLAN Notices. 49 (2014) 8 - p. 143-154 , 2014

Link: https://doi.org/10.1145/..

5

Dagstuhl seminar review: consistency in distributed systems:

Kemme, Bettina ; Schiper, André ; Ramalingam, G..
ACM SIGACT News. 45 (2014) 1 - p. 67-89 , 2014

Link: https://doi.org/10.1145/..

6

Dagstuhl seminar review : consistency in distributed sys..:

Kemme, Bettina ; Schiper, André ; Ramalingam, G..
ACM SIGACT News. 45 (2014) 1 - p. 67-89 , 2014

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

7

Optimizing Paxos with batching and pipelining:

Santos, Nuno ; Schiper, André
Theoretical Computer Science. 496 (2013) - p. 170-183 , 2013

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

8

Tolerating permanent and transient value faults:

Milosevic, Zarko ; Hutle, Martin ; Schiper, André
Distributed Computing. 27 (2013) 1 - p. 55-77 , 2013

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

9

Timing analysis of leader-based and decentralized Byzantine..:

Borran, Fatemeh ; Hutle, Martin ; Schiper, André
Journal of the Brazilian Computer Society. 18 (2012) 1 - p. 29-42 , 2012

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

10

Quantitative Analysis of Consensus Algorithms:

Borran, Fatemeh ; Hutle, Martin ; Santos, Nuno.
IEEE Transactions on Dependable and Secure Computing. 9 (2012) 2 - p. 236-249 , 2012

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

11

Student mini-kernel project based on an FPGA board:

Schiper, André ; Milosevic, Zarko ; Shahmirzadi, Omid
ACM SIGOPS Operating Systems Review. 45 (2011) 2 - p. 54-58 , 2011

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

12

Student mini-kernel project based on an FPGA board:

Schiper, André ; Milosevic, Zarko ; Shahmirzadi, Omid
ACM SIGOPS Operating Systems Review. 45 (2011) 2 - p. 54-58 , 2011

Link: https://doi.org/10.1145/..

13

Preface:

Dolev, Shlomi ; Kulkarni, Sandeep ; Schiper, André
Theoretical Computer Science. 412 (2011) 40 - p. 5513-5514 , 2011

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

14

Verification of consensus algorithms using satisfiability s..:

Tsuchiya, Tatsuhiro ; Schiper, André
Distributed Computing. 23 (2010) 5-6 - p. 341-358 , 2010

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

15

The Heard-Of model: computing in distributed systems with b..:

Charron-Bost, Bernadette ; Schiper, André
Distributed Computing. 22 (2009) 1 - p. 49-71 , 2009

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