Menhir : un environnement pour l'execution efficace des codes matlab

par STEPHANE CHAUVEAU

Thèse de doctorat en Informatique

Sous la direction de Bernard Philippe.

Soutenue en 1998

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Au cours de la derniere decennie, le developpement de codes numeriques a ete grandement simplifie par l'apparition d'environnement de developpement offrant une forte convivialite et une grande portabilite. Ainsi, de nombreux numericiens utilisent le logiciel matlab et le langage associe pour verifier la validite de leurs methodes sans se soucier des details d'implantations. Malheureusement, les performances de matlab sont assez faibles car le mecanisme d'interpretation des codes induit un cout non negligeable. Au cours de cette these, nous avons developpe menhir, un environnement permettant la compilation et eventuellement la parallelisation des codes matlab. Nous utilisons une description externe du systeme cible pouvant etre amelioree par les utilisateurs desirant ajouter leur propres methodes de calculs. Cette approche nous permet egalement d'obtenir un logiciel adaptable a des systemes cibles tres differents par leurs architectures materielles, par les bibliotheques de fonctions numeriques disponibles et par les modeles de programmations utilises. Nous avons developpe des techniques d'inferences des types permettant de pallier l'absence de declarations des variables dans les codes matlab. Nous avons egalement developpe une selection automatiques des structures de donnees et des codes numeriques parmis toutes les possibilites proposees dans la description du systeme cible. Nos experimentations montrent que de nombreuses sources d'optimisations permettent d'ameliorer sensiblement les performances des programmes matlab.

  • Titre traduit

    Menhir : an environment for the efficient execution of matlab codes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 168 P.
  • Annexes : 35 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 1998/43

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1998-CHA
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.