loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Nasrine Damouche and Matthieu Martel

Affiliation: LAMPS Laboratory, University of Perpignan and France

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 bef ore the precision tuning analysis. We experiment our tool on a set of programs coming from various domains like embedded systems and numerical analysis. (More)

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 18.191.228.88

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 - PECCS; ISBN 978-989-758-322-3; ISSN 2184-2817, SciTePress, 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 - PECCS},
year={2018},
pages={47-56},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006915500470056},
isbn={978-989-758-322-3},
issn={2184-2817},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic