Elimination des racines et divisions pour du code embarqué

Résumé : Ce poster présente une transformation de programme qui élimine les divisions et les racines carrées dans des programmes sans boucles. Cette élimination permet de calculer ensuite exactement avec les opérations restantes
Type de document :
Poster
Journées du GDR-GPL, Apr 2013, Nancy, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00924394
Contributeur : Pierre Neron <>
Soumis le : lundi 6 janvier 2014 - 17:07:38
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : jeudi 10 avril 2014 - 17:30:12

Fichier

poster.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00924394, version 1

Collections

Citation

Pierre Neron. Elimination des racines et divisions pour du code embarqué. Journées du GDR-GPL, Apr 2013, Nancy, France. 〈hal-00924394〉

Partager

Métriques

Consultations de la notice

197

Téléchargements de fichiers

224