Skip to Main content Skip to Navigation


...
tel-00005591v1  Theses
Gilbert Caplain. Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée
Réseaux et télécommunications [cs.NI]. Ecole des Ponts ParisTech, 1998. Français
...
tel-00005594v1  Theses
Mathieu Jaume. Contributions à la sémantique de la programmation logique
Interface homme-machine [cs.HC]. Ecole des Ponts ParisTech, 1999. Français
...
tel-00005620v1  Theses
Thierry Salset. Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée
Réseaux et télécommunications [cs.NI]. Ecole des Ponts ParisTech, 1997. Français
...
tel-00006797v1  Theses
Tony Lelièvre. Modèles multi-échelles pour les fluides viscoélastiques
Modélisation et simulation. Ecole des Ponts ParisTech, 2004. Français
...
tel-00007549v1  Theses
Hervé Grall. Deux critères de sécurité pour l'exécution de code mobile
Génie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français
...
inria-00070011v1  Reports
Stephane Le Menec. Games : gestion d'arbres d'etats multiples en SMECI
[Rapport de recherche] RT-0158, INRIA. 1993, pp.37