


default search action
PRDC 2014: Singapore
- 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-6474-1

Fault Tolerant
- Kaci Bader, Benjamin Lussier, Walter Schön:

A Fault Tolerant Architecture for Data Fusion Targeting Hardware and Software Faults. 1-10 - Naghmeh Ramezani Ivaki

, Filipe Araújo
, Fernando J. Barros
:
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. 11-20 - Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre

, Yannick Deleris:
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. 21-30 - Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai:

Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault. 31-32
Security Systems
- Nils Ole Tippenhauer

, William G. Temple, An Hoa Vu, Binbin Chen
, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders:
Automatic Generation of Security Argument Graphs. 33-42 - Diego Kreutz

, Alysson Neves Bessani
, Eduardo Feitosa
, Hugo Cunha:
Towards Secure and Dependable Authentication and Authorization Infrastructures. 43-52 - Yihuan Xing, Ford-Long Wong, Akash Kumar

:
Lightweight Bare-Metal Stateful Firewall. 53-58
Hardware
- Yasuo Sato, Masafumi Monden, Yousuke Miyake

, Seiji Kajihara:
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA. 59-67 - Jehan-François Pâris

, Thomas J. E. Schwarz, Ahmed Amer, Darrell D. E. Long:
Protecting RAID Arrays against Unexpectedly High Disk Failure Rates. 68-75 - Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi:

EA-EO: Endurance Aware Erasure Code for SSD-Based Storage Systems. 76-85
Algorithm
- Ivano Irrera, Marco Vieira

:
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. 86-95 - Joseph Callenes-Sloan, Hugh McNamara:

Algorithm Selection for Error Resilience in Scientific Computing. 96-105 - Oday Jubran, Oliver E. Theel:

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. 106-115 - Hiroyuki Okamura

, Yusuke Kunimoto, Tadashi Dohi
:
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. 116-124
Safety and Correctness
- Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy:

From Safety Analyses to Experimental Validation of Automotive Embedded Systems. 125-134 - Patrick J. Graydon, Iain Bate:

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. 135-144 - Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura:

FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development. 145-154 - Takahiro Nagamoto, Hideharu Kojima

, Hiroyuki Nakagawa
, Tatsuhiro Tsuchiya
:
Locating a Faulty Interaction in Pair-wise Testing. 155-156 - Rui Peng, F. R. Shahrzad:

Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers. 157-158 - Shohei Kotaki, Masato Kitakami:

Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude. 159-160
Cloud
- Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi:

Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. 161-168 - Ilias Iliadis

, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan:
Reliability of Geo-replicated Cloud Storage Systems. 169-179 - Rodrigo Nogueira, Filipe Araújo

, Raul Barbosa:
CloudBFT: Elastic Byzantine Fault Tolerance. 180-189 - Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu:

Formalizing Google File System. 190-191
Software Quality
- Kenichi Kourai

, Kousuke Nakamura:
Efficient VM Introspection in KVM and Performance Comparison with Xen. 192-202 - Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel:

Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. 203-212 - Toshitaka Koga, Tadashi Dohi

, Hiroyuki Okamura
:
Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling. 213-222 - Domitian Tamas-Selicean, Paul Pop

:
Optimization of Partitioned Architectures to Support Soft Real-Time Applications. 223-224
Distributed Systems
- Md. Zakirul Alam Bhuiyan

, Guojun Wang:
Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications. 225-233 - Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek:

Responsiveness of Service Discovery in Wireless Mesh Networks. 234-243 - Xi Wu, Si Liu

, Huibiao Zhu, Yongxin Zhao:
Reasoning about Group-Based Mobility in MANETs. 244-253

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














