Page francaise

Projet Arénaire, objectifs scientifiques et documents

En 2012, Arénaire devient AriC, Arithmetique et Calcul

Cette page ne sera plus maintenue. Merci de mettre à jour vos liens.

Notre but est l'amélioration des fonctionnalités arithmétiques des ordinateurs. Parmi divers contraintes matérielles ou logicielles, nous portons nos efforts par exemple sur la fiabilité, la précision, la vitesse et l'efficacité énergétique des calculs. Quatre directions de travail sont identifiées dans le projet.

Opérateurs arithmétiques matériels - circuit intégré numérique, ASIC, FPGA, VHDL, basse consommation d'énergie, opérateur reconfigurable, circuit asynchrone
Systèmes de représentation des nombres : entier, virgule fixe, virgule flottante, système (semi-)logarithmique, représentation modulaire, corps fini
Opérateurs de base : addition, multiplication, opérations impliquant des constantes, filtres FIR, opérateurs DSP
Fonctions algébriques (division, racine carrée, puissance) et élémentaires (sinus, cosinus, exponentielle...)
Opérateurs arithmétiques dédiées pour la cryptographie, le traitement du signal et des images
Opérateurs arithmétiques logiciels - C, processeurs spécifiques, libm, DSP, VLIW
Virgule fixe et flottante, arrondi correct, FMA, réduction d'argument, multi-précision,
Fonctions algébriques, élémentaires et spéciales
Standardisation
Approximation de fonction, analyse d'algorithmes
Modèles et propriétés des calculs, validation et preuve - C++, Coq, PVS
Arrondi correct, arithmétique d'intervalles, preuve formelle
Spécification de l'arithmétique, analyse de programmes et d'algorithmes
Bornes d'erreur, modèle de Taylor, encadrement de résultats
Utilisation et application des opérateurs arithmétiques - C, C++, Maple
Calculs approchés / par intervalles / exacts
Développement et test de bibliothèques spécifiques: multi-précision, corps finis, nombres entiers et rationnels
Analyse numérique pour le calcul par intervalles, adaptation automatique de la précision
Calcul algébrique, complexité algorithmique binaire versus algébrique, algèbre linéaire exacte, matrices polynomiales

Rapports d'activité

Rapport d'activité 2011 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2010 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2009 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2008 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2007 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2006 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2005 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2004 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2003 de l'INRIA (en anglais) [html] [pdf]
Rapport d'activité 2002/2003 du laboratoire LIP [ps]

Présentations

Présentation du projet (CP INRIA, 30/01/04) [pdf]
Présentation du projet (évaluation du LIP, 10/01/06) [pdf]
Présentation du projet (visite J. Vuillemin, 7/03/06) [pdf]

Posters

Présentation de l'équipe (30/12/05)
Évaluation de fonctions en matériel (en anglais) (30/12/05)
Contrôle des erreurs numériques (en anglais) (30/12/05)