Showing 1 - 8 results of 8 for search 'Programming Methodology', 查询时间: 0.23s
Refine Results
-
1
Automatic Software Upgrades for Distributed Systems (PhD thesis) 由 Ajmani, Sameer
出版 2005其他作者: “...Programming Methodology...”
-
2
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership 由 Rodrigues, Rodrigo, Liskov, Barbara
出版 2005其他作者: “...Programming Methodology...”
-
3
Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture 由 Rodrigues, Rodrigo, Liskov, Barbara
出版 2005其他作者: “...Programming Methodology...”
-
4
EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management 由 Leong, Ben, Liskov, Barbara, Demaine, Erik D.
出版 2005其他作者: “...Programming Methodology...”
-
5
Byzantine Fault Tolerance in Long-Lived Systems 由 Rodrigues, Rodrigo, Liskov, Barbara
出版 2005其他作者: “...Programming Methodology...”
-
6
Byzantine Clients Rendered Harmless 由 Liskov, Barbara, Rodrigues, Rodrigo
出版 2005其他作者: “...Programming Methodology...”
-
7
Automatic Software Upgrades for Distributed Systems 由 Ajmani, Sameer, Liskov, Barbara, Shrira, Liuba, Curtis, Dorothy
出版 2005其他作者: “...Programming Methodology...”
-
8
Automatic Software Upgrades for Distributed Systems 由 Ajmani, Sameer
出版 2005其他作者: “...Programming Methodology...”