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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=102392498&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 102392498 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: May2015 vid: 58 iid: 5 pid: 68 pub: Association for Computing Machinery artinfo: ui: 102392498 10.1145/2749427 ppf: 8 ppct: 0 formats: tig: atl: Verify a Computation by Checking the Result. aug: au: Lorge Parnas, David su: Verification of numerical calculations Computer programming sug: subj: Verification of numerical calculations Computer programming ab: 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. pubtype: Periodical doctype: Letter to the Editor src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|