The Community for Technology Leaders
Pacific Rim International Symposium on Dependable Computing, IEEE (2004)
Papeete, Tahiti, French Polynesia
Mar. 3, 2004 to Mar. 5, 2004
ISBN: 0-7695-2076-6

Copyright Form (PDF)

pp. iv

Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv
Keynote I
Session 1A — Web and WAN Dependability

Towards Dependable Web Services (Abstract)

Markus Debusmann , Fachhochschule Wiesbaden Distributed Systems Lab
Kurt Geihs , Berlin University of Technology
pp. 5-14

An Algorithmic Approach to Identifying Link Failures (Abstract)

Mohit Lad , University of California at Los Angeles
Akash Nanavati , University of California at Los Angeles
Dan Massey , University of Southern California
Lixia Zhang , University of California at Los Angeles
pp. 25-34
Session 1B — Practical Experience Reports I

Cache Scrubbing in Microprocessors: Myth or Necessity? (Abstract)

Shubhendu S. Mukherjee , Intel Corporation
Joel Emer , Intel Corporation
Tryggve Fossum , Intel Corporation
Steven K. Reinhardt , Intel Corporation and University of Michigan
pp. 37-42

Application-Level Fault Tolerance in the Orbital Thermal Imaging Spectrometer (Abstract)

E. Ciocca , University of Massachusetts at Amherst
I. Koren , University of Massachusetts at Amherst
Z. Koren , University of Massachusetts at Amherst
C. M. Krishna , University of Massachusetts at Amherst
D. S. Katz , Jet Propulsion Laboratory
pp. 43-48

Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features (Abstract)

Amir Rajabzadeh , Sharif University of Technology
Mirzad Mohandespour , Sharif University of Technology
Ghassem Miremadi , Sharif University of Technology
pp. 49-54
Session 2A — Distributed Protocols and Systems

A Hybrid Approach for Building Eventually Accurate Failure Detectors (Abstract)

Achour Mostefaoui , IRISA, Université de Rennes 1
David Powell , LAAS-CNRS
Michel Raynal , IRISA, Université de Rennes 1
pp. 57-65

Measuring Notification Loss in Publish/Subscribe Communication Systems (Abstract)

R. Baldoni , Università di Roma "La Sapienza"
R. Beraldi , Università di Roma "La Sapienza"
S. Tucci Piergiovanni , Università di Roma "La Sapienza"
A. Virgillito , Università di Roma "La Sapienza"
pp. 84-93
Session 2B — Software Reliability and Testing

Optimal Allocation of Testing-Resource Considering Cost, Reliability, and Testing-Effort (Abstract)

Chin-Yu Huang , National Tsing Hua University
Jung-Hua Lo , Lan Yang Institute of Technology
Sy-Yen Kuo , National Taiwan University
Michael R. Lyu , Chinese University of Hong Kong
pp. 103-112

Quantifying the Variance in Application Reliability (Abstract)

Swapna S. Gokhale , University of Connecticut
pp. 113-121

Software Rejuvenation Policies for Cluster Systems under Varying Workload (Abstract)

Wei Xie , Duke University
Yiguang Hong , Chinese Academy of Sciences
Kishor S. Trived , Duke University
pp. 122-129
Session 3A — Checkpointing and Recovery

Using Modulo Rulers for Optimal Recovery Schemes in Distributed Computing (Abstract)

Kamilla Klonowska , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
H?kan Lennerstad , Blekinge Institute of Technology
Charlie Svahnberg , Blekinge Institute of Technology
pp. 133-142

Analysis of Read and Write Availability for Generalized Hybrid Data Replication Protocol (Abstract)

Masayuki Arai , Tokyo Metropolitan University
Tabito Suzuki , Tokyo Metropolitan University
Mamoru Ohara , Tokyo Metropolitan University
Satoshi Fukumoto , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
Hee Yong Youn , SungKyunKwan University
pp. 143-150

A Dynamic Checkpointing Scheme Based on Reinforcement Learning (Abstract)

Hiroyuki Okamura , Hiroshima University
Yuki Nishimura , Hiroshima University
Tadashi Dohi , Hiroshima University
pp. 151-158
Session 4A — Parallel and High-Performance Systems

Availabilities and Costs of Reliable Fat-Btrees (Abstract)

Jun Miyazaki , Nara Institute of Science & Technology
Yohei Abe , ACCESS Co., Ltd.,
Haruo Yokota , Tokyo Institute of Technology
pp. 163-172

Node-to-Node Internally Disjoint Paths Problem in Bubble-Sort Graphs (Abstract)

Keiichi Kaneko , Tokyo University of Agriculture and Technology
Yasuto Suzuki , Tokyo University of Agriculture and Technology
pp. 173-182

Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking (Abstract)

Manabu Sueishi , Chiba University
Masato Kitakami , Chiba University
Hideo Ito , Chiba University
pp. 183-190
Keynote II
Session 5A — Distributed Systems Modeling

Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD (Abstract)

Yung-Ruei Chang , National Taiwan University
Hung-Yau Lin , National Taiwan University
Sy-Yen Kuo , National Taiwan University
pp. 197-206

