Automatic Software Upgrades for Distributed Systems (PhD thesis) 著者: Ajmani, Sameer

その他の著者: “…Programming Methodology…”
全文の入手

A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership 著者: Rodrigues, Rodrigo, Liskov, Barbara

その他の著者: “…Programming Methodology…”
全文の入手

Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture 著者: Rodrigues, Rodrigo, Liskov, Barbara

その他の著者: “…Programming Methodology…”
全文の入手

EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management 著者: Leong, Ben, Liskov, Barbara, Demaine, Erik D.

その他の著者: “…Programming Methodology…”
全文の入手

Byzantine Fault Tolerance in Long-Lived Systems 著者: Rodrigues, Rodrigo, Liskov, Barbara

その他の著者: “…Programming Methodology…”
全文の入手

Byzantine Clients Rendered Harmless 著者: Liskov, Barbara, Rodrigues, Rodrigo

その他の著者: “…Programming Methodology…”
全文の入手

Automatic Software Upgrades for Distributed Systems 著者: Ajmani, Sameer, Liskov, Barbara, Shrira, Liuba, Curtis, Dorothy

その他の著者: “…Programming Methodology…”
全文の入手

Automatic Software Upgrades for Distributed Systems 著者: Ajmani, Sameer

その他の著者: “…Programming Methodology…”
全文の入手