Verify a Computation by Checking the Result.

A letter to the editor is presented in response to the article "Verifying Computations Without Reexecuting Them" by Andrew J. Blumberg, which appeared in the February 2015 issue.

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 58; no. 5; p. 8
Autor principal: Lorge Parnas, David
Formato: Letter to the Editor
Publicado: Association for Computing Machinery May2015
Materias:
Acceso en línea:Ver este registro en EBSCOhost