Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication

Hong Diep Nguyen 1 Nathalie Revol 1, 2, * Philippe Théveny 1, 2, 3
* Corresponding author
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Interval arithmetic is mathematically defined as set arithmetic. For implementation issues, it is necessary to detail the representation of intervals and to detail formulas for the arithmetic operations. Two main representations of intervals are considered here: inf-sup and midrad. Formulas for the arithmetic operations, using these representations, are studied along with formulas that trade off accuracy for efficiency. This tradeo ff is particularly blatant on the example of interval matrix multiplication, implemented using floating-point arithmetic: depending on the chosen formulas, the effi ciency as well as the accuracy can vary greatly in practice, and not necessarily as predicted by the theory. Indeed, theoretical predictions are often based on exact operations, as opposed to floating-point operations, and on operations count, as opposed to measured execution time. These observations and the recommendations that ensue are further obfuscated by considerations on memory usage, multithreaded computations. . . when these algorithms are implemented on parallel architectures such as multicores.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00704288
Contributor : Nathalie Revol <>
Submitted on : Tuesday, June 5, 2012 - 10:31:27 AM
Last modification on : Thursday, February 7, 2019 - 4:13:55 PM
Long-term archiving on : Thursday, December 15, 2016 - 11:08:47 AM

File

Nguyen-Revol-Theveny.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00704288, version 1

Collections

Citation

Hong Diep Nguyen, Nathalie Revol, Philippe Théveny. Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication. PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland. ⟨hal-00704288⟩

Share

Metrics

Record views

465

Files downloads

238