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.
| Publicado en: | Communications of the ACM Vol. 58; no. 5; p. 8 |
|---|---|
| Autor principal: | |
| Formato: | Letter to the Editor |
| Publicado: |
Association for Computing Machinery
May2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|