Proposition de TER pour la Maîtrise d'Informatique: pavages hyperboliques massivement parallèles
Encadrants:
- Guy Cousineau et Roberto Di Cosmo
-
Université de Paris 7
http://www.pps.jussieu.fr/~cousinea, http://www.dicosmo.org, E-mail: cousinea@pps.jussieu.fr,roberto@dicosmo.org
Tel: 01 44 27 86 55.
Laboratoires d'accueil:
PPS (Université de Paris 7).
Cadre de la recherche:
Le but de ce TER est d'adapter le code écrit par Guy Cousineau pour réaliser
des pavages hyperboliques du cercle, afin de pouvoir l'exécuter de façon massivement
parallèle grâce à la librairie OcamlP3l qui simplifie énormément la coordination
de programmes fonctionnels parallèles.
On construira sur les notions qui vous sont déjà familières depuis le projet de
DEUG http://www.pps.jussieu.fr/~cousinea/Cours/DEUG/Pavages.html, ainsi que
sur votre connaissance de OCaml, et on pourra, le moment venu, mettre à votre
disposition un accès à un cluster de 64 processeurs por les tests en grandeur réélle.
Plus d'information sur le sujet peut vous être fournie oralement par les encadrants.
This document was translated from LATEX by HEVEA.