Title :
Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems
Abstract :
The following topics were dealt with: fault tolerant architectures; error detection and correction; modeling and tools; replica control and protocols; system evaluation; checkpointing and transaction processing; neural networks; and formal verification
Keywords :
fault tolerant computing; checkpointing; error correction; error detection; fault tolerant architectures; fault tolerant systems; formal verification; modeling; neural networks; protocols; replica control; system evaluation; tools; transaction processing;
Conference_Titel :
Fault-Tolerant Systems, 1997. Proceedings., Pacific Rim International Symposium on
Conference_Location :
Taipei, Taiwan
Print_ISBN :
0-8186-8212-4
DOI :
10.1109/PRFTS.1997.640116
