Floating-Point Transformer 4
Ce projet a pour objectif d’utiliser les grands modèles de langage pour aider à l’analyse et la transformation automatique de code flottant.
Project Leader : fabienne jezequel
01/10/2024
Algorithmes en précision mixte pour le calcul haute performance
Project Leader : Theo Mary
01/10/2023
Architectures Novatrices pour Capteur Fibre Optique Acoustique Distribué
Project Leader : Fabienne Jezequel
01/10/2023
Methods and Algorithms for Exascale
Project Leader : Pierre Jolivet
01/01/2023
https://numpex.org/exama-methods-and-algorithms-for-exascale/
HPDDM - high-performance unified framework for domain decomposition methods
HPDDM est une collection de préconditionneurs basés sur le paradigme de la décomposition de domaine, avec ou sans recouvrement. Ils peuvent être utilisés pour résoudre de grands systèmes linéaires, comme on en rencontre généralement lors de la discrétisation d'équations aux dérivées partielles. Ces préconditionneurs peuvent être utilisés avec diverses méthodes Krylov. La bibliothèque est utilisable dans les codes C, C++, Python ou Fortran.
Project Leader : Pierre JOLIVET
01/12/2022
Un jumeau numérique mécanique assisté par les splines et basé sur les images pour l'analyse de structures lattices réelles
Project Leader : Pierre Jolivet
01/10/2022
Plateforme d'analyse pour l'arithmétique flotante
Réf. DR&I / INFOLAB : C21/0289
Project Leader : Fabienne Jezequel
01/10/2020
Sûreté numérique pour les preuves assistées par ordinateur
C20/1155
Project Leader : Marc Mezzaroba
01/10/2020
FiXiF - Reliable fixed-point implementation of linear signal processing (and control) algorithms
FiXiF est une suite d’outils utilisés pour implémenter des filters sur des systèmes embarqués (tels que DSP, micro-controlleurs, FPGA ou ASIC) avec l’impact de la précision finie (virgule fixe et flottante).
Project Leader : Thibault HILAIRE
01/08/2017
PROMISE - PRecision OptiMISE
PROMISE est un logiciel permettant de déterminer automatiquement la précision adéquate des variables dans un code numérique.
Project Leader : Fabienne JEZEQUEL
01/01/2016
ExBLAS - Exact Basic Linear Algebra Subprograms
ExBLAS fournit une version performante des algorithmes fondamentaux d'algèbre linéaire dont les résultats sont précis et reproductibles.
Project Leader : Stef GRAILLAT
01/01/2014
SAM - Stochastic Arithmetic in Multiprecision
SAM est une bibliothèque qui permet d'estimer et de contrôler la propagation des erreurs d'arrondi dans les programmes en précision arbitraire.
Project Leader : Fabienne JEZEQUEL
01/01/2010
CADNA - Control of Accuracy and Debugging for Numerical Application
CADNA est une bibliothèque qui permet de faire du calcul scientifique sur ordinateur en estimant et contrôlant la propagation des erreurs d'arrondi
Project Leader : Fabienne JEZEQUEL
10/01/1992