Verification Methods for the Divergent Runs of Clock Systems.

Thomas A. Henzinger Peter W. Kopke

Published in: FTRTFT (1994)

Keyphrases

significant improvement
preprocessing
management system
distributed systems
empirical studies
databases
information retrieval
information systems
benchmark datasets
machine learning
genetic algorithm
image processing
database systems
feature extraction
search algorithm
machine learning algorithms