A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Towards program optimization through automated analysis of numerical precision
2010
Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization - CGO '10
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For some architectures, e.g., GPUs, there can be such a large performance difference that using reduced precision is effectively a requirement. The tradeoff is that the accuracy of the computation will be compromised. In this paper we describe a proof assistant and associated static analysis techniques for efficiently
doi:10.1145/1772954.1772987
pmid:28804690
pmcid:PMC5552069
dblp:conf/cgo/LindermanHDMN10
fatcat:zuncavs23vgfpkeypbs7h2diru