Dynamically adaptive and reliable approximate computing using light-weight error analysis

Proceedings of the 2014 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2014

Volumn , Issue , 2014, Pages 248-255

  Grigorian, Beayna ^a   Reinman, Glenn ^a  

^a Engineering IV   (United States)

Author keywords

Adaptive Design; Approximate Computing; Dynamic Reliability; Error Control; Platform Agnosticism; Recovery

Indexed keywords

ARTS COMPUTING; ERROR ANALYSIS; HARDWARE; INVERSE KINEMATICS; RECOVERY; RELIABILITY;

ADAPTIVE DESIGNS; APPROXIMATE COMPUTING; DYNAMIC RELIABILITY; ERROR CONTROL; PLATFORM AGNOSTICISM;

QUALITY CONTROL;

EID: 84906667177     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AHS.2014.6880184     Document Type: Conference Paper

References (40)

1. J. Han and M. Orshansky, "Approximate Computing: An Emerging Paradigm for Energy-Efficient Design, " in Proceedings of the 18th IEEE European Test Symposium, 2013, pp. 1-6.
2. T. Yeh, P. Faloutsos, M. Ercegovac, S. Patel, and G. Reinman, "The Art of Deception: Adaptive Precision Reduction for Area Efficient Physics Acceleration, " in Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture, 2007, pp. 394-406.
3. D. Ernst, N. S. Kim, S. Das, S. Pant, R. Rao, T. Pham, C. Ziesler, D. Blaauw, T. Austin, K. Flautner, and T. Mudge, "Razor: A Low- Power Pipeline Based on Circuit-Level Timing Speculation, " in Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, 2003, pp. 7-18.
4. W. Baek and T. M. Chilimbi, "Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation, " in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010, pp. 198-209.
5. H. Cho, L. Leem, and S. Mitra, "ERSA: Error Resilient System Architecture for Probabilistic Applications, " IEEE Transactions on Computer- Aided Design of Integrated Circuits and Systems, vol. 31, no. 4, pp. 546-558, 2012.
6. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger, "Architecture Support for Disciplined Approximate Programming, " in Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012, pp. 301-312.
7. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard, "Dynamic Knobs for Responsive Power-Aware Computing, " in Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011, pp. 199-212.
8. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman, "EnerJ: Approximate Data Types for Safe and General Low-Power Computation, " in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, pp. 164-174.
9. S. H. Nawab, A. V. Oppenheim, A. P. Chandrakasan, J. M. Winograd, and J. T. Ludwig, "Approximate Signal Processing, " Journal of VLSI Signal Processing Systems for Signal, Image and Video Technology, vol. 15, no. 1-2, pp. 177-200, 1997.
10. S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. Rinard, "Managing Performance vs. Accuracy Trade-Offs with Loop Perforation, " in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, 2011, pp. 124-134.
11. J. Park, J. H. Choi, and K. Roy, "Dynamic Bit-Width Adaptation in DCT: An Approach to Trade Off Image Quality and Computation Energy, " IEEE Transactions on Very Large Scale Integration Systems, vol. 18, no. 5, pp. 787-793, 2010.
12. J. Huang, J. Lach, and G. Robins, "A Methodology for Energy-Quality Tradeoff Using Imprecise Hardware, " in Proceedings of the 49th Annual Design Automation Conference, 2012, pp. 504-509.
13. P. Dubey, "A Platform 2015 Workload Model: Recognition, Mining and Synthesis Moves Computers to the Era of Tera, " Intel Corporation, White Paper, 2007.
14. X. Li and D. Yeung, "Application-Level Correctness and its Impact on Fault Tolerance, " in Proceedings of the 13th International Symposium on High Performance Computer Architecture, 2007, pp. 181-192.
15. M. de Kruijf, S. Nomura, and K. Sankaralingam, "Relax: An Architectural Framework for Software Recovery of Hardware Faults, " in Proceedings of the 37th Annual International Symposium on Computer Architecture, 2010, pp. 497-508.
16. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger, "Neural Acceleration for General-Purpose Approximate Programs, " in Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012, pp. 449-460.
17. G. Chryssolouris, M. Lee, and A. Ramsey, "Confidence Interval Prediction for Neural Network Models, " IEEE Transactions on Neural Networks, vol. 7, no. 1, pp. 229-232, 1996.
18. L. -C. T. Wang and C. C. Chen, "A Combined Optimization Method for Solving the Inverse Kinematics Problem of Mechanical Manipulators, " IEEE Transactions on Robotics and Automation, vol. 7, no. 4, pp. 489-499, Aug 1991.
19. R. E. Kalman, "A New Approach to Linear Filtering and Prediction Problems, " Journal of Basic Engineering, vol. 82, pp. 35-45, 1960.
20. L. A. Vese and S. J. Osher, "Image Denoising and Decomposition with Total Variation Minimization and Oscillatory Functions, " Journal of Mathematical Imaging and Vision, vol. 20, no. 1-2, pp. 7-18, Jan 2004.
21. Z. Wang and A. C. Bovik, "A Universal Image Quality Index, " IEEE Signal Processing Letters, vol. 9, no. 3, pp. 81-84, 2002.
22. T. J. Schaefer, "The Complexity of Satisfiability Problems, " in Proceedings of the 10th Symposium on Theory of Computing, 1978, pp. 216-226.
23. M. Davis, G. Logemann, and D. Loveland, "A Machine Program for Theorem-Proving, " Communications of the ACM, vol. 5, no. 7, pp. 394-397, Jul 1962.
24. L. N. Chakrapani, B. E. S. Akgul, S. Cheemalavagu, P. Korkmaz, K. V. Palem, and B. Seshasayee, "Ultra-Efficient (Embedded) SOC Architectures Based on Probabilistic CMOS (PCMOS) Technology, " in Proceedings of the Conference on Design, Automation and Test in Europe, 2006, pp. 1-6.
25. S. Narayanan, J. Sartori, R. Kumar, and D. L. Jones, "Scalable Stochastic Processors, " in Proceedings of the Conference on Design, Automation and Test in Europe, 2010, pp. 335-338.
26. W. Qian, X. Li, M. D. Riedel, K. Bazargan, and D. J. Lilja, "An Architecture for Fault-Tolerant Computation with Stochastic Logic, " IEEE Transactions on Computers, vol. 60, no. 1, pp. 93-105, 2011.
27. V. Gupta, D. Mohapatra, A. Raghunathan, and K. Roy, "Low-Power Digital Signal Processing Using Approximate Adders, " IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 32, no. 1, pp. 124-137, 2013.
28. S. -L. Lu, "Speeding Up Processing with Approximation Circuits, " Computer, vol. 37, no. 3, pp. 67-73, 2004.
29. M. R. Choudhury and K. Mohanram, "Approximate Logic Circuits for Low Overhead, Non-Intrusive Concurrent Error Detection, " in Proceedings of the Conference on Design, Automation and Test in Europe, 2008, pp. 903-908.
30. S. Venkataramani, A. Sabne, V. Kozhikkottu, K. Roy, and A. Raghunathan, "SALSA: Systematic Logic Synthesis of Approximate Circuits, " in Proceedings of the 49th Annual Design Automation Conference, 2012, pp. 796-801.
31. R. Hegde and N. R. Shanbhag, "Soft Digital Signal Processing, " IEEE Transactions on Very Large Scale Integration Systems, vol. 9, no. 6, pp. 813-823, 2001.
32. M. Carbin, S. Misailovic, and M. C. Rinard, "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware, " in Proceedings of the ACM SIGPLAN International Conference on Object- Oriented Programming, Systems, Languages, and Applications, 2013, pp. 33-52.
33. S. Feng, S. Gupta, A. Ansari, and S. Mahlke, "Shoestring: Probabilistic Soft Error Reliability on the Cheap, " in Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010, pp. 385-396.
34. C. M. Bishop, "Novelty Detection and Neural Network Validation, " Vision, Image and Signal Processing, vol. 141, no. 4, pp. 217-222, 1994.
35. G. V. Varatkar and N. R. Shanbhag, "Energy-Efficient Motion Estimation Using Error-Tolerance, " in Proceedings of the International Symposium on Low Power Electronics and Design, 2006, pp. 113-118.
36. K. He, A. Gerstlauer, and M. Orshansky, "Controlled Timing-Error Acceptance for Low Energy IDCT Design, " in Proceedings of the Conference on Design, Automation and Test in Europe, 2011, pp. 1-6.
37. R. Venkatesan, A. Agarwal, K. Roy, and A. Raghunathan, "MACACO: Modeling and Analysis of Circuits for Approximate Computing, " in Proceedings of the IEEE/ACM International Conference on Computer- Aided Design, 2011, pp. 667-673.
38. B. Efron and R. Tibshirani, "Bootstrap Methods for Standard Errors, Confidence Intervals, and Other Measures of Statistical Accuracy, " Statistical Science, vol. 1, no. 1, pp. 54-75, 1986.
39. N. W. Townsend and L. Tarassenko, "Estimations of Error Bounds for Neural-Network Function Approximators, " IEEE Transactions on Neural Networks, vol. 10, no. 2, pp. 217-230, 1999.
40. S. K. S. Hari, S. V. Adve, and H. Naeimi, "Low-Cost Program-Level Detectors for Reducing Silent Data Corruptions, " in Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2012, pp. 1-12.