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

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

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

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

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

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

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

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, M. 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

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 Lazarescu, Suresh Rai:
A Greedy Technique for Finding the Most Reliable Edge-Disjoint-Path-Set in a Network. 216-223

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

Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen:
An Online Control Flow Check for VLIW Processor. 256-264
Juan Carlos Ruiz, 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

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

Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew 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

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
K. 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

Last update Wed Feb 15 05:15:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page