The Community for Technology Leaders
Pacific Rim International Symposium on Dependable Computing, IEEE (2000)
Los Angeles, California
Dec. 18, 2000 to Dec. 20, 2000
ISBN: 0-7695-0975-4
TABLE OF CONTENTS

Chairs' Message (PDF)

pp. vii

Reviewers (PDF)

pp. x
Invited Presentation I
Invited Presentation II
Session 1: Fault-Tolerant Hardware

Implementation and evaluation for dependable bus control using CPLD (Abstract)

Y. Koga , Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan
T. Matsubara , Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan
Y. Hayashi , Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan
pp. 11

Electrical phenomena during Hot Swap events (Abstract)

W. Karl , Inst. fur Inf., Tech. Univ. Munchen, Germany
C. Trinitis , Inst. fur Inf., Tech. Univ. Munchen, Germany
M. Leberecht , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 19

Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic (Abstract)

M. Kameyama , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
T. Ike , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
T. Hanyu , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
pp. 27
Session 2: Group Communication

Evaluation of multicast error recovery using convolutional codes (Abstract)

K. Iwasaki , Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan
M. Arai , Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan
A. Yamaguchi , Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan
pp. 37

Low cost consensus-based Atomic Broadcast (Abstract)

A. Mostefaoui , IRISA, Rennes, France
M. Raynal , IRISA, Rennes, France
pp. 45

A survivability framework for connection-oriented group communications (Abstract)

W. Yurcik , Dept. of Appl. Comput. Sci., Illinois State Univ., Normal, IL, USA
D. Tipper , Dept. of Appl. Comput. Sci., Illinois State Univ., Normal, IL, USA
pp. 53
Session 3: Analysis and Evaluation

Effects of failure correlation on software in operation (Abstract)

K. Trivedi , Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA
K. Goseva-Popstojanova , Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA
pp. 69

Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule (Abstract)

K.S. Trivedi , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
K. Goseva-Popstojanova , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
T. Dohi , Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan
pp. 77

Building dependable COTS microkernel-based systems using MAFALDA (Abstract)

J.-M. Sizun , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J. Arlat , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Rodriguez , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Fabre , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 85
Invited Presentation III
Invited Presentation IV
Session 4: Coding and Data Compression

Some improved encoding and decoding schemes for balanced codes (Abstract)

B. Bose , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
Jong-Hoon Youn , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 103

Fault-tolerant FFT data compression (Abstract)

R. Manomohan , Dept. of Electr. & Comput. Eng., California Univ., Davis, CA, USA
G.R. Redinbo , Dept. of Electr. & Comput. Eng., California Univ., Davis, CA, USA
pp. 110

Dependability analysis of transmission techniques for MPEG-2 streams (Abstract)

G. De Pietro , Naples Univ., Italy
L. Romano , Naples Univ., Italy
N. Mazzocca , Naples Univ., Italy
A. Coronato , Naples Univ., Italy
pp. 120

Transient errors and rollback recovery in LZ compression (Abstract)

E.J. McCluskey , Dept. of Electr. Eng., Stanford Univ., CA, USA
Wei-Je Huang , Dept. of Electr. Eng., Stanford Univ., CA, USA
pp. 128
Session 5: Testing and Reconfiguration

Fault diagnosis based on parameters of output responses (Abstract)

I. Pomeranz , Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN, USA
S.M. Reddy , Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 139

A testable design for asynchronous fine-grain pipeline circuits (Abstract)

T. Nanya , Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan
M. Tsukisaka , Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan
pp. 148

A reconfigurable fault-tolerant hypercube architecture with global sparing (Abstract)

Ada Wai-Chee Fu , Dept. of Phys. & Comput., Wilfrid Laurier Univ., Waterloo, Ont., Canada
Siu-Cheung Chau , Dept. of Phys. & Comput., Wilfrid Laurier Univ., Waterloo, Ont., Canada
pp. 156
Session 6: Distributed Systems

Julep: an environment for the evaluation of distributed process recovery protocols (Abstract)

G.G. Richard, III , Dept. of Comput. Sci., New Orleans Univ., LA, USA
L.R. Klos , Dept. of Comput. Sci., New Orleans Univ., LA, USA
pp. 169

Model-based clock synchronization in networks with drifting clocks (Abstract)

M.D. Lemmon , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
J. Ganguly , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
L. Xia , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
pp. 177

Enforcing synchronous system properties on top of timed systems (Abstract)

C. Fetzer , AT&T Labs Res., Florham Park, NJ, USA
pp. 185

A performance comparison between the DR-net and a hierarchical RAID system (Abstract)

H. Yokota , Syst. Dev. Lab., Hitachi Ltd., Japan
Y. Mimatsu , Syst. Dev. Lab., Hitachi Ltd., Japan
pp. 193

Author Index (PDF)

pp. 201
209 ms
(Ver 3.3 (11022016))