![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
32. 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.