![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/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.