


default search action
PRDC 2012: Niigata, Japan
- IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-4849-2
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
From Design for Adaptation to Component-Based Resilient Computing. 1-10 - Qiang Guan, Chi-Chen Chiu, Song Fu
:
CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures. 11-20 - Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno:
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. 21-30 - Naghmeh Ramezani Ivaki
, Filipe Araújo
, Raul Barbosa
:
A Middleware for Exactly-Once Semantics in Request-Response Interactions. 31-40 - Kenichi Kourai
, Takuya Nagata:
A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E. 41-50 - Linbo Chen, Jianhui Jiang, Danqing Zhang:
Code Reuse Prevention through Control Flow Lazily Check. 51-60 - Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy:
Safety Trigger Conditions for Critical Autonomous Systems. 61-69 - Salvador DeCelles, Nagarajan Kandasamy:
Entropy-Based Detection of Incipient Faults in Software Systems. 70-79 - Tatsuya Noguchi, Tatsuhiro Tsuchiya
, Tohru Kikuno:
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. 80-88 - Ken Yano, Takanori Hayashida, Toshinori Sato
:
Analysis of SER Improvement by Radiation Hardened Latches. 89-95 - Itsuo Takanami, Tadayoshi Horita:
A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare Replacement. 96-104 - Tomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu:
Multi-chip NoCs for Automotive Applications. 105-110 - Masashi Imai, Tomohiro Yoneda:
Performance Modeling and Analysis of On-chip Networks for Real-Time Applications. 111-120 - Tatsuhiro Tsuchiya
:
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. 121-126 - Aromhack Saysanasongkham, Masahiko Negishi, Masayuki Arai, Satoshi Fukumoto:
A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic Environment. 127-134 - Yoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja:
Diagnosis for Bridging Faults on Clock Lines. 135-144

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.