Ma thèse en informatique / calcul parallèle


Courte présentation

Frédérique Voisin-DemeryJe m’appelle Frédérique Voisin-Demery. Je suis née à Limoges, j’ai passé mon DEA à l’ Université Joseph Fourier en 1996. J’ai terminé une thèse à l’Université Louis Pasteur (Strasbourg) au laboratoire LSIIT dans l’équipe ICPS en juillet 2001, thèse menée sous la direction de Guy-René Perrin.


Activités de recherche

Domaine : Parallélisme de données – Matrices creuses – Applications du parallélisme

Vous pouvez télécharger ma thèse intitulée « Etude d’outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques » : Postscript+gz, 128 pages, 960Ko, ou lire le résumé Postscript, 1p, 17Ko, ou PDF, 1p, 6Ko (en français et anglais).

Publications :

  • Sparse Computation with Pei, Frédérique Voisin, Guy-René Perrin, International Journal of Foundations of Computer Science Vol.10 No 14 (1999) 425-442
    Il s’agit d’une version longue de Sparse Computation with Pei, Frédérique Voisin, Guy-René Perrin, 6th International Workshop on Solving Irregularly Structured Problems in Parallel, San Juan, Puerto Rico, April 16, 1999, Proceedings of 11 IPPS/SPDP’99 Workshops, LNCS 1586, Springer-Verlag, 1999Résumé : Ce papier montre comment PEI, langage permettant d’exprimer des relations entre des variables par le biais d’équations est adapté pour la transformation de programmes faisant intervenir des structures de données pleines à des programmes faisant intervenir des données creuses. Nous commençons par introduire PEI et les notation qui s’y rapportent, puis montrons sur l’exemple du produit matrice-vecteur comment l’outil permet de passer d’une formulation à l’autre.Télécharger le rapport de recherche : Postscript+gz, 19 pages, 95 Ko ou PDF, 19 pages, 412 Ko
  • Minimisation des communications dans une résolution distribuée des équations de Navier-Stokes,Frédérique Voisin-Demery, Renpar’10, Strasbourg, France, Juin 1998Résumé : On se propose de résoudre les équations de Navier-Stokes par une méthode se prêtant bien à la parallélisation par distributions des données. Cette distribution des données implique des communications qu’on va tenter de minimiser.Télécharger le rapport de recherche : Postscript+gz, 7 pages, 59 Ko ou PDF, 7 pages, 327 Ko (en anglais)

Enseignement

  • Systèmes d’exploitation (TD, TP licence d’informatique) ; Base de données (TD, TP licence d’informatique et IUP2) – 1999/2000
  • Encadrement d’un TER (Travail d’Etude et de Recherche, Maîtrise) 1999/2000 : lire le sujet (postscript, 1 page).
  • Cours sur les bibliothèques pour machines parallèles (DESS) : téléchargez le support de cours Postscript+gz, 55 pages, 195 Ko ; téléchargez les sources (LaTeX) tar+gz, 96 Ko

Liens

Généralités (sites en anglais)

Résoudre les systèmes linéaires