CSDL - Proceedings P

Conference Organizer (PDF)

pp. viii

Program Committee (PDF)

pp. ix

Reviewers (PDF)

pp. x

Defense Advanced Research Projects Agency

Invited Presentation I

Intrusion Tolerant Systems (PDF)

Jaynarayan H. Lala

pp. 3

Invited Presentation II

The Usage of Fault Tolerant Computers in the Real World (PDF)

Yohichi Suzuki

pp. 7

Session 1: Fault-Tolerant Hardware

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

Y. Hayashi, Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan

T. Matsubara, Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan

Y. Koga, Dept. of Comput. Sci., Nat. Defense Acad., Kanagawa, Japan

pp. 11

PDF

Electrical phenomena during Hot Swap events (Abstract)

C. Trinitis, Inst. fur Inf., Tech. Univ. Munchen, Germany

W. Karl, Inst. fur Inf., Tech. Univ. Munchen, Germany

M. Leberecht, Inst. fur Inf., Tech. Univ. Munchen, Germany

pp. 19

PDF

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

T. Hanyu, Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan

T. Ike, Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan

M. Kameyama, Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan

pp. 27

PDF

Session 2: Group Communication

Evaluation of multicast error recovery using convolutional codes (Abstract)

A. Yamaguchi, Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan

M. Arai, Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan

K. Iwasaki, Graduate Sch. of Eng., Tokyo Metropolitan Univ., Japan

pp. 37

PDF

Low cost consensus-based Atomic Broadcast (Abstract)

A. Mostefaoui, IRISA, Rennes, France

M. Raynal, IRISA, Rennes, France

pp. 45

PDF

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

PDF

A scalable membership service for group communications in WANs (Abstract)

pp. 59

PDF

Session 3: Analysis and Evaluation

Effects of failure correlation on software in operation (Abstract)

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

K. Trivedi, Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA

pp. 69

PDF

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

T. Dohi, Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan

K. Goseva-Popstojanova, Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan

K.S. Trivedi, Dept. of Ind. & Syst. Eng., Hiroshima Univ., Japan

pp. 77

PDF

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

J.-C. Fabre, 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. Arlat, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France

J.-M. Sizun, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France

pp. 85

PDF

Invited Presentation III

High Assurance System for the Tokyo Metropolitan Area Railway Network (PDF)

Hitachi Ltd. Kazuo Kera

pp. 95

Jet Propulsion Laboratory

Invited Presentation IV

Reliability Considerations for Advanced Microelectronics (PDF)

Sammy Kayali

pp. 99

Session 4: Coding and Data Compression

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

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

B. Bose, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA

pp. 103

PDF

Fault-tolerant FFT data compression (Abstract)

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

R. Manomohan, Dept. of Electr. & Comput. Eng., California Univ., Davis, CA, USA

pp. 110

PDF

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

L. Romano, Naples Univ., Italy

N. Mazzocca, Naples Univ., Italy

A. Coronato, Naples Univ., Italy

G. De Pietro, Naples Univ., Italy

pp. 120

PDF

Transient errors and rollback recovery in LZ compression (Abstract)

Wei-Je Huang, Dept. of Electr. Eng., Stanford Univ., CA, USA

E.J. McCluskey, Dept. of Electr. Eng., Stanford Univ., CA, USA

pp. 128

PDF

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

PDF

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

M. Tsukisaka, Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan

T. Nanya, Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan

pp. 148

PDF

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

Siu-Cheung Chau, Dept. of Phys. & Comput., Wilfrid Laurier Univ., Waterloo, Ont., Canada

Ada Wai-Chee Fu, Dept. of Phys. & Comput., Wilfrid Laurier Univ., Waterloo, Ont., Canada

pp. 156

PDF

Session 6: Distributed Systems

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

L.R. Klos, Dept. of Comput. Sci., New Orleans Univ., LA, USA

G.G. Richard, III, Dept. of Comput. Sci., New Orleans Univ., LA, USA

pp. 169

PDF

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

PDF

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

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

pp. 185

PDF

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

Y. Mimatsu, Syst. Dev. Lab., Hitachi Ltd., Japan

H. Yokota, Syst. Dev. Lab., Hitachi Ltd., Japan

pp. 193

PDF

Author Index (PDF)

pp. 201