SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2012, Pages 453-462

A dynamic program analysis to find floating-point accuracy problems

(3) Benz, Florian a Hildebrandt, Andreas b Hack, Sebastian a

a SAARLAND UNIVERSITY (Germany)

b JOHANNES GUTENBERG UNIVERSITY (Germany)

Author keywords

Dynamic program analysis; Floating point accuracy; Program instrumentation

Indexed keywords

ACCURACY PROBLEMS; BINARY TRANSLATION; BIOINFORMATICS APPLICATIONS; CATASTROPHIC ERRORS; DYNAMIC PROGRAM ANALYSIS; FLOATING-POINT ACCURACY; FLOATING-POINT ARITHMETIC; FLOATING-POINT COMPUTATION; LOSS OF ACCURACY; PROGRAM INSTRUMENTATION; RUNTIMES;

BIOINFORMATICS; COMPUTER PROGRAMMING LANGUAGES; DIGITAL ARITHMETIC;

PROGRAM DEBUGGING;

EID: 84863500860 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/2254064.2254118 Document Type: Conference Paper

Times cited : (82)

References (21)

1
- 84863478245
- D. An, R. Blue, M. Lam, S. Piper, and G. Stoker. FPInst: Floating point error analysis using dyninst, 2008. http://www.freearrow.com/downloads/files/ fpinst.pdf.
- FPInst: Floating Point Error Analysis Using Dyninst, 2008
- An, D.¹ Blue, R.² Lam, M.³ Piper, S.⁴ Stoker, G.⁵

2
- 84863433591
- Profiling floating point value ranges for reconfigurable implementation
- A.W. Brown, P. H. J. Kelly, and W. Luk. Profiling floating point value ranges for reconfigurable implementation. In Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing, pages 6-16, 2007.
- (2007) Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing , pp. 6-16
- Brown, A.W.¹ Kelly, P.H.J.² Luk, W.³

3
- 63549125605
- S. P. E. Corporation. SPEC CPU2006 benchmarks. http://www.spec.org/ cpu2006/.
- SPEC CPU2006 Benchmarks

4
- 0000810983
- A floating-point technique for extending the available precision
- 10.1007/BF01397083
- T. J. Dekker. A floating-point technique for extending the available precision. Numerische Mathematik, 18:224-242, 1971. 10.1007/BF01397083.
- (1971) Numerische Mathematik , vol.18 , pp. 224-242
- Dekker, T.J.¹

5
- 70649100057
- Towards an industrial use of FLUCTUAT on safety-critical avionics software
- Springer-Verlag
- D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal, and F. V́edrine. Towards an industrial use of FLUCTUAT on safety-critical avionics software. In FMICS'09, pages 53-69. Springer-Verlag, 2009.
- (2009) FMICS'09 , pp. 53-69
- Delmas, D.¹ Goubault, E.² Putot, S.³ Souyris, J.⁴ Tekkal, K.⁵ V́edrine, F.⁶

6
- 0026115342
- Accurate elementary mathematical library for the IEEE floating point standard
- DOI 10.1145/103147.103151
- S. Gal. An accurate elementary mathematical library for the IEEE floating point standard. ACM Trans. Math. Softw., 17:26-45, March 1991. (Pubitemid 23599721)
- (1991) ACM Transactions on Mathematical Software , vol.17 , Issue.1 , pp. 26-45
- Gal Shmuel¹ Bachelis Boris²

7
- 84863462597
- GNU Linear Programming Kit, ver. 4.47. http://www.gnu.org/software/glpk/.
- GNU Linear Programming Kit, Ver. 4.47

8
- 0026122066
- What every computer scientist should know about floating-point arithmetic
- DOI 10.1145/103162.103163
- D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv., 23:5-48, 1991. (Pubitemid 21723680)
- (1991) ACM Computing Surveys , vol.23 , Issue.1 , pp. 5-48
- Goldberg David¹

9
- 79251592546
- Static analysis of finite precision computations
- Berlin, Heidelberg, Springer-Verlag
- E. Goubault and S. Putot. Static analysis of finite precision computations. In VMCAI'11, pages 232-247, Berlin, Heidelberg, 2011. Springer-Verlag.
- (2011) VMCAI'11 , pp. 232-247
- Goubault, E.¹ Putot, S.²

10
- 54249111153
- Accuracy and stability of numerical algorithms
- Philadelphia, PA, USA, second edition edition
- N. J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition edition, 2002.
- (2002) Society for Industrial and Applied Mathematics
- Higham, N.J.¹

11
- 77958140046
- BALL - biochemical algorithms library 1.3
- A. Hildebrandt, A. K. Dehof, A. Rurainski, A. Bertsch, M. Schumann, N. Toussaint, A. Moll, D. Stockel, S. Nickels, S. Mueller, H.-P. Lenhof, and O. Kohlbacher. BALL - biochemical algorithms library 1.3. BMC Bioinformatics, 11(1):531, 2010.
- (2010) BMC Bioinformatics , vol.11 , Issue.1 , pp. 531
- Hildebrandt, A.¹ Dehof, A.K.² Rurainski, A.³ Bertsch, A.⁴ Schumann, M.⁵ Toussaint, N.⁶ Moll, A.⁷ Stockel, D.⁸ Nickels, S.⁹ Mueller, S.¹⁰ Lenhof, H.-P.¹¹ Kohlbacher, O.¹²

12
- 70449392816
- W. Kahan. How futile are mindless assessments of roundoff in floating-point computation?, 2006. http://www.cs.berkeley.edu/wkahan/Mindless. pdf.
- (2006) How Futile Are Mindless Assessments of Roundoff in Floating-point Computation?
- Kahan, W.¹

13
- 84863493203
- Dynamic floating-point cancellation detection
- M. O. Lam, J. K. Hollingsworth, and G. W. Stewart. Dynamic floating-point cancellation detection. In WHIST 11, 2011.
- (2011) WHIST , vol.11
- Lam, M.O.¹ Hollingsworth, J.K.² Stewart, G.W.³

14
- 0001085161
- Automatic linear correction of rounding errors
- P. Langlois. Automatic linear correction of rounding errors. BIT Numerical Mathematics, 41:515-539, 2001. (Pubitemid 33636116)
- (2001) BIT Numerical Mathematics , vol.41 , Issue.3 , pp. 515-539
- Langlois, P.¹

15
- 77955911632
- Birkhäuser Boston
- J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé, and S. Torres. Handbook of Floating-Point Arithmetic. Birkhäuser Boston, 2010.
- (2010) Handbook of Floating-Point Arithmetic
- Muller, J.-M.¹ Brisebarre, N.² De Dinechin, F.³ Jeannerod, C.-P.⁴ Lefèvre, V.⁵ Melquiond, G.⁶ Revol, N.⁷ Stehlé, D.⁸ Torres, S.⁹

16
- 67650085819
- Valgrind: A framework for heavyweight dynamic binary instrumentation
- DOI 10.1145/1250734.1250746, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation
- N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI'07, pages 89-100. ACM, 2007. (Pubitemid 47630678)
- (2007) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , pp. 89-100
- Nethercote, N.¹ Seward, J.²

17
- 2942641986
- Safe bounds in linear and mixed-integer linear programming
- DOI 10.1007/s10107-003-0433-3
- A. Neumaier and O. Shcherbina. Safe bounds in linear and mixedinteger linear programming. Mathematical Programming, 99:283- 296, 2004. 10.1007/s10107-003-0433-3. (Pubitemid 40871723)
- (2004) Mathematical Programming , vol.99 , Issue.2 , pp. 283-296
- Neumaier, A.¹ Shcherbina, O.²

18
- 0003884483
- Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia
- U. G. A. Office
- U. G. A. Office. Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia, GAO report IMTEC 92-26, 1992. http://www.gao.gov/products/IMTEC-92-26/.
- (1992) GAO Report IMTEC 92-26

19
- 84863481290
- retrieved on 2011-03-03
- J. Walker. Floating-point benchmarks. http://www.fourmilab.ch/fbench/ retrieved on 2011-03-03.
- Floating-point Benchmarks
- Walker, J.¹

20
- 84863481291
- November 8
- The Wall Street Journal November 8, 1983, p.37.
- (1983) The Wall Street Journal , pp. 37

21
- 84863442702
- retrieved on 2011-03-03
- V. Weaver. SPEC CPU2006 problems of Valgrind. http://thread.gmane.org/ gmane.comp.debugging.valgrind.devel/1488/, retrieved on 2011-03-03.
- SPEC CPU2006 Problems of Valgrind
- Weaver, V.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.