Lattice Effects In High Tc Superconductors - Proceedings Of The Conference

Part 1 Dependability modelling and evaluation of computing systems: dependable computing - concepts and terminology; dependability modelling and evaluation of hardware-and-software systems; dependability modelling of heterogeneous VAX-cluster systems using stochastic reward nets. Part 2 Fault-tolerant parallel computing systems: communication structures in fault-tolerant distributed systems; present development and future trends in fault testing and tolerance of VLSI; concurrent error detection and reconfiguration in systolic arrays; self-testing of mesh arrays; self-checking bus arbiter and its code for multiprocessing systems; design and reconfiguration strategies for hypertree architectures; yeild evaluation of VLSI reconfigurable binary tree architectures; yield evaluation of tree dynamic RAMs. Part 3 Software fault tolerance in parallel computing systems: new roll-forward checkpointing schemes for modular redundant systems: evaluating the effiency of byzantyne agreement algorithms; optimal strategies for scheduling test and checkpoints; error correction for scheduling test and language. Part 4 Testability design of modules for parallel computing systems: testability design; design for diagnosability-survey; on finding scan flip-flops in partial scan designs; self-checking DCVS circuits; hardware fault detection by diverse software; on t-error correcting and d-unidirectional error detecting codes with d>1.