default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 72 matches
- 2014
- Johannes Behl, Tobias Distler, Rüdiger Kapitza:
Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization. HotDep 2014 - Stefan Brenner, Colin Wulf, Rüdiger Kapitza:
Running ZooKeeper Coordination Services in Untrusted Clouds. HotDep 2014 - Shehbaz Jaffer, Mangesh Chitnis, Ameya Usgaonkar:
Providing High Availability in Cloud Storage by Decreasing Virtual Machine Reboot Time. HotDep 2014 - Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi:
Towards General-Purpose Resource Management in Shared Cloud Services. HotDep 2014 - Takeshi Miyamae, Takanori Nakao, Kensuke Shiozawa:
Erasure Code with Shingled Local Parity Groups for Efficient Recovery from Multiple Disk Failures. HotDep 2014 - Arjun Narayan, Antonis Papadimitriou, Andreas Haeberlen:
Compute Globally, Act Locally: Protecting Federated Systems from Systemic Threats. HotDep 2014 - Nuno Santos, Nuno P. Lopes:
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. HotDep 2014 - Xin Xu, H. Howie Huang:
Understanding Reliability Implication of Hardware Error in Virtualization Infrastructure. HotDep 2014 - Takeshi Yoshimura, Kenji Kono:
Who Writes What Checkers? - Learning from Bug Repositories. HotDep 2014 - Flavio Junqueira, Keith Marzullo:
10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014. USENIX Association 2014 [contents] - 2013
- Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting:
PSCloud: a durable context-aware personal storage cloud. HotDep 2013: 9:1-9:6 - Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini:
Towards transparent hardening of distributed systems. HotDep 2013: 4:1-4:6 - Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues:
Towards effective and efficient search-based deterministic replay. HotDep 2013: 10:1-10:6 - Huynh Tu Dang, Fabien Hermenier:
Higher SLA satisfaction in datacenters with continuous VM placement constraints. HotDep 2013: 1:1-1:6 - Leander Jehl, Hein Meling:
Towards Byzantine fault tolerant publish/subscribe: a state machine approach. HotDep 2013: 5:1-5:5 - Akshay Kumar, Peter Goodman, Ashvin Goel, Angela Demke Brown:
Behave or be watched: debugging with behavioral watchpoints. HotDep 2013: 11:1-11:6 - Antonis Papadimitriou, Mingchen Zhao, Andreas Haeberlen:
Towards privacy-preserving fault detection. HotDep 2013: 6:1-6:5 - Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Joo Young Hwang, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Towards efficient, portable application-level consistency. HotDep 2013: 8:1-8:6 - Nawanol Theera-Ampornpunt, Saurabh Bagchi, Kaustubh R. Joshi, Rajesh K. Panta:
Using big data for more dependability: a cellular network tale. HotDep 2013: 2:1-2:5 - Dirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum:
Techniques for efficient in-memory checkpointing. HotDep 2013: 12:1-12:5 - Michael Walfish:
Verifying the correctness of remote executions: from wild implausibility to near practicality. HotDep 2013: 7:1 - Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford:
An untold story of redundant clouds: making your service deployment truly reliable. HotDep 2013: 3:1-3:6 - Christian Cachin, Robbert van Renesse:
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013. ACM 2013, ISBN 978-1-4503-2457-1 [contents] - 2012
- Wei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni:
Programming Model Support for Dependable, Elastic Cloud Applications. HotDep 2012 - Björn Döbel, Hermann Härtig:
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms. HotDep 2012 - Baris Kasikci, Cristian Zamfir, George Candea:
CORD: A Collaborative Framework for Distributed Data Race Detection. HotDep 2012 - Adam J. Oliner, Anand P. Iyer, Eemil Lagerspetz, Sasu Tarkoma:
Collaborative Energy Debugging for Mobile Devices. HotDep 2012 - Muntasir Raihan Rahman, Wojciech M. Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie:
Toward a Principled Framework for Benchmarking Consistency. HotDep 2012 - Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable:
ShadowDB: A Replicated Database on a Synthesized Consensus Core. HotDep 2012 - 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. HotDep 2012
skipping 42 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-17 08:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint