Floating-Point Format Inference in Mixed-Precision-Reference-Cited by-同舟云学术

Floating-Point Format Inference in Mixed-Precision

Published:2017 Issue: Volume: Page:230-246
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Martel Matthieu

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-57288-8_16

Reference29 articles.

1. Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia. Technical Report GAO/IMTEC-92-26, General Accounting office (1992)

2. ANSI/IEEE: IEEE Standard for Binary Floating-Point Arithmetic (2008)

3. Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: POPL 2013, pp. 549–560. ACM (2013)

4. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 825–885. IOS Press (2009)

5. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1), 1–8 (2011)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using loop transformations for precision tuning in iterative programs;2023 IEEE 30th Symposium on Computer Arithmetic (ARITH);2023-09-04

2. Constrained Precision Tuning;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17

3. An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic;2021 4th International Conference on Information and Computer Technologies (ICICT);2021-03

4. Fast and Efficient Bit-Level Precision Tuning;Static Analysis;2021

5. POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations;Communications in Computer and Information Science;2020