default search action
PRDC 2013: Vancouver, BC, Canada
- IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5130-2
Session A1: Checkpointing and Voting
- Guillaume Aupy, Yves Robert
, Frédéric Vivien
Checkpointing Strategies with Prediction Windows. 1-10 - Guillaume Aupy, Anne Benoit
On the Combination of Silent Error Detection and Checkpointing. 11-20 - Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat
Improving Reliability of Real-Time Systems through Value and Time Voting. 21-30
Session B1: Fault Injection and Test
- Cristiano Giuffrida
EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments. 31-40 - Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Towards Formal Approaches to System Resilience. 41-50 - Shengfeng Wu, Yue Wu, Shiyi Xu:
Acceleration of Random Testing for Software. 51-59
Session A2: Consensus
- Catia Khouri, Fabíola Greve:
A Generic Consensus Algorithm for Shared Memory. 60-67 - Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson:
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. 68-77 - Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea
Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. 78-87
Session B2: Error Detection and Correction 1
- Xun Jian, Nathan DeBardeleben, Sean Blanchard, Vilas Sridharan, Rakesh Kumar:
Analyzing Reliability of Memory Sub-systems with Double-Chipkill Detect/Correct. 88-97 - Jangwoo Kim, Hyunggyun Yang, Mark P. McCartney, Mudit Bhargava, Ken Mai
Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECC. 98-107 - Thomas J. E. Schwarz, Darrell D. E. Long, Jehan-François Pâris
Reliability of Disk Arrays with Double Parity. 108-117
Session A3: Fast Abstracts
- P. Balasubramanian, Shigeru Yamashita:
On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital Design. 118-119 - Martin Hoffmann, Christian Dietrich
dOSEK: A Dependable RTOS for Automotive Applications. 120-121 - Yuzuru Maya:
Two-Phase Majority Decision Scheme Using Time-Stamps. 122-123 - Sonia Meskini, Ali Bou Nassif
Reliability Prediction of Smartphone Applications through Failure Data Analysis. 124-125 - Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki:
Consistency Verification of UML Diagrams Based on Process Bisimulation. 126-127 - Hao Xie, Li Chen
Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance. 128-129 - Hongbo Shi, Kazuhiko Iwasaki:
Classification of DNS Queries for Anomaly Detection. 130-131 - Shohei Kotaki, Masato Kitakami:
A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash Memories. 132-133 - Mamoru Ohara, Masayuki Arai, Satoshi Fukumoto:
A Note on Influence of DC-DC Converter Noise in CAN Networks. 134-135 - Yu-Yuan Lin, Kuo-Feng Ssu, Hau-Yu Chiang, Chun-Hao Yang:
Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor Networks. 136-137 - Chun-Hao Yang, Kuo-Feng Ssu, Yu-Yuan Lin:
A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor Networks. 138-139 - Jehan-François Pâris
Zero-Maintenance Disk Arrays. 140-141
Session A4: Modeling with Networks
- Naif A. Mokhayesh Alzahrani, Dorina C. Petriu
Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. 142-151 - Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. 152-161 - Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln:
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. 162-171
Session B4: Industry Track Presentations
- Eric William Davis Rozier, Saman A. Zonouz, David Redberg:
Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote Processing. 172-177 - Zigor Salvador, Alberto Lafuente, Mikel Larrea
Mobility-Enabled Publish/Subscribe: A Case Study. 178-182 - Fyodor Yarochkin, Yennun Huang
Mining Large Network Reconnaissance Data. 183-187
Session A5: Distributed Systems
- Umme Habiba, Abdul Ghafoor Abbasi, Rahat Masood
Assessment Criteria for Cloud Identity Management Systems. 188-195 - Qiang Guan, Song Fu
Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing Systems. 196-205 - Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy:
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. 206-215
Session B5: Error Detection and Correction 2
- Rakan Maddah, Sangyeun Cho, Rami G. Melhem:
Power of One Bit: Increasing Error Correction Capability with Data Inversion. 216-225 - Bing Li, Shuchang Shan, Yu Hu, Xiaowei Li:
Tolerating Noise in MLC PCM with Multi-Bit Error Correction Code. 226-231 - Kushal Seetharam, Lance Ong-Siong Co Ting Keh, Ralph Nathan, Daniel J. Sorin:
Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication. 232-235
Session A6: Security
- Saman A. Zonouz, Rui Han, Parisa Haghani:
Sechduler: A Security-Aware Kernel Scheduler. 236-245 - Saman A. Zonouz, Ahmad Seyfi, Alejandro Mesa, Gabriel Salles-Loustau:
FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause Analysis. 246-255 - Yuta Atobe, Youhua Shi
Secure Scan Design with Dynamically Configurable Connection. 256-262
Session B6: Modeling
- Peter Tröger, Franz Becker, Felix Salfner:
FuzzTrees - Failure Analysis with Uncertainties. 263-272 - Rafael Rezende, Andreas Dittrich, Miroslaw Malek:
User-Perceived Instantaneous Service Availability Evaluation. 273-282 - Carlos Augusto S. Cunha, Luís Moura Silva:
Prediction of Performance Failures in Video-Streaming Servers. 283-292
Session A7: Safety and Robustness
- Boris Motruk, Jonas Diemer, Philip Axer, Rainer Buchty, Mladen Berekovic
Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core Platforms. 293-302 - Henning Sahlbach, Rolf Ernst:
Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems. 303-311 - Denise Rotondi Azevedo, Ana Maria Ambrosio
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. 312-317
Session B7: Software Reliability
- Kenji Yoshida, Shoichi Saito, Koichi Mouri, Hiroshi Matsuo:
Orthros: A High-Reliability Operating System with Transmigration of Processes. 318-327 - Daisuke Kuwa, Tadashi Dohi
Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data. 328-337 - David C. van Moolenbroek, Raja Appuswamy
Transaction-Based Process Crash Recovery of File System Namespace Modules. 338-347
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-12-16 22:15 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: