- Laboratoire d’informatique

Projets PEQUAN

Équipe : PEQUAN

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

https://anr.fr/Projet-ANR-23-CE46-0005

https://anr.fr/Projet-ANR-23-CE46-0005

Architectures Novatrices pour Capteur Fibre Optique Acoustique Distribué

Project Leader : Fabienne Jezequel

01/10/2023

https://anr.fr/Projet-ANR-23-MAZC-0001

https://anr.fr/Projet-ANR-23-MAZC-0001

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

https://github.com/hpddm/hpddm

https://github.com/hpddm/hpddm

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

https://anr.fr/Projet-ANR-22-CE46-0007

https://anr.fr/Projet-ANR-22-CE46-0007

Plateforme d'analyse pour l'arithmétique flotante

Réf. DR&I / INFOLAB : C21/0289

Project Leader : Fabienne Jezequel

01/10/2020

https://anr.fr/Projet-ANR-20-CE46-0009

https://anr.fr/Projet-ANR-20-CE46-0009

Sûreté numérique pour les preuves assistées par ordinateur

C20/1155

Project Leader : Marc Mezzaroba

01/10/2020

https://anr.fr/Project-ANR-20-CE48-0014

https://anr.fr/Project-ANR-20-CE48-0014

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

https://github.com/fixif/fixif

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

http://promise.lip6.fr

http://promise.lip6.fr

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

https://github.com/riakymch/exblas

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

http://www-pequan.lip6.fr/~jezequel/SAM

http://www-pequan.lip6.fr/~jezequel/SAM

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

https://www-pequan.lip6.fr/cadna/

https://www-pequan.lip6.fr/cadna/