PRDC 2000: Los Angeles, CA, USA

Invited Presentation I

• Jaynarayan H. Lala:
  Intrusion Tolerant Systems. 3-6
  

Invited Presentation II

• Yohichi Suzuki:
  The Usage of Fault Tolerant Computers in the Real World. 7-10
  

Fault-Tolerant Hardware

• Y. Hayashi, Takashi Matsubara, Yoshiaki Koga:
  Implementation and evaluation for dependable bus control using CPLD. 11-18
  
• Carsten Trinitis, Wolfgang Karl, Markus Leberecht:
  Electrical phenomena during Hot Swap events. 19-26
  
• 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
  

Group Communication

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

Analysis and Evaluation

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

Invited Presentation III

• Kazuo Kera:
  High Assurance System for the Tokyo Metropolitan Area Railway Network. 95-98
  

Invited Presentation IV

• Sammy Kayali:
  Reliability Considerations for Advanced Microelectronics. 99-102
  

Coding and Data Compression

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

Testing and Reconfiguration

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

Distributed Systems

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