Knowledge Tree

researcher / Jean-Michel Muller

Jean-Michel Muller

at_id:

orcid_id:

Disciplines:

Applied mathematics

Applied sciences

Computer sciences

Molecular and cellular biology

Edit Merge See Links

Thesis:

Méthodologies de calcul des fonctions élémentaires

Directed Thesis:

Contribution to error analysis of algorithms in floating-point arithmetic

Towards fast and certified multiple-precision librairies

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection

Contributions à la vérification formelle d'algorithmes arithmétiques

Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques

Approximations polynomiales rigoureuses et applications

Évaluation efficace de fonctions numériques : Outils et exemples

Arithmétiques réelles sur FPGA : virgule fixe, virgule flottante et système logarithmique

FLIP, a floating-point library for integer processors

Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision

Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE

Moyens arithmetiques pour un calcul fiable

Synthèse d'architectures intégrées utilisant des arithmétiques redondantes

Adequation arithmetique architecture : problemes et etude de cas

Contributions a l'arithmetique des ordinateurs : vers une maitrise de la precision

Contribution à la connaissance de la diversité des récepteurs polyvalents du VIP et du PACAP

Contribution à l'arithmétique des ordinateurs

Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP