Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée
Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée
Florence Plateau
LRI
, Université Paris-Sud 11
INRIA
Saclay - Ile-de-France
Thèse soutenue le mercredi 6 janvier 2010, devant le jury suivant :
Rapporteurs
Nicolas Halbwachs
Robert de Simone
Examinateurs
Jean-Paul Allouche
Gérard Berry (président)
Marc Duranton
Encadrants
Louis Mandel
Marc Pouzet
Le mémoire de thèse :
mémoire
Le typeur Lucy-n :
lucync
(bytecode OCaml version 3.10.2 - nécessite Glpk)
Les preuves :
preuves Coq
Retour à la page principale
This document was translated from L
A
T
E
X by
H
E
V
E
A
.