PRDC 2004: Papeete, Tahiti

10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti. IEEE Computer Society 2004, ISBN 0-7695-2076-6 BibTeX

Web and WAN Dependability

Markus Debusmann, Kurt Geihs:
Towards Dependable Web Services. 5-14
Electronic Edition (link) BibTeX
Gunjan Khanna, Saurabh Bagchi, John Rogers:
Failure Handling in a Reliable Multicast Protocol for Improving Buffer Utilization and Accommodating Heterogeneous Receivers. 15-24
Electronic Edition (link) BibTeX
Mohit Lad, Akash Nanavati, Daniel Massey, Lixia Zhang:
An Algorithmic Approach to Identifying Link Failures. 25-34
Electronic Edition (link) BibTeX

Practical Experience Reports I

Shubhendu S. Mukherjee, Joel S. Emer, Tryggve Fossum, Steven K. Reinhardt:
Cache Scrubbing in Microprocessors: Myth or Necessity? 37-42
Electronic Edition (link) BibTeX
E. Ciocca, Israel Koren, Zahava Koren, C. Mani Krishna, Daniel S. Katz:
Application-Level Fault Tolerance in the Orbital Thermal Imaging Spectrometer. 43-48
Electronic Edition (link) BibTeX
Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi:
Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features. 49-54
Electronic Edition (link) BibTeX

Distributed Protocols and Systems

Achour Mostéfaoui, David Powell, Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors. 57-65
Electronic Edition (link) BibTeX
Jichiang Tsai:
Systematic Comparisons of RDT Communication-Induced Checkpointing Protocols. 66-75
Electronic Edition (link) BibTeX
Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. 76-83
Electronic Edition (link) BibTeX
Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito:
Measuring Notification Loss in Publish/Subscribe Communication Systems. 84-93
Electronic Edition (link) BibTeX

Software Reliability and Testing

Shiping Yang, Nan Sang, Guangze Xiong:
Safety Testing of Safety Critical Software Based on Critical Mission Duration. 97-102
Electronic Edition (link) BibTeX
Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu:
Optimal Allocation of Testing-Resource Considering Cost, Reliability, and Testing-Effort. 103-112
Electronic Edition (link) BibTeX
Swapna S. Gokhale:
Quantifying the Variance in Application Reliability. 113-121
Electronic Edition (link) BibTeX
Wei Xie, Yiguang Hong, Kishor S. Trivedi:
Software Rejuvenation Policies for Cluster Systems under Varying Workload. 122-129
Electronic Edition (link) BibTeX

Checkpointing and Recovery

Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad, Charlie Svahnberg:
Using Modulo Rulers for Optimal Recovery Schemes in Distributed Computing. 133-142
Electronic Edition (link) BibTeX
Masayuki Arai, Tabito Suzuki, Mamoru Ohara, Satoshi Fukumoto, Kazuhiko Iwasaki, Hee Yong Youn:
Analysis of Read and Write Availability for Generalized Hybrid Data Replication Protocol. 143-150
Electronic Edition (link) BibTeX
Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi:
A Dynamic Checkpointing Scheme Based on Reinforcement Learning. 151-158
Electronic Edition (link) BibTeX

Parallel and High-Performance Systems

Jun Miyazaki, Yohei Abe, Haruo Yokota:
Availabilities and Costs of Reliable Fat-Btrees. 163-172
Electronic Edition (link) BibTeX
Keiichi Kaneko, Yasuto Suzuki:
Node-to-Node Internally Disjoint Paths Problem in Bubble-Sort Graphs. 173-182
Electronic Edition (link) BibTeX
Manabu Sueishi, Masato Kitakami, Hideo Ito:
Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking. 183-190
Electronic Edition (link) BibTeX

Distributed Systems Modeling

Yung-Ruei Chang, Hung-Yau Lin, Sy-Yen Kuo:
Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD. 197-206
Electronic Edition (link) BibTeX
Xinyu Chen, Michael R. Lyu:
Expected-Reliability Analysis for Wireless CORBA with Imperfect Components. 207-215
Electronic Edition (link) BibTeX

Coding

Haruhiko Kaneko, Mariko Numakami, Eiji Fujiwara:
Nonsystematic M-Ary Asymmetric Error Correcting Codes Designed by Multilevel Coding Method. 219-226
Electronic Edition (link) BibTeX
G. Robert Redinbo, Cung Nguyen:
Protecting Wavelet Lifting Transforms. 227-236
Electronic Edition (link) BibTeX

Mobile Systems and Networks

Chia-Ho Ou, Kuo-Feng Ssu, Hewijin Christine Jiau:
Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments. 239-247
Electronic Edition (link) BibTeX
Serdar Cabuk, Nipoon Malhotra, Longbi Lin, Saurabh Bagchi, Ness B. Shroff:
Analysis and Evaluation of Topological and Application Characteristics of Unreliable Mobile Wireless Ad-hoc Network. 248-257
Electronic Edition (link) BibTeX

Dependability Benchmarking

Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun:
Benchmarking Operating System Dependability: Windows 2000 as a Case Study. 261-270
Electronic Edition (link) BibTeX
James Mauro, Ji Zhu, Ira Pramanick:
The System Recovery Benchmark. 271-280
Electronic Edition (link) BibTeX

Fault Tolerance

Diana Szentiványi, Simin Nadjm-Tehrani:
Aspects for Improvement of Performance in Fault-Tolerant Software. 283-291
Electronic Edition (link) BibTeX
Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini:
A Freshness Detection Mechanism for Railway Applications. 292-301
Electronic Edition (link) BibTeX
Håkan Sivencrona, Torbjörn Olsson, Roger Johansson, Jan Torin:
RedCAN: Simulations of Two Fault Recovery Algorithms for CAN. 302-311
Electronic Edition (link) BibTeX

Practical Experience Reports II

Lorena Anghel, Nadir Achouri, Michael Nicolaidis:
Evaluation of Memory Built-in Self Repair Techniques for High Defect Density Technologie. 315-320
Electronic Edition (link) BibTeX
Shyue-Kung Lu, Chien-Hung Yeh, Han-Wen Lin:
Efficient Built-in Self-Test Techniques for Memory-Based FFT Processors. 321-326
Electronic Edition (link) BibTeX
Ghazanfar Asadi, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ali Reza Ejlali:
Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs. 327-332
Electronic Edition (link) BibTeX

Panel

Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri:
Panel Summary Statements. 335-40
Electronic Edition (link) BibTeX

Validation and Modeling

Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad:
Improving AI Systems? Dependability by Utilizing Historical Knowledge. 343-352
Electronic Edition (link) BibTeX
Christopher Martin, Philip Koopman:
Representing User Workarounds as a Component of System Dependability. 353-362
Electronic Edition (link) BibTeX
Simona Bernardi, Susanna Donatelli:
Stochastic Petri Nets and Inheritance for Dependability Modelling. 363-372
Electronic Edition (link) BibTeX
Hsu-Chun Yen, Lien-Po Yu:
Dependability Analysis of a Class of Probabilistic Petri Nets. 373-380
Electronic Edition (link) BibTeX

Practical Experience Reports III

Marc Dacier, Fabien Pouget, Hervé Debar:
Honeypots: Practical Means to Validate Malicious Fault Assumptions. 383-388
Electronic Edition (link) BibTeX
Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders:
Ferret: A Host Vulnerability Checking Tool. 389-394
Electronic Edition (link) BibTeX
Jin-Min Yang, Da-Fang Zhang, Zheng Qin, Xue Dong Yang:
WINDAR: A Multithreaded Rollback-Recovery Toolkit on Windows. 395-400
Electronic Edition (link) BibTeX
Sheng Li, Jun Xu, Lijun Deng:
Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment. 401-406
Electronic Edition (link) BibTeX