I compute, therefore I am (buggy): methodic doubt meets multiprocessors.

Jade Alglave Luc Maranget Daniel Poetzl Tyler Sorensen

Published in: Tiny Trans. Comput. Sci. (2015)

Keyphrases

data mining
training data
probabilistic model
parallel implementation
neural network
knowledge base
image processing
three dimensional
computational complexity
mobile devices
efficient computation