Показ 1 - 8 результатів із 8 для пошуку 'Programming Methodology', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    Automatic Software Upgrades for Distributed Systems (PhD thesis)

    Automatic Software Upgrades for Distributed Systems (PhD thesis) за авторством Ajmani, Sameer

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  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 за авторством Rodrigues, Rodrigo, Liskov, Barbara

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  3. 3
    Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture

    Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture за авторством Rodrigues, Rodrigo, Liskov, Barbara

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  4. 4
    EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management

    EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management за авторством Leong, Ben, Liskov, Barbara, Demaine, Erik D.

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  5. 5
    Byzantine Fault Tolerance in Long-Lived Systems

    Byzantine Fault Tolerance in Long-Lived Systems за авторством Rodrigues, Rodrigo, Liskov, Barbara

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  6. 6
    Byzantine Clients Rendered Harmless

    Byzantine Clients Rendered Harmless за авторством Liskov, Barbara, Rodrigues, Rodrigo

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  7. 7
    Automatic Software Upgrades for Distributed Systems

    Automatic Software Upgrades for Distributed Systems за авторством Ajmani, Sameer, Liskov, Barbara, Shrira, Liuba, Curtis, Dorothy

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст
  8. 8
    Automatic Software Upgrades for Distributed Systems

    Automatic Software Upgrades for Distributed Systems за авторством Ajmani, Sameer

    Опубліковано 2005
    Інші автори: “...Programming Methodology...”
    Отримати повний текст

Інструменти для пошуку: