- Laboratoire d’informatique

Projets PEQUAN

Équipe : PEQUAN

https://github.com/hpddm/hpddmHPDDM - 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

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

http://promise.lip6.frPROMISE - 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

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

http://www-pequan.lip6.fr/~jezequel/SAMSAM - 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

https://www-pequan.lip6.fr/cadna/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/

Archives