Functional Validation of Fault-Tolerant Asynchronous Algorithms.

Jan Hlavicka Stanislav Racek Pavel Smrha

Published in: EUROMICRO (1996)

Keyphrases

fault tolerant
fault tolerance
computational complexity
distributed systems
learning algorithm
artificial intelligence
data structure
optimization problems
high availability
interconnection networks
database
database systems
expert systems
significant improvement
computational cost