ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 20/10 - 2001  - pp.1343-1346
TITRE
COMPTE RENDU D’HABILITATION - Écrire les nombres autrement

RÉSUMÉ
Habilitation soutenue le 11 juillet 2001
À l’École Normale Supérieure de Lyon
Membres du jury :
Gilles Kahn (président), Jean-Daniel Boissonnat, Bernard Peroche, Wolfgang Walter (rapporteurs), Jean-Marie Chesneaux, Michel Cosnard, Jean-Michel Muller.

Extraits :
Introduction Nous nous sommes intéressés à des façons différentes de représenter les nombres pour calculer plus vite. Je montre que l’étude des systèmes de numération dits redondants, où un nombre peut avoir plusieurs écritures, continue à déboucher sur de nouveaux algorithmes de calcul, plus rapides ou plus adaptés à notre façon de penser les nombres en sciences expérimentales (ordre de grandeur en premier suivis de raffinements si cela est nécessaire). Dans les preuves de validité de certains de nos algorithmes en virgule flottante, l’introduction d’une notation redondante permet de réaliser des preuves plus générales. Les travaux présentés ont débouché (i) sur des bibliothèques de primitives pour le calcul en précision multiple, (ii) sur des preuves originales qui font intervenir la notation à virgule flottante et (iii) sur une spécification formelle utilisable et utilisée de la notation à virgule flottante telle qu’elle est implantée par la norme IEEE 754.
[…]

AUTEUR(S)
Marc DAUMAS

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (13 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier