Showing 1 - 8 results of 8 for search 'Programming Methodology', זמן שאילתה: 0.02s
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..."