Changes between Version 10 and Version 11 of Livrables


Ignore:
Timestamp:
Feb 12, 2014, 12:04:01 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Livrables

    v10 v11  
    55== Rapports annuels == 
    66 
    7 * '''R1''', Rapport annuel n°1, novembre 2012 
    8  
    9 * ''R2'', Rapport annuel n°2, novembre 2013 
     7* '''RS''', Rapport scientifique du projet  
    108 
    119 
    … …  
    1412* '''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 
    1513 
    16 * '''M2.1''' Jérôme Ricard, Mémoire de Master, septembre 2013 
     14* '''M2.1''' Jérôme Ricard, [http://frederic.loulergue.eu/ftp/inex_m2-1.pdf Étude et parallélisation d’algorithmes pour l’analyse de grands graphes de réseaux sociaux], Mémoire de Master, septembre 2013 
    1715 
    18 * '''M2.2''' Simon Robillard, Dérivation Formelle et Extraction de Programmes Parallèles, septembre 2013 
    19  
    20 * ''M3'' Nicolas Dugué, Mémoire de thèse, décembre 2014 
     16* '''M2.2''' Simon Robillard, [http://frederic.loulergue.eu/ftp/inex_m2-2.pdf Dérivation formelle et extraction de programmes parallèles], septembre 2013 
    2117 
    2218== Rapports de recherche == 
    … …  
    2824* '''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 
    2925 
    30 * ''L4'', Dérivation Formelle et Extraction de Programmes Parallèles 
     26* '''L4''', Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue, [http://frederic.loulergue.eu/ftp/inex_l4.pdf Gérer les déséquilibres de données lors des opérations de jointure avec MapReduce], 2013 
    3127 
    32 * ''L5'', Algorithmes pour l'analyse des réseaux sociaux 
     28* '''L5''', Nicolas Dugué, Vincent Labatut et Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l5.pdf Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter], 2013 
    3329 
    34 * ''L6'', Requêtes relationnelles dans les systèmes informatiques en nuage 
     30* '''L6''', Kento Emoto, Frédéric Loulergue, Julien Tesson, [http://frederic.loulergue.eu/ftp/inex_l6.pdf Une bibliothèque Générer-Tester-Agréger pour l’extraction de programmes parallèles en Coq], 2013 
     31 
     32* '''L7''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l7.pdf Capitalistes sociaux de Twitter: détection, évolution et analyse comportementale], 2013