Parallelizing the Murj Verifier.

Ulrich Stern David L. Dill

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

parallel processing
distributed memory
computer vision
machine learning
three dimensional
objective function
computational complexity
digital libraries
multi class