Probabilistically Accurate Program Transformations
18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Main Authors: | Misailovic, Sasa (Contributor), Roy, Daniel (Contributor), Rinard, Martin C. (Contributor) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor) |
Format: | Article |
Language: | English |
Published: |
Springer Berlin / Heidelberg,
2012-10-11T19:41:16Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Randomized accuracy-aware program transformations for efficient approximate computations
by: Misailovic, Sasa, et al.
Published: (2012) -
Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014) -
Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
by: Rinard, Martin C.
Published: (2012) -
Parallelizing Sequential Programs with Statistical Accuracy Tests
by: Misailovic, Sasa, et al.
Published: (2015) -
Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015)