„error isolation“

Suchergebnisse

6 Treffer

• Error isolation in distributed systems
  Behrens, Diogo ; Fetzer, Christof ; Junqueira, Flavio 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Formally Verified Implementation of an Idealized Model of Virtualization
  Barthe, Gilles ; Betarte, Gustavo ; Campo, Juan Diego ; Chimento, Jesús Mauricio ; Luna, Carlos 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Isolation of a Dosage Dependent Lethal Mutation in Ubiquitin Gene of Saccharomyces Cerevisiae
  Prabha, C. Ratna ; Mishra, Pradeep ; Shahukar, Mitali
• Impact of contact isolation for multidrug-resistant organisms on the occurrence of medical errors and adverse events
  Zahar, J. R. ; Garrouste-Orgeas, M. ; Vesin, A. ; Schwebel, C. ; Bonadona, A. ; Philippart, F. ; Ara-Somohano, C. ; Misset, B. ; Timsit, J. F.
• Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
  Behrens, Diogo 2015 Technische Universität Dresden, Fakultät Informatik, Institut für Systemarchitektur
• Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
  Behrens, Diogo ; Serafini, Marco ; Arnautov, Sergei ; Junqueira, Flavio ; Fetzer, Christof 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden