Changes between Version 8 and Version 9 of Livrables

Timestamp:

Nov 13, 2013, 1:50:52 AM (5 years ago)

Author:

frederic.loulergue@…

Comment:

--

Livrables

@@ -14 +14 @@
 * '''M1''' Abdeljalil Abajjane, [http://frederic.loulergue.eu/ftp/inex_m1.pdf Parallélisme et évaluation de performances des jointures et semi-jointures sur des architectures Cloud], Mémoire de Master, septembre 2012
 
-* ''M2'' Etudiant à recruter, Mémoire de Master, septembre 2013
+* ''M2.1'' Jérôme Ricard, Mémoire de Master, septembre 2013
+
+* "M2.2" Simon Robillard, Dérivation Formelle et Extraction de Programmes Parallèles, septembre 2013
 
 * ''M3'' Nicolas Dugué, Mémoire de thèse, décembre 2014
@@ -26 +28 @@
 * '''L3''', Yohan Boichuit, Benoît Boyer, Thomas Genet, Axel Legay, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier], décembre 2012
 
-* ''L4'', GTA : une bibliothèque vérifiée pour la programmation de systèmes infonuagiques
+* ''L4'', Dérivation Formelle et Extraction de Programmes Parallèles
 
 * ''L5'', Algorithmes pour l'analyse des réseaux sociaux
 
 * ''L6'', Requêtes relationnelles dans les systèmes informatiques en nuage
-
-* ''L7'', Dérivation et transformation de programmes pour les systèmes infonuagiques
-
-* ''L8'', Algorithmes et implantations parallèles d'analyses de réseaux sociaux