Expected-Reliability Analysis for Wireless CORBA with Imperfect Components (Abstract)

Xinyu Chen , Chinese University of Hong Kong
Michael R. Lyu , Chinese University of Hong Kong
pp. 207-215
Session 5B — Coding

Nonsystematic M-Ary Asymmetric Error Correcting Codes Designed by Multilevel Coding Method (Abstract)

Haruhiko Kaneko , Tokyo Institute of Technology
Mariko Numakami , Tokyo Institute of Technology
Eiji Fujiwara , Tokyo Institute of Technology
pp. 219-226

Protecting Wavelet Lifting Transforms (Abstract)

G. Robert Redinbo , University of California at Davis
Cung Nguyen , University of California at Davis
pp. 227-236
Session 6A — Mobile Systems and Networks

Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments (Abstract)

Chia-Ho Ou , National Cheng Kung University
Kuo-Feng Ssu , National Cheng Kung University
Hewijin Christine Jiau , National Cheng Kung University
pp. 239-247

Analysis and Evaluation of Topological and Application Characteristics of Unreliable Mobile Wireless Ad-hoc Network (Abstract)

Serdar Cabuk , Purdue University
Nipoon Malhotra , Purdue University
Longbi Lin , Purdue University
Saurabh Bagchi , Purdue University
Ness Shroff , Purdue University
pp. 248-257
Session 6B — Dependability Benchmarking

The System Recovery Benchmark (Abstract)

James Mauro , Sun Microsystems, Inc.
Ji Zhu , Sun Microsystems, Inc.
Ira Pramanick , Sun Microsystems, Inc.
pp. 271-280
Session 7A — Fault Tolerance

Aspects for Improvement of Performance in Fault-Tolerant Software (Abstract)

Diana Szentiv?nyi , Link?ping University
Simin Nadjm-Tehrani , Link?ping University
pp. 283-291

A Freshness Detection Mechanism for Railway Applications (Abstract)

Andrea Bondavalli , University of Florence
Enrico De Giudici , University of Florence
Stefano Porcarelli , Italian National Research Council
Salvatore Sabina , Ansaldo Segnalamento Ferroviario
Fabrizio Zanini , Ansaldo Segnalamento Ferroviario
pp. 292-301

RedCAN™: Simulations of Two Fault Recovery Algorithms for CAN (Abstract)

H?kan Sivencrona , SP Swedish National Testing and Research Institute
Torbj? Olsson , Sauer-Danfoss
Roger Johansson , Chalmers University of Technology
Jan Torin , Chalmers University of Technology
pp. 302-311
Session 7B — Practical Experience Reports II

Efficient Built-in Self-Test Techniques for Memory-Based FFT Processors (Abstract)

Shyue-Kung Lu , Fu-Jen Catholic University
Chien-Hung Yeh , Fu-Jen Catholic University
Han-Wen Lin , Fu-Jen Catholic University
pp. 321-326

Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs (Abstract)

Ghazanfar Asadi , Sharif University of Technology
Seyed Ghassem Miremadi , Sharif University of Technology
Hamid R. Zarandi , Sharif University of Technology
Alireza Ejlali , Sharif University of Technology
pp. 327-332

Panel Summary Statements (PDF)

Raphael R. Some , Jet Propulsion Laboratory
Algirdas Avižienis , Vytautas Magnus University
Jiri Gaisler , Gaisler Research
Hirokazu Ihara , Tokyo Denki University
Shubu Mukherjee , Intel Corporation
Neeraj Suri , Technical University Darmstadt
pp. 335-40
Session 8A — Validation and Modeling

Improving AI Systems? Dependability by Utilizing Historical Knowledge (Abstract)

Rainer Knauf , Technical University of Ilmenau
Setsuo Tsuruta , Tokyo Denki University
Hirokazu Ihara , Tokyo Denki University
Avelino J. Gonzalez , University of Central Florida
Torsten Kurbad , TK-WebArt
pp. 343-352

Representing User Workarounds as a Component of System Dependability (Abstract)

Christopher Martin , Bosch Research & Technology Center
Philip Koopman , Carnegie Mellon University
pp. 353-362

Stochastic Petri Nets and Inheritance for Dependability Modelling (Abstract)

Simona Bernardi , Università di Torino
Susanna Donatelli , Università di Torino
pp. 363-372

Dependability Analysis of a Class of Probabilistic Petri Nets (Abstract)

Hsu-Chun Yen , National Taiwan University
Lien-Po Yu , National Taiwan University
pp. 373-380
Session 8B — Practical Experience Reports III

Ferret: A Host Vulnerability Checking Tool (Abstract)

Anil Sharma , University of Maryland at College Park
Jason R. Martin , University of Illinois at Urbana-Champaign
Nitin Anand , University of Maryland at College Park
Michel Cukier , University of Maryland at College Park
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 389-394

WINDAR: A Multithreaded Rollback-Recovery Toolkit on Windows (Abstract)

Jin-Min Yang , Hunan University
Da-Fang Zhang , Hunan University
Zheng Qin , Hunan University
Xue-Dong Yang , University of Regina
pp. 395-400
Author Index

Author Index (PDF)

pp. 407-408
81 ms
(Ver 3.3 (11022016))