Optimisation du filtrage par transformations de programmes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2005

Optimisation du filtrage par transformations de programmes

Résumé

Durant ce stage, nous nous sommes inspirés des techniques d'optimisations par transformations de programmes et nous avons proposé une solution adaptée aux programmes de filtrage du logiciel Tom, développé dans l'équipe Protheo. Après avoir présenté ces techniques ainsi que le logiciel Tom, nous définirons un système de transformations applicable aux programmes de filtrage syntaxique et nous l'étendrons aux programmes de filtrage équationnel. Enfin, nous présenterons l'implantation de ce système de règles en Tom et les gains de performance obtenus.
Fichier principal
Vignette du fichier
rapport.pdf (391.94 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000764 , version 1 (17-11-2005)

Identifiants

  • HAL Id : inria-00000764 , version 1

Citer

Emilie Balland. Optimisation du filtrage par transformations de programmes. [Stage] 2005, pp.43. ⟨inria-00000764⟩
111 Consultations
106 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More