|
|
|
|
LEADER |
02876 am a22003493u 4500 |
001 |
72439 |
042 |
|
|
|a dc
|
100 |
1 |
0 |
|a Misailovic, Sasa
|e author
|
100 |
1 |
0 |
|a Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
|e contributor
|
100 |
1 |
0 |
|a Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
|e contributor
|
100 |
1 |
0 |
|a Massachusetts Institute of Technology. Department of Mathematics
|e contributor
|
100 |
1 |
0 |
|a Rinard, Martin C.
|e contributor
|
100 |
1 |
0 |
|a Zhu, Zeyuan Allen
|e contributor
|
100 |
1 |
0 |
|a Misailovic, Sasa
|e contributor
|
100 |
1 |
0 |
|a Kelner, Jonathan Adam
|e contributor
|
100 |
1 |
0 |
|a Rinard, Martin C.
|e contributor
|
700 |
1 |
0 |
|a Kelner, Jonathan Adam
|e author
|
700 |
1 |
0 |
|a Rinard, Martin C.
|e author
|
245 |
0 |
0 |
|a Randomized accuracy-aware program transformations for efficient approximate computations
|
260 |
|
|
|b Association for Computing Machinery (ACM),
|c 2012-08-29T19:51:38Z.
|
856 |
|
|
|z Get fulltext
|u http://hdl.handle.net/1721.1/72439
|
520 |
|
|
|a Despite the fact that approximate computations have come to dominate many areas of computer science, the field of program transformations has focused almost exclusively on traditional semantics-preserving transformations that do not attempt to exploit the opportunity, available in many computations, to acceptably trade off accuracy for benefits such as increased performance and reduced resource consumption. We present a model of computation for approximate computations and an algorithm for optimizing these computations. The algorithm works with two classes of transformations: substitution transformations (which select one of a number of available implementations for a given function, with each implementation offering a different combination of accuracy and resource consumption) and sampling transformations (which randomly discard some of the inputs to a given reduction). The algorithm produces a (1+ε) randomized approximation to the optimal randomized computation (which minimizes resource consumption subject to a probabilistic accuracy specification in the form of a maximum expected error or maximum error variance).
|
520 |
|
|
|a National Science Foundation (U.S.). (Grant number CCF-0811397)
|
520 |
|
|
|a National Science Foundation (U.S.). (Grant number CCF-0905244)
|
520 |
|
|
|a National Science Foundation (U.S.). (Grant number CCF-0843915)
|
520 |
|
|
|a National Science Foundation (U.S.). (Grant number CCF-1036241)
|
520 |
|
|
|a National Science Foundation (U.S.). (Grant number IIS-0835652)
|
520 |
|
|
|a United States. Dept. of Energy. (Grant Number DE-SC0005288)
|
520 |
|
|
|a Alfred P. Sloan Foundation. Fellowship
|
546 |
|
|
|a en_US
|
655 |
7 |
|
|a Article
|
773 |
|
|
|t Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '12)
|