MACHETE: synthesis of sequential machines for easy testability.

Bapiraju Vinnakota Niraj K. Jha

Published in: EURO-DAC (1991)

Keyphrases

parallel tree search
database
machine learning
information retrieval
digital libraries
neural network
learning algorithm
image processing
case study
machine intelligence
test data generation