Showing 1 - 8 results of 8 for search 'Programming Methodology', query time: 2.32s Refine Results
  1. 1
    Automatic Software Upgrades for Distributed Systems (PhD thesis)

    Automatic Software Upgrades for Distributed Systems (PhD thesis) by Ajmani, Sameer

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  2. 2
    A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership

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

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  3. 3
    Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture

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

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  4. 4
    EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management

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

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  5. 5
    Byzantine Fault Tolerance in Long-Lived Systems

    Byzantine Fault Tolerance in Long-Lived Systems by Rodrigues, Rodrigo, Liskov, Barbara

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  6. 6
    Byzantine Clients Rendered Harmless

    Byzantine Clients Rendered Harmless by Liskov, Barbara, Rodrigues, Rodrigo

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  7. 7
    Automatic Software Upgrades for Distributed Systems

    Automatic Software Upgrades for Distributed Systems by Ajmani, Sameer, Liskov, Barbara, Shrira, Liuba, Curtis, Dorothy

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text
  8. 8
    Automatic Software Upgrades for Distributed Systems

    Automatic Software Upgrades for Distributed Systems by Ajmani, Sameer

    Published 2005
    Other Authors: “…Programming Methodology…”
    Get full text

Search Tools: