default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32. SRDS 2013: Braga, Portugal
- IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5115-9
- Dong Xiang, Yan Zhang, Shuchang Shan, Yi Xu:
A Fault-Tolerant Routing Algorithm Design for On-Chip Optical Networks. 1-9 - Vimal Kumar
, Sanjay Madria:
PIP: Privacy and Integrity Preserving Data Aggregation in Wireless Sensor Networks. 10-19 - Federico Ferrari, Marco Zimmerling, Luca Mottola, Lothar Thiele:
Virtual Synchrony Guarantees for Cyber-physical Systems. 20-30 - Luis Marques, António Casimiro:
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. 31-40 - Yahya Benkaouz, Rachid Guerraoui, Mohammed Erradi, Florian Huc:
A Distributed Polling with Probabilistic Privacy. 41-50 - Catia Khouri, Fabíola Greve, Sébastien Tixeuil:
Consensus with Unknown Participants in Shared Memory. 51-60 - Zarko Milosevic, Martin Biely, André Schiper:
Bounded Delay in Byzantine-Tolerant State Machine Replication. 61-70 - Yongkun Li, Patrick P. C. Lee, John C. S. Lui:
Stochastic Analysis on RAID Reliability for Solid-State Drives. 71-80 - Yiyan Lin, Sandeep S. Kulkarni:
Automated Multi-graceful Degradation: A Case Study. 81-90 - Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal:
A Distributed Abstraction Algorithm for Online Predicate Detection. 101-110 - Edward Chuah, Arshad Jhumka, Sai Narasimhamurthy, John L. Hammond, James C. Browne, Bill Barth:
Linking Resource Usage Anomalies with System Failures from Cluster Log Data. 111-120 - Ignacio Laguna, Subrata Mitra, Fahad A. Arshad, Nawanol Theera-Ampornpunt, Zongyang Zhu, Saurabh Bagchi, Samuel P. Midkiff, Michael Kistler, Ahmed Gheith:
Automatic Problem Localization via Multi-dimensional Metric Profiling. 121-132 - Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini:
Efficient Verification of Distributed Protocols Using Stateful Model Checking. 133-142 - Tino Brade, Sebastian Zug, Jörg Kaiser:
Validity-Based Failure Algebra for Distributed Sensor Systems. 143-152 - Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil:
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. 153-162 - Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro:
Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems. 163-172 - Jiaqing Du, Sameh Elnikety, Willy Zwaenepoel:
Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks. 173-184 - Nuno Lourenco Diegues, Paolo Romano:
Bumper: Sheltering Transactions from Conflicts. 185-194 - Ameya Sanzgiri, Andrew Hughes, Shambhu J. Upadhyaya:
Analysis of Malware Propagation in Twitter. 195-204 - Qiang Guan, Song Fu:
Adaptive Anomaly Identification by Exploring Metric Subspace in Cloud Computing Infrastructures. 205-214 - William Nzoukou, Lingyu Wang, Sushil Jajodia, Anoop Singhal:
A Unified Framework for Measuring a Network's Mean Time-to-Compromise. 215-224
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 2026-06-09 22:36 CEST 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:
