Research Catalog

Title

Pacific Rim International Symposium on Fault-Tolerant Systems : proceedings : December 15-16, 1997, National Taiwan University, Taipei, Taiwan / sponsored IEEE Computer Society Technical Committee on Fault-Tolerant Computing, National Taiwan University [and others].

Author

Pacific Rim International Symposium on Fault Tolerant Systems (1997 : Taipei, Taiwan)

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, [1997], ©1997.

Items in the Library & Off-site

Details

Additional Authors

• IEEE Computer Society. Fault-Tolerant Computing Technical Committee.
• Guo li Taiwan da xue.

Description

xii, 243 pages : illustrations; 28 cm

Subject

• Fault-tolerant computing > Congresses

Note

• "IEEE Order Plan Catalog Number 97TB100202."
• "IEEE Computer Society Press order number PR08212."

Bibliography (note)

• Includes bibliographic references and author index.

Contents

• High Performance Fault Tolerant Computer and its Fault Recovery / T. Nakamikawa, Y. Morita and S. Yamaguchi [et al.] -- A Fault-Tolerant Embedded Microcontroller Testbed / D. Rennels, D. Caldwell and R. Hwang [et al.] -- A Cache Error Propagation Model / A. Somani and K. Trivedi -- An Embeded Fail-Safe Interlocking System / B. Pei and Y. Ming -- Phaeton: A Log-based Architecture for High Performance File Server Design / C. Chin, C. Tung and S. Tsai -- A Fault-Tolerant Decoding Procedure for Real Cyclic Codes / R. Redinbo -- A New Class of t-Error Correcting/d-Error Detecting (d>t) and All Unidirectional Error Detecting Codes / D. Bhattacharryya and S. Nandi -- Double and Triple Error Detecting Capability of Internet Checksum and Estimation of Probability of Undetectable Error / Y. Desaki, K. Iwasaki and Y. Miura [et al.] -- A System Solution to Reducing Frequency of Memory Repairs / C. Chen and M. Hsiao --
• Concurrent Error Detection in Priority Queue Managers for ATM Networks / Y. Choi -- Adaptive System-Level Diagnosis and its Application / S. Wang -- Fault Coverage Estimation Model for Partially Testable Multichip Modules / W. Tseng and K. Wang -- Reliability Modeling of Structured Systems: Exploring Symmetry in State-Space Generation / A. Somani -- Engineering Oriented Dependability Evaluation: MEADEP and its Applications / D. Tang, M. Hecht and J. Agron [et al.] -- Hierarchical Modeling and Dependability Evaluation of Distributed Systems / E. Choi, T. Tsuchiya and T. Kikuno -- Fault-Tolerant Real-Time Scheduling using Passive Replicas / K. Ahn, J. Kim and S. Hong -- On Transaction Liveness in Replicated Databases / F. Pedone and R. Guerraoui -- An Extended Binary Tree Quorum Strategy for K-Mutual Exclusion in Distributed Systems / Y. Chang and B. Chen -- A New Quorum-Based Replica Control Protocol / Y. Wu, Y. Chang and S. Yuan [et al.] --
• Optimized Authenticated Self-Synchronizing Byzantine Agreement Protocols / A. Postma, T. Krol and E. Molenkamp -- The Adaptable Distributed Recovery Block Scheme and a Modular Implementation Model / K. Kim, J. Goldberg and T. Lawrence [et al.] -- Fault-Tolerant Object on Network-Wide Distributed Object-Oriented Systems for Future Telecommunications Applications / M. Takemoto -- Checkpointing Message-Passing Interface (MPI) Parallel Programs / J. Tsay and W. Li -- Fault Handling Mechanisms in the RETHER Protocol / T. Chiueh and C. Venkatramani -- Design of a Fault-Tolerant Microprocessor: A Simulation Approach / K. Lee and G. Choi -- Reliability Simulation for Fault-Tolerant Software and Systems / S. Gokhale, M. Lyu and K. Trivedi -- Behavior of a Computer Based Interlocking System under Transient Hardware Faults / L. Romano, Z. Kalbarczyk and R. Iyer [et al.] -- Performance Analysis of a Reliable Real-Time Token-Ring Protocol / J. Muppala and J. Cao --
• Checkpointing in CosMiC: A User-Level Process Migration Environment / P. Chung, Y. Huang and S. Yajnik [et al.] -- Performance Analysis of Two Time-Based Coordinated Checkpointing Protocols / G. Kavanaugh and W. Sanders -- Time-Lag Duplexing - A Fault Tolerance Technique for Online Transaction Processing Systems / A. Chandra and D. Bossen -- Increasing Software Reliability through Rollback and On-Line Fault Repair / D. Gupta and P. Jalote -- Fault Tolerant Constructive Algorithm for Feedforward Neural Networks / N. Hammadi, T. Ohmameuda and K. Kaneko [et al.] -- The Use of Neurons with Higher Functionality to Enhance the Fault Tolerance of Neural Networks / Y. Tohma and T. Iwata -- An Implementation of the FTAG Model in Concurrent ML / M. Suzuki, T. Katayama and R. Schlichting -- Formal Verification of a TDMA Protocol Start-Up Mechanism / H. Lonn and P. Pettersson.

ISBN

• 0818682124
• 0818682132 (case)
• 0818682140 (microfiche)

LCCN

97080884

OCLC

ocm38858065

Owning Institutions

Columbia University Libraries