Certifiably Sound Parallelizing Transformations.

Christian J. Bell

Published in: CPP (2013)

Keyphrases

neural network
computer vision
multi agent
quasi invariant
data sets
real world
special case
distributed memory
distributed memory machines