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
* Auteur correspondant
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
Résumé : L'arithmétique par intervalles et une arithmétique sur les ensembles. Pour pouvoir l'implanter, il faut détailler d'une part la représentation choisie pour les intervalles et d'autre part les formules, dépendant de cette représentation, pour les opérations arithmétiques. Essentiellement deux représentations des intervalles sont considérées ici : la représentation inf-sup (par les extrémités) et la représentation mid-rad (par le centre et le rayon). Différentes formules pour les opérations arithmétiques sont présentées, qui offrent différents compromis entre la précision du résultat et la quantité de calculs à effectuer. Ces compromis sont encore plus flagrants quand on considère l'utilisation de ces opérations pour effectuer des produits de matrices à coefficients intervalles, implantés en utilisant l'arithmétique flottante : selon les formules choisies, les performances ainsi que la précision peuvent différer grandement en pratique, mais pas nécessairement comme le prédit la théorie. En effet, les prédictions théoriques sont basées sur l'hypothèse d'une arithmétique sous-jacente qui est exacte et non flottante, ainsi que sur un décompte d'opérations, ce qui ne correspond pas directement aux mesures des temps d'exécution. Ces observations et les recommandations qui en découlent dépendent en outre de considérations sur l'utilisation mémoire, la présence de calculs multithreadés etc. lorsque l'on considère des implantations parallèles sur des architectures telles que des multi-cœurs.
Type de document :
Communication dans un congrès
PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland. 2012
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00704288
Contributeur : Nathalie Revol <>
Soumis le : mardi 5 juin 2012 - 10:31:27
Dernière modification le : vendredi 20 avril 2018 - 15:44:26
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 11:08:47

Fichier

Nguyen-Revol-Theveny.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2012. 〈hal-00704288〉

Partager

Métriques

Consultations de la notice

410

Téléchargements de fichiers

215