Verifying computations without reexecuting them.

Michael Walfish Andrew J. Blumberg

Published in: Commun. ACM (2015)

Keyphrases

case study
data structure
model checking
computer vision
multiscale
search algorithm
pairwise
image retrieval
open source
matrix multiplication