Return to search

Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments

This technical report complements the paper entitled “Scalable error isolation for distributed systems” published at USENIX NSDI 15.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa.de:bsz:14-qucosa-203622
Date01 June 2016
CreatorsBehrens, Diogo, Serafini, Marco, Arnautov, Sergei, Junqueira, Flavio, Fetzer, Christof
ContributorsTechnische Universität Dresden, Fakultät Informatik, Technische Universität Dresden, Fakultät Informatik
PublisherSaechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typedoc-type:report
Formatapplication/pdf
Relationdcterms:isPartOf:Technische Berichte / Technische Universität Dresden, Fakultät Informatik ; 2015,01(TUD-FI15-01-Februar 2015)

Page generated in 0.0021 seconds