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 : 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 LATEX by HEVEA.