Frédérique Voisin-Demery

Courte présentation 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, 1999

  Ré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 1998

  Ré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)

• Bibliographies en informatique
• Liste de serveurs mathématiques
• ParaScope, une liste de sites concernant le parallélisme

Résoudre les systèmes linéaires

• Tout sur les méthodes itératives: Jacobi, Gauss-Seidel, le gradient conjugué, et même un peu de parallélisme (en anglais)
• Quelquestransparents que j'ai faits sur les méthodes de gradient conjugués (55 Ko, Postscript+gz).
• Un cours sur les bibliothèques pour machines parallèles (195 Ko, Postcript+gz, 55 pages).

Accueil