PRDC 2000: Los Angeles, CA, USA

2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA. IEEE Computer Society 2000, ISBN 0-7695-0975-4 BibTeX

Invited Presentation I

Jaynarayan H. Lala:
Intrusion Tolerant Systems. 3-6
Electronic Edition (link) BibTeX

Invited Presentation II

Yohichi Suzuki:
The Usage of Fault Tolerant Computers in the Real World. 7-10
Electronic Edition (link) BibTeX

Fault-Tolerant Hardware

Y. Hayashi, Takashi Matsubara, Yoshiaki Koga:
Implementation and evaluation for dependable bus control using CPLD. 11-18
Electronic Edition (link) BibTeX
Carsten Trinitis, Wolfgang Karl, Markus Leberecht:
Electrical phenomena during Hot Swap events. 19-26
Electronic Edition (link) BibTeX
Takahiro Hanyu, Tsukasa Ike, Michitaka Kameyama:
Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic. 27-36
Electronic Edition (link) BibTeX

Group Communication

Anna Yamaguchi, Masayuki Arai, Kazuhiko Iwasaki:
Evaluation of multicast error recovery using convolutional codes. 37-44
Electronic Edition (link) BibTeX
Achour Mostéfaoui, Michel Raynal:
Low cost consensus-based Atomic Broadcast. 45-52
Electronic Edition (link) BibTeX
William Yurcik, David Tipper:
A survivability framework for connection-oriented group communications. 53-58
Electronic Edition (link) BibTeX
Heejeong Kim, Dongman Lee, Hee Yong Youn:
A scalable membership service for group communications in WANs. 59-68
Electronic Edition (link) BibTeX

Analysis and Evaluation

Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Effects of failure correlation on software in operation. 69-76
Electronic Edition (link) BibTeX
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. 77-84
Electronic Edition (link) BibTeX
Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun:
Building dependable COTS microkernel-based systems using MAFALDA. 85-94
Electronic Edition (link) BibTeX

Invited Presentation III

Kazuo Kera:
High Assurance System for the Tokyo Metropolitan Area Railway Network. 95-98
Electronic Edition (link) BibTeX

Invited Presentation IV

Sammy Kayali:
Reliability Considerations for Advanced Microelectronics. 99-102
Electronic Edition (link) BibTeX

Coding and Data Compression

Jong-Hoon Youn, Bella Bose:
Some improved encoding and decoding schemes for balanced codes. 103-109
Electronic Edition (link) BibTeX
G. Robert Redinbo, Ranjit Manomohan:
Fault-tolerant FFT data compression. 110-119
Electronic Edition (link) BibTeX
Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro:
Dependability analysis of transmission techniques for MPEG-2 streams. 120-127
Electronic Edition (link) BibTeX
Wei-Je Huang, Edward J. McCluskey:
Transient errors and rollback recovery in LZ compression. 128-138
Electronic Edition (link) BibTeX

Testing and Reconfiguration

Irith Pomeranz, Sudhakar M. Reddy:
Fault diagnosis based on parameters of output responses. 139-147
Electronic Edition (link) BibTeX
Masayuki Tsukisaka, Takashi Nanya:
A testable design for asynchronous fine-grain pipeline circuits. 148-155
Electronic Edition (link) BibTeX
Siu-Cheung Chau, Ada Wai-Chee Fu:
A reconfigurable fault-tolerant hypercube architecture with global sparing. 156-168
Electronic Edition (link) BibTeX

Distributed Systems

Lawrence Klos, Golden G. Richard III:
Julep: an environment for the evaluation of distributed process recovery protocols. 169-176
Electronic Edition (link) BibTeX
Michael D. Lemmon, J. Ganguly, L. Xia:
Model-based clock synchronization in networks with drifting clocks. 177-184
Electronic Edition (link) BibTeX
Christof Fetzer:
Enforcing synchronous system properties on top of timed systems. 185-192
Electronic Edition (link) BibTeX
Y. Mimatsu, H. Yokota:
A performance comparison between the DR-net and a hierarchical RAID system. 193-200
Electronic Edition (link) BibTeX