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 |