![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PRDC 2008: Taipei, Taiwan
- 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan. IEEE Computer Society 2008, ISBN 978-0-7695-3448-0
Dependable Hardware (I)
- Shijian Zhang, Weiwu Hu:
Fetching Primary and Redundant Instructions in Turn for a Fault-Tolerant Embedded Microprocessor. 1-8 - Viswanathan Subramanian, Arun K. Somani:
Conjoined Pipeline: Enhancing Hardware Reliability and Performance through Organized Pipeline Redundancy. 9-16 - Weiguang Sheng, Liyi Xiao, Zhigang Mao:
Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection Campaigns. 17-23
Dependable Systems (I)
- Thomas Robert, Jean-Charles Fabre, Matthieu Roy:
On-line Monitoring of Real Time Applications for Early Error Detection. 24-31 - Koji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai:
The Schemes to Develop Dependable System Using COTS. 32-39 - Takahiro Minamikawa, Tatsuhiro Tsuchiya
, Tohru Kikuno:
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. 40-47
Algorithms and Theory (I)
- Julien Clément, Thomas Hérault
, Stéphane Messika, Olivier Peres:
On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems. 48-55 - Hüseyin Aysan, Sasikumar Punnekkat
, Radu Dobrin:
VTV - A Voting Strategy for Real-Time Systems. 56-63 - Roberto Baldoni, Marco Platania, Leonardo Querzoni
, Sirio Scipioni:
A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes. 64-72 - Gang Wang, Xiaoguang Liu, Sheng Lin, Guangjun Xiu, Jing Liu:
Constructing Liberation Codes Using Latin Squares. 73-80
Modeling and Analysis (I)
- Dong Tang, William Bryson, Richard Elling:
RAS Modeling of an HPC Switch System. 81-86 - Lin Huang, Qiang Xu
:
On Modeling the Lifetime Reliability of Homogeneous Manycore Systems. 87-94 - Vasilis P. Koutras, Agapios N. Platis:
Modeling Perfect and Minimal Rejuvenation for Client Server Systems with Heterogeneous Load. 95-103 - Hakem Beitollahi, Geert Deconinck
:
Dependable Overlay Networks. 104-111
Dependable Systems (II)
- Jorrit N. Herder, Herbert Bos
, Ben Gras, Philip Homburg, Andrew S. Tanenbaum:
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability). 112-121 - Carl Bergenhem, Johan Karlsson:
A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling. 122-131 - Chia-Chen Yen, Jih-Shih Hsu:
Application of Flexible and Efficient Campus Curriculum Systems. 132-137
Dependable Networks
- Bogdan Tomoyuki Nassu, Takashi Nanya, Hiroshi Nakamura
:
Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit Redundancies. 138-145 - Roberto Jung Drebes, Takashi Nanya:
Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address Errors. 146-152 - Fedor V. Yarochkin, Shih-Yao Dai, Chih-Hung Lin, Yennun Huang
, Sy-Yen Kuo
:
Towards Adaptive Covert Communication System. 153-159
Dependable Systems (II)
- Shiyi Xu:
Orderly Random Testing for Both Hardware and Software. 160-167 - Yu-Min Chung, Chin-Yu Huang, Yu-Chi Huang:
A Study of Modified Testing-Based Fault Localization Method. 168-175 - Y. F. Li, Min Xie
, T. N. Goh:
Bayesian Inference Approach for Probabilistic Analogy Based Software Maintenance Effort Estimation. 176-183 - Jennifer Black, Philip Koopman:
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. 184-191
Algorithms and Theory (II)
- Bo Zhang, Binoy Ravindran
:
SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks. 192-199 - Christian Storm, Timo Warns, Oliver E. Theel:
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. 200-207 - Cristian Martín, Mikel Larrea:
Eventual Leader Election in the Crash-Recovery Failure Model. 208-215 - Ruen Chze Loh, Sieteng Soh
, Mihai M. Lazarescu
, Suresh Rai:
A Greedy Technique for Finding the Most Reliable Edge-Disjoint-Path-Set in a Network. 216-223
Dependable Software
- Tomotaka Ishii, Tadashi Dohi
:
A New Paradigm for Software Reliability Modeling - From NHPP to NHGP. 224-231 - Hiroyuki Okamura
, Tadashi Dohi
:
Hyper-Erlang Software Reliability Model. 232-239 - Jianjun Xu, Rui Shen, Qingping Tan:
PRASE: An Approach for Program Reliability Analysis with Soft Errors. 240-247 - Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian:
Componentization of Fault Tolerance Software for Fine-Grain Adaptation. 248-255
Dependable Hardware (II)
- Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen:
An Online Control Flow Check for VLIW Processor. 256-264 - Juan-Carlos Ruiz-Garcia
, David de Andrés, Sara Blanc
, Pedro J. Gil:
Generic Design and Automatic Deployment of NMR Strategies on HW Cores. 265-272 - Rui Gong, Kui Dai, Zhiying Wang:
Transient Fault Tolerance on Chip Multiprocessor Based on Dual and Triple Core Redundancy. 273-280 - Haruhiko Kaneko, Takuya Matsuzaka, Eiji Fujiwara:
Three-Level Error Control Coding for Dependable Solid-State Drives. 281-288
Security Issues
- Jin-Hee Cho, Ing-Ray Chen, Phu-Gui Feng:
Effect of Intrusion Detection on Failure Time of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc Networks. 289-296 - José Fonseca
, Marco Vieira
, Henrique Madeira
:
Training Security Assurance Teams Using Vulnerability Injection. 297-304 - Christiaan J. Lamprecht, Aad P. A. van Moorsel:
Runtime Security Adaptation Using Adaptive SSL. 305-312 - Naaliel Mendes, Afonso Araújo Neto, João Durães
, Marco Vieira
, Henrique Madeira
:
Assessing and Comparing Security of Web Servers. 313-322
Modeling and Analysis (II)
- Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew J. Rindos, W. Earl Smith, Bart Vashaw:
Availability Modeling of SIP Protocol on IBM(c) WebSphere(c). 323-330 - Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen:
Availability Analysis of Robotic Swarm Systems. 331-338 - Daniel Chen, Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Bruce G. Mealey:
Error Behavior Comparison of Multiple Computing Systems: A Case Study Using Linux on Pentium, Solaris on SPARC, and AIX on POWER. 339-346
Poster Papers
- Kazuteru Namba, Hideo Ito:
Path Delay Fault Test Set for Two-Rail Logic Circuits. 347-348 - Masashi Hamamatsu, Tatsuhiro Tsuchiya
, Tohru Kikuno:
Finding the Optimal Configuration of a Cascading TMR System. 349-350 - Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun:
Reliability Quantification of the Tree Structure Based Distributed System. 351-352 - Kouki Suzuki, Takashi Nakada, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima:
A Functional Unit with Small Variety of Highly Reliable Cells. 353-354 - Yanjun Shu, Zhibo Wu, Hongwei Liu, Xiaozong Yang:
Considering Fault Correction Lag in Software Reliability Modeling. 355-356 - Jichiang Tsai, Wu-Hong Chen, Che-Cheng Chang:
Efficient Dynamic Indexing Methods for Communication-Induced Checkpointing Protocols. 357-358
![](https://dblp.dagstuhl.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.