Mostra 1 - 8 risultati di 8 ricerca 'Programming Methodology', tempo di risposta: 0,02s
Raffina i risultati
-
1
Automatic Software Upgrades for Distributed Systems (PhD thesis) di Ajmani, Sameer
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
2
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership di Rodrigues, Rodrigo, Liskov, Barbara
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
3
Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture di Rodrigues, Rodrigo, Liskov, Barbara
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
4
EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management di Leong, Ben, Liskov, Barbara, Demaine, Erik D.
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
5
Byzantine Fault Tolerance in Long-Lived Systems di Rodrigues, Rodrigo, Liskov, Barbara
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
6
Byzantine Clients Rendered Harmless di Liskov, Barbara, Rodrigues, Rodrigo
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
7
Automatic Software Upgrades for Distributed Systems di Ajmani, Sameer, Liskov, Barbara, Shrira, Liuba, Curtis, Dorothy
Pubblicazione 2005Altri autori: “...Programming Methodology...”
-
8
Automatic Software Upgrades for Distributed Systems di Ajmani, Sameer
Pubblicazione 2005Altri autori: “...Programming Methodology...”