|
|
|
|
LEADER |
01645 am a22001933u 4500 |
001 |
72443 |
042 |
|
|
|a dc
|
100 |
1 |
0 |
|a Rinard, Martin C.
|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 Rinard, Martin C.
|e contributor
|
100 |
1 |
0 |
|a Rinard, Martin C.
|e contributor
|
245 |
0 |
0 |
|a Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
|
260 |
|
|
|b Association for Computing Machinery (ACM),
|c 2012-08-29T20:20:03Z.
|
856 |
|
|
|z Get fulltext
|u http://hdl.handle.net/1721.1/72443
|
520 |
|
|
|a Traditional program transformations operate under the onerous constraint that they must preserve the exact behavior of the transformed program. But many programs are designed to produce approximate results. Lossy video encoders, for example, are designed to give up perfect fidelity in return for faster encoding and smaller encoded videos [10]. Machine learning algorithms usually work with probabilistic models that capture some, but not all, aspects of phenomena that are difficult (if not impossible) to model with complete accuracy [2]. Monte-Carlo computations use random simulation to deliver inherently approximate solutions to complex systems of equations that are, in many cases, computationally infeasible to solve exactly [5].
|
546 |
|
|
|a en_US
|
655 |
7 |
|
|a Article
|
773 |
|
|
|t Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '11)
|