default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th HotDep 2012: Hollywood, CA, USA
- Michael J. Freedman, Neeraj Suri:
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012. USENIX Association 2012
Operating Systems
- Björn Döbel, Hermann Härtig:
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms. - Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono:
Is Linux Kernel Oops Useful or Not? - Reinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
Debugging
- Baris Kasikci, Cristian Zamfir, George Candea:
CORD: A Collaborative Framework for Distributed Data Race Detection. - Bowen Zhou, Milind Kulkarni, Saurabh Bagchi:
ABHRANTA: Locating Bugs that Manifest at Large System Scales. - Adam J. Oliner, Anand P. Iyer, Eemil Lagerspetz, Sasu Tarkoma:
Collaborative Energy Debugging for Mobile Devices.
Storage Systems and Consistency
- Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable:
ShadowDB: A Replicated Database on a Synthesized Consensus Core. - Muntasir Raihan Rahman, Wojciech M. Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie:
Toward a Principled Framework for Benchmarking Consistency.
Cloud Management
- Wei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni:
Programming Model Support for Dependable, Elastic Cloud Applications. - Ingo Weber, Hiroshi Wada, Alan D. Fekete, Anna Liu, Len Bass:
Automatic Undo for Cloud Management via AI Planning.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
