PRDC C

32 papers

YearTitle / Authors
201420th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014
2014A Fault Tolerant Architecture for Data Fusion Targeting Hardware and Software Faults.
Kaci Bader, Benjamin Lussier, Walter Schön
2014A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms.
Ivano Irrera, Marco Vieira
2014A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2014Algorithm Selection for Error Resilience in Scientific Computing.
Joseph Callenes-Sloan, Hugh McNamara
2014Automatic Generation of Security Argument Graphs.
Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
2014CloudBFT: Elastic Byzantine Fault Tolerance.
Rodrigo Nogueira, Filipe Araújo, Raul Barbosa
2014Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains.
Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi
2014Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude.
Shohei Kotaki, Masato Kitakami
2014Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication.
Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi
2014Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication.
Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando J. Barros
2014EA-EO: Endurance Aware Erasure Code for SSD-Based Storage Systems.
Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi
2014Efficient VM Introspection in KVM and Performance Comparison with Xen.
Kenichi Kourai, Kousuke Nakamura
2014Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms.
Oday Jubran, Oliver E. Theel
2014Formalizing Google File System.
Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
2014FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development.
Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura
2014From Safety Analyses to Experimental Validation of Automotive Embedded Systems.
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
2014Lightweight Bare-Metal Stateful Firewall.
Yihuan Xing, Ford-Long Wong, Akash Kumar
2014Locating a Faulty Interaction in Pair-wise Testing.
Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2014Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling.
Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura
2014Optimization of Partitioned Architectures to Support Soft Real-Time Applications.
Domitian Tamas-Selicean, Paul Pop
2014Protecting RAID Arrays against Unexpectedly High Disk Failure Rates.
Jehan-François Pâris, Thomas J. E. Schwarz, Ahmed Amer, Darrell D. E. Long
2014Reasoning about Group-Based Mobility in MANETs.
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
2014Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA.
Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara
2014Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality.
Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel
2014Reliability of Geo-replicated Cloud Storage Systems.
Ilias Iliadis, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan
2014Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications.
Md. Zakirul Alam Bhuiyan, Guojun Wang
2014Responsiveness of Service Discovery in Wireless Mesh Networks.
Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek
2014Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers.
Rui Peng, F. R. Shahrzad
2014Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault.
Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai
2014The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward.
Patrick J. Graydon, Iain Bate
2014Towards Secure and Dependable Authentication and Authorization Infrastructures.
Diego Kreutz, Alysson Neves Bessani, Eduardo Feitosa, Hugo Cunha