Projet Arénaire, objectifs scientifiques et documents
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)
|