Sites Inria

English version

Equipe de recherche ARIC

Arithmétiques des ordinateurs, méthodes formelles, génération de code

Présentation de l'équipe

L'objectif principal de l'équipe-projet AriC est d'améliorer, au moyen de l'arithmétique des ordinateurs, la qualité des calculs en général: performance, efficacité, précision, confiance.

Axes de recherche

Nous nous intéressons en particulier à l'arithmétique matérielle et reconfigurable, au calcul en virgule flottante, au calcul exact (précision multiple, arithmétique d'intervalle), à la complexité des calculs, à la validation des résultats numériques. Nous développons les outils mathématiques et algorithmiques qui permettent d'attaquer ces questions, en particulier autour des réseaux Euclidiens.

Relations industrielles et internationales

ST Microelectronics, Kalray, Intel

Mots-clés : Arithmétique des ordinateurs; virgule flottante; calcul formel; validation des calculs; réseaux Euclidiens

Suivez Inria tout au long de son 50e anniversaire et au-delà !