Paraprox
- 24 February 2014
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (1), 35-50
- https://doi.org/10.1145/2541940.2541948
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- SAGEPublished by Association for Computing Machinery (ACM) ,2013
- Quality programmable vector processors for approximate computingPublished by Association for Computing Machinery (ACM) ,2013
- Neural Acceleration for General-Purpose Approximate ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Programming with relaxed synchronizationPublished by Association for Computing Machinery (ACM) ,2012
- Architecture support for disciplined approximate programmingPublished by Association for Computing Machinery (ACM) ,2012
- Proving programs robustPublished by Association for Computing Machinery (ACM) ,2011
- Gompertz software reliability model: Estimation algorithm and empirical validationJournal of Systems and Software, 2009
- A Statistical Evaluation of Recent Full Reference Image Quality Assessment AlgorithmsIEEE Transactions on Image Processing, 2006
- Probabilistic accuracy bounds for fault-tolerant computations that discard tasksPublished by Association for Computing Machinery (ACM) ,2006
- Fuzzy Memoization for Floating-Point Multimedia ApplicationsInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2005