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

Description

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

Links & Downloads

1. urn:nbn:de:bsz:14-qucosa-203622
2. 1430-211X
3. 474062600
4. https://tud.qucosa.de/id/qucosa%3A29539
5. https://tud.qucosa.de/api/qucosa%3A29539/attachment/ATT-0/

Tags

info:eu-repo/classification/ddc/004

ddc:004

Additional Fields

Identifer	oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:29539
Date	01 June 2016
Creators	Behrens, Diogo, Serafini, Marco, Arnautov, Sergei, Junqueira, Flavio, Fetzer, Christof
Publisher	Technische Universität Dresden
Source Sets	Hochschulschriftenserver (HSSS) der SLUB Dresden
Language	English
Detected Language	English
Type	doc-type:report, info:eu-repo/semantics/report, doc-type:Text
Rights	info:eu-repo/semantics/openAccess
Relation	urn:nbn:de:bsz:14-qucosa-79344, qucosa:24841