Verifying Computations without Reexecuting Them.

The authors discuss potential problems with the reliability of computations performed by remote computers and consider different methods of verification that do not entail replicating the results. The authors describe a framework for addressing the problem in theory, then examine solutions posited b...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 58; no. 2; pp. 74 - 85
Main Authors:	WALFISH, MICHAEL, BLUMBERG, ANDREW J.
Format:	Article
Published:	Association for Computing Machinery Feb2015
Subjects:	Verification of computer systems Verification of numerical calculations Cloud computing Distributed computing Client/server computing Software verification
Online Access:	View this record in EBSCOhost