Fault Tolerant Circuits and Probabilistically Checkable Proofs.

Anna Gál Mario Szegedy

Published in: Computational Complexity Conference (1995)

Keyphrases

fault tolerant
fault tolerance
distributed systems
stochastic logic programs
load balancing
high speed
safety critical
theorem proving
digital circuits
delay insensitive
high availability
state machine
low cost
theorem prover
circuit design
databases
data model
interconnection networks
fault isolation
expert systems