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

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social