Verifiable Computation with Massively Parallel Interactive Proofs.

Justin Thaler Mike Roberts Michael Mitzenmacher Hanspeter Pfister

Published in: HotCloud (2012)

Keyphrases

massively parallel
parallel computers
parallel computing
fine grained
high performance computing
parallel architectures
parallel machines
sufficient conditions
theorem prover
parallel computation
processing elements
mesh connected
objective function