Changes between Version 36 and Version 37 of WikiStart


Ignore:
Timestamp:
Nov 9, 2011, 8:24:25 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v36 v37  
    3535 
    3636 
     37=== Thesis ===  
     38 
     39 * Louis Gesbert, [http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf Développement systématique et sûreté d'exécution en programmation parallèle structurée]. PhD thesis, University Paris Est, LACL, 2009 
     40 * Julien Tesson, Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels. PhD Thesis, LIFO, University of Orléans, November 2011 
     41 
    3742=== Research reports and thesis === 
    3843 
    3944 * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/61/83/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010 
    4045 * Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi, [http://frederic.loulergue.eu/ftp/RR-2009-07.pdf Program Calculation in Coq], Research Report RR-2009-07, LIFO, University of Orléans, 2009 
    41  * Louis Gesbert, [http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf Développement systématique et sûreté d'exécution en programmation parallèle structurée]. PhD thesis, University Paris Est, LACL, 2009