Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Automated derivation of parametric data movement lower bounds for affine programs

Abstract : Researchers and practitioners have for long worked on improving the computational complexity of algorithms, focus-ing on reducing the number of operations needed to perform a computation. However the hardware trend nowadays clearly shows a higher performance and energy cost for data movements than computations: quality algorithms have to minimize data movements as much as possible. The theoretical operational complexity of an algorithm is a function of the total number of operations that must be executed
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.inria.fr/hal-02910961
Contributeur : Auguste Olivry <>
Soumis le : lundi 3 août 2020 - 14:36:05
Dernière modification le : mardi 24 novembre 2020 - 16:00:18
Archivage à long terme le : : lundi 30 novembre 2020 - 13:39:50

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello. Automated derivation of parametric data movement lower bounds for affine programs. PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2020, London, United Kingdom. pp.808-822, ⟨10.1145/3385412.3385989⟩. ⟨hal-02910961⟩

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

237