S'identifier

Présentation

Mots clefs

Arithmétique des Ordinateurs, Architecture, Micro-architecture des Processeurs, Simulation d'unités de calcul, Validation numérique, Analyse d'erreurs, Transformation sémantique de programmes, Analyse statique, Interprétation abstraite, Cryptographie, Calcul haute performance, Systèmes hybrides.

Thématique

L'équipe DALI est constituée au 1er janvier 2011 de 2 professeurs, 5 maîtres de conférences (dont 1 HDR), 5 doctorants et d'un ATER financé au titre des dotations exceptionnelles pour la recherche en 2004.

Les activités de DALI se structurent autour de 4 actions de recherche qui partagent l'objectif commun d'améliorer la sûreté de fonctionnement et les performances du matériel comme du logiciel ainsi que d'une action transverse concernant les opérateurs cryptographiques.

L'équipe DALI développe une thématique de recherche unifiée afin d'améliorer la qualité numérique et la haute performance des calculs. DALI permet l'interaction, rare en France au sein d'une même équipe, d'experts en architecture et micro-architecture, simulation et compilation et arithmétique des ordinateurs.

Côté performances, nous nous intéressons plus particulièrement à la multiplication des coeurs (parallélisme de tâches) et à l'augmentation du parallélisme d'instructions. La qualité numérique des applications de calcul scientifique et la sûreté de fonctionnement d'applications embarquées critiques dépendent crucialement de la maîtrise des effets de la précision finie des calculs-et de l'arithmétique flottante en particulier. Il s'agit lors de contrôler et valider les calculs (algorithmes, codes) mais aussi d'améliorer et optimiser la précision numérique des calculs et des résultats. Certaines applications, en calcul scientifique en particulier, nécessitent d'améliorer la qualité numérique des applications sans pour autant sacrifier la rapidité de l'exécution. Ainsi se rejoignent amélioration de la performance et de la qualité numérique.

Rapport d'activités et présentations récentes

Le rapport des activités de recherche sur la période 2003-2004, 2003-2006, 2005-2009

Équipe-Projet DALI

Université de Perpignan Via Domitia, Bâtiment B - 1er étage, 52 avenue Paul Alduy - F-66860 Perpignan cedex 9, France

LIRMM, CNRS: UMR 5506 - Université Montpellier 2, 161 rue Ada, 34095 Montpellier Cedex 5, France