On the use of inexact, pruned hardware in atmospheric modelling

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Volumn 372, Issue 2018, 2014, Pages

  Düben, Peter D ^a   Joven, Jaume ^b   Lingamneni, Avinash ^c   McNamara, Hugh ^a   De Micheli, Giovanni ^b   Palem, Krishna V ^c   Palmer, T N ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b EPFL   (Switzerland)

^c RICE UNIVERSITY   (United States)

Author keywords

Energy efficient computing; Inexact hardware design; Lorenz '96; Scale separation

Indexed keywords

METEOROLOGY; PROBABILITY DENSITY FUNCTION; SOFTWARE TESTING;

ATMOSPHERIC DYNAMICS; ATMOSPHERIC MODELLING; COMPUTATIONAL COSTS; ENERGY EFFICIENT COMPUTING; HARDWARE DESIGN; LORENZ '96; SCALE SEPARATION; WEATHER AND CLIMATE MODELS;

HARDWARE;

EID: 84901630316     PISSN: 1364503X     EISSN: None     Source Type: Journal    
DOI: 10.1098/rsta.2013.0276     Document Type: Article

References (24)

1. Bergman K et al. 2008 Exascale computing study: technology challenges in achieving exascale systems. Peter Kogge, Editor & Study Lead. http://users.ece.gatech.edu/mrichard/ExascaleComputingStudyReports/ exascale-final-report-100208.pdf (accessed 22 April 2014)
2. Palem K, Lingamneni A. 2013 Ten years of building broken chips: the physics and engineering of inexact computing. ACM Trans. Embedded Comput. Syst. 12, 87:1-87:23.
3. Lingamneni A, Basu A, Enz C, Palem K, Piguet C. 2013 Improving energy gains of inexact DSP hardware through reciprocative error compensation. In 50th Design Automation Conference, Austin, TX, pp. 20:1-20:8. New York, NY: ACM. (doi:10.1145/2463209.2488759)
4. Lingamneni A, Enz C, Palem K, Piguet C. 2013 Synthesizing parsimonious inexact circuits through probabilistic design techniques. ACM Trans. Embedded Comput. Syst. 12, 93:1-93:26.
5. Chakrapani LN, Muntimadugu KK, Lingamneni A, George J, Palem KV. 2008 Highly energy and performance efficient embedded computing through approximately correct arithmetic: a mathematical foundation and preliminary experimental validation. In Proc. IEEE/ACM Int. Conf. on Compilers, Architectures and Synthesis for Embedded Systems, Atlanta, GA, pp. 187-196. New York, NY: ACM. (doi:10.1145/1450095.1450124)
6. Mohapatra D, Karakonstantis G, Roy K. 2009 Significance driven computation: A voltagescalable, variation-aware, quality-tuning motion estimator. In Proc. ACM/IEEE Int. Symp. on Low power Electronics and Design, San Fransisco, CA, pp. 195-200. New York, NY: ACM. (doi:10.1145/1594233.1594282)
7. Narayanan S, Sartori J, Kumar R, Jones DL. 2010 Scalable stochastic processors. In Proc. Design, Automation and Test in Europe Conference, Dresden, Germany, pp. 335-338. Leuven, Belgium, Belgium: European Design and Automation Association.
8. Lingamneni A, Enz C, Nagel J-L, Palem K, Piguet C. 2011 Energy parsimonious circuit design through probabilistic pruning. Proc. Design, Automation and Test in Europe Conference, pp. 764- 769. (doi:10.1109/DATE.2011. 5763130)
9. Shukla J, Palmer TN, Hagedorn R, Hoskins B, Kinter J, Marotzke J, Miller M, Slingo J. 2010 Toward a new generation of world climate research and computing facilities. Bull. Am. Meteorol. Soc. 91, 1407-1412. (doi:10.1175/2010BAMS2900.1)
10. Düben PD, McNamara H, Palmer TN. In press. The use of imprecise processing to improve accuracy in weather and climate prediction. J. Comput. Phys. (doi:10.1016/j.jcp.2013.10.042)
11. Lingamneni A, Muntimadugu KK, Enz C, Karp RM, Palem K, Piguet C. 2012 Algorithmic methodologies for ultra-efficient inexact architectures for sustaining technology scaling. In Proc. ACM Int. Conf. on Computing Frontiers, Cagliari, Italy, pp. 3-12. New York, NY: ACM. (doi:10.1145/2212908.2212912)
12. George J, Marr B, Akgul BES, Palem KV. 2006 Probabilistic arithmetic and energy efficient embedded signal processing. In Proc. IEEE/ACM CASES, Seoul, Korea, pp. 158-168. New York, NY: ACM. (doi:10.1145/1176760.1176781) (Pubitemid 47113104)
13. IEEE standard for binary floating-point arithmetic. 1985 ANSI/IEEE Standardd 754-1985.
14. Deschamps J-P, Sutter G, Cantó E. 2012 Guide to FPGA implementation of arithmetic functions. Lecture Notes in Electrical Engineering no. 149. Berlin, Germany: Springer.
15. Joven J, Strid P, Castells-Rufas D, Bagdia A, De Micheli G, Carrabina J. 2011 Hw-sw implementation of a decoupled fpu for arm-based cortex-m1 socs in fpgas. In Sixth IEEE Int. Symp. Industrial Embedded Systems (SIES), 2011, pp. 1-8. (doi:10.1109/SIES.2011.5953649)
16. Kogge PM, Stone HS. 1973 A parallel algorithm for the efficient solution of a general class of recurrence equations. IEEE Trans. Comput. C 22, 786-793. (doi:10.1109/TC.1973.5009159)
17. Baugh CR, Wooley BA. 1973 A two's complement parallel array multiplication algorithm. IEEE Trans. Comput. C 22, 1045-1047. (doi:10.1109/T-C.1973.223648)
18. Lorenz EN. 2006 Predictability: a problem partly solved. In Predictability ofWeather and Climate (eds TN Palmer, R Hagedorn), pp. 40-58. Cambridge, UK: Cambridge University Press.
19. Kwasniok F. 2012 Data-based stochastic subgrid-scale parametrization: an approach using cluster-weighted modelling. Phil. Trans. R. Soc. A 370, 1061-1086. (doi:10.1098/rsta.2011.0384)
20. Ott E, Hunt BR, Szunyogh I, Zimin AV, Kostelich EJ, Corazza M, Kalnay E, Patil DJ, Yorke JA. 2004 A local ensemble Kalman filter for atmospheric data assimilation. Tellus 56, 415-428. (doi:10.1111/j.1600-0870.2004.00076.x) (Pubitemid 39533058)
21. Sapsis TP, Majda AJ. 2013 A statistically accurate modified quasilinear Gaussian closure for uncertainty quantification in turbulent dynamical systems. Physica D: Nonlinear Phenom. 252, 34-45. (doi:10.1016/j.physd.2013.02.009)
22. Wilks DS. 2005 Effects of stochastic parameterizations in the Lorenz '96 system. Q. J. R. Meteorol. Soc. 131, 389-407. (doi:10.1256/qj.04.03) (Pubitemid 41600142)
23. Arnold HM, Moroz IM, Palmer, TN. 2013 Stochastic parametrizations and model uncertainty in the lorenz '96 system. Phil. Trans. R. Soc. A 371, 20110479. (doi:10.1098/rsta.2011.0479)
24. Nangate freepdk45 generic open cell library, version 1.3, 2010. See http://si2.org/ openeda.si2.org/projects/nangatelib.