What people are saying - Write a review
We haven't found any reviews in the usual places.
DEPENDABILITY MODELING AND EVALUATION
14 other sections not shown
Other editions - View all
algorithm applied arbiter architecture assumed binary tree built-in self-test bus master Byzantine Agreement checkers chip cluster completion components computing systems concurrent retry scheme configurations connected considered correct processes DCVS block defined dependability design faults diameter duplex system error detection evaluation execution fault coverage fault detection fault-free fault-secure Fault-Tolerant Computing faulty cell faulty processes feedback vertex set Figure flip-flops functional circuit graph Hamilton cycle Hamilton path hardware fault heuristic hypercube hypertree IEEE IEEE Trans implementation input interconnection logic machine Markov Markov chain messages method multiprocessor networks node obtained operation optimal output parallel computing parameters PE's performed phase problem Proc processing modules processor proposed quorum disk reconfiguration redundancy reliability rollback scheme scan self-checking self-testing Sender shown signature structure subtree Symp systolic arrays Table task techniques test patterns testability transition tree grammar variants VAXcluster VAXcluster system VLSI yield