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.
| Published in: | Communications of the ACM Vol. 58; no. 5; p. 8 |
|---|---|
| Main Author: | |
| Format: | Letter to the Editor |
| Published: |
Association for Computing Machinery
May2015
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |