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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 58; no. 2; pp. 74 - 85
Autores principales:	WALFISH, MICHAEL, BLUMBERG, ANDREW J.
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2015
Materias:	Verification of computer systems Verification of numerical calculations Cloud computing Distributed computing Client/server computing Software verification
Acceso en línea:	Ver este registro en EBSCOhost