Towards Program Optimization through Automated Analysis of Numerical Precision.

Linderman, Michael D; Ho, Matthew; Dill, David L; Meng, Teresa H; Nolan, Garry P.

Afiliação

Linderman MD; Computer Systems Laboratory, Stanford University, Stanford, CA, USA.
Ho M; Computer Systems Laboratory, Stanford University, Stanford, CA, USA.
Dill DL; Computer Systems Laboratory, Stanford University, Stanford, CA, USA.
Meng TH; Computer Systems Laboratory, Stanford University, Stanford, CA, USA.
Nolan GP; Microbiology & Immunology, Stanford University, Stanford, CA, USA.

Proc CGO ; 2010: 230-237, 2010 Apr.

Article em En | MEDLINE | ID: mdl-28804690

Palavras-chave

D.2.4 [Software Engineering]: Program VerificationValidation; D.3.4 [Programming Languages]: ProcessorsOptimization; Design; Fixed-Point Numbers; Floating-Point Numbers; G.1.0 [Mathematics of Computing]: Numerical AnalysisComputer Arithmetic; Numerical Precision; Performance; Static Error Analysis; Verification

Texto completo: 1 Base de dados: MEDLINE Idioma: En Ano de publicação: 2010 Tipo de documento: Article

Texto completo: 1 Base de dados: MEDLINE Idioma: En Ano de publicação: 2010 Tipo de documento: Article