loading
Papers

Research.Publish.Connect.

Paper

Authors: Nasrine Damouche and Matthieu Martel

Affiliation: LAMPS Laboratory, University of Perpignan and France

ISBN: 978-989-758-322-3

Keyword(s): Mixed Precision, Numerical Accuracy, Program Transformation, Floating-point Arithmetic.

Abstract: Precision tuning consists of finding the least floating-point formats enabling a program to compute some results with an accuracy requirement. In mixed precision, this problem has a huge combinatory since any value may have its own format. Precision tuning has given rise to the development of several tools that aim at guarantying a desired precision on the outputs of programs doing floating-point computations, by minimizing the initial, over-estimated, precision of the inputs and intermediary results. In this article, we present an extension of our tool for numerical accuracy, Salsa, which performs precision tuning. Originally, Salsa is a program transformation tool based on static analysis and which improves the accuracy of floating-point computations. We have extended Salsa with a precision tuning static analysis. We present experimental results showing the efficiency of this new feature as well as the additional gains that we obtain by performing Salsa’s program transformation befo re the precision tuning analysis. We experiment our tool on a set of programs coming from various domains like embedded systems and numerical analysis. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.93.75.242

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Damouche, N. and Martel, M. (2018). Mixed Precision Tuning with Salsa.In Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-758-322-3, pages 47-56. DOI: 10.5220/0006915500470056

@conference{peccs18,
author={Nasrine Damouche. and Matthieu Martel.},
title={Mixed Precision Tuning with Salsa},
booktitle={Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2018},
pages={47-56},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006915500470056},
isbn={978-989-758-322-3},
}

TY - CONF

JO - Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - Mixed Precision Tuning with Salsa
SN - 978-989-758-322-3
AU - Damouche, N.
AU - Martel, M.
PY - 2018
SP - 47
EP - 56
DO - 10.5220/0006915500470056

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.