Toward Reliable Programming for Unreliable Hardware.
An introduction is presented to an article that discusses a quantitative reliability specification related to a programming language that specifies the reliability of hardware.
| Publicado en: | Communications of the ACM Vol. 59; no. 8; pp. 82 - 83 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Aug2016
|
| 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=117173597&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 117173597 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Aug2016 vid: 59 iid: 8 pid: 68 pub: Association for Computing Machinery artinfo: ui: 117173597 10.1145/2961890 ppf: 82 ppct: 1 formats: tig: atl: Toward Reliable Programming for Unreliable Hardware. aug: au: Millstein, Todd affil: Professor of computer science at UCLA, Los Angeles, CA su: Computer reliability Programming languages sug: subj: Computer reliability Programming languages ab: An introduction is presented to an article that discusses a quantitative reliability specification related to a programming language that specifies the reliability of hardware. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|