Détail d'une fiche   Version PDF

ARIC (SR0495ZR)

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

ARENAIRE (SR0028PR) →  ARIC →  ARIC (SR0539JR)


Statut: Terminée

Responsable : Florent De Dinechin

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul certifié et cryptographie

Période : 01/01/2012 -> 31/12/2012
Dates d'évaluation :

Etablissement(s) de rattachement : ENS LYON, CNRS, U. LYON 1 (UCBL)
Laboratoire(s) partenaire(s) : LIP (UMR5668)

CRI : Centre Inria de Lyon
Localisation : Ecole normale supérieure de Lyon - Laboratoire de l'Informatique du Parallélisme (LIP)
Code structure Inria : 071105-0

Numéro RNSR : 201221021B
N° de structure Inria: SR0495ZR

Présentation

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