Parallel Methods for Verifying the Consistency of Weakly-Ordered Architectures.

Adam McLaughlin Duane Merrill Michael Garland David A. Bader

Published in: PACT (2015)

Keyphrases

significant improvement
artificial intelligence
machine learning
machine learning methods
parallel implementation
databases
neural network
information retrieval
case study
multiscale
cross validation
classification method
qualitative and quantitative