首页> Proceedings of the ... CGO : International Symposium on Code Generation and Optimization. International Symposium on Code Generation and Optimization> Towards Program Optimization through Automated Analysis of Numerical Precision.

Towards Program Optimization through Automated Analysis of Numerical Precision.

导出 LinkOut

翻译打印收藏纠错

第一作者： Michael D,Linderman

第一单位： Computer Systems Laboratory, Stanford University, Stanford, CA, USA.

作者： Michael D,Linderman ^[1] ; Matthew,Ho ^[1] ; David L,Dill ^[1] ; Teresa H,Meng ^[1] ; Garry P,Nolan ^[2]

作者单位： Computer Systems Laboratory, Stanford University, Stanford, CA, USA. ^[1] Microbiology & Immunology, Stanford University, Stanford, CA, USA. ^[2]

关键词 D.2.4 [Software Engineering]: Program Verification–Validation D.3.4 [Programming Languages]: Processors–Optimization Design Fixed-Point Numbers Floating-Point Numbers G.1.0 [Mathematics of Computing]: Numerical Analysis–Computer Arithmetic Numerical Precision Performance Static Error Analysis Verification

DOI 10.1145/1772954.1772987

PMID 28804690

发布时间 2020-09-30

翻译满意度评价：

准确一般字义偏差语意偏离译文作用小提交

浏览20

Proceedings of the ... CGO

2010年2010卷

230-237页

相似文献

中文期刊
外文期刊
学位论文
会议论文

浏览20

点击下载本期目录封面

Proceedings of the ... CGO

2010年2010卷

230-237页

检索历史清除

Towards Program Optimization through Automated Analysis of Numerical Precision.

Proceedings of the ... CGO

相似文献

同项目论文

Proceedings of the ... CGO

相关期刊

参考文献：
指定格式：	NoteExpress EndNote RefWorks NoteFirst

检索历史 清除

Towards Program Optimization through Automated Analysis of Numerical Precision.

Proceedings of the ... CGO

相似文献

同项目论文

Proceedings of the ... CGO

相关期刊

检索历史清除