Changes between Version 4 and Version 5 of Livrables


Ignore:
Timestamp:
Jan 9, 2013, 4:07:37 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Livrables

    v4 v5  
    2424* '''L2''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l2.pdf  Les capitalistes sociaux sur Twitter : détection via mesures de similarité], novembre 2012 
    2525 
    26 * ''L3'', GTA : une bibliothèque vérifiée pour la programmation de systèmes infonuagiques 
     26* '''L3''', Yohan Boichuit, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier sur termes], décembre 2012 
    2727 
    28 * ''L4'', Algorithmes pour l'analyse des réseaux sociaux 
     28* ''L4'', GTA : une bibliothèque vérifiée pour la programmation de systèmes infonuagiques 
    2929 
    30 * ''L5'', Requêtes relationnelles dans les systèmes informatiques en nuage 
     30* ''L5'', Algorithmes pour l'analyse des réseaux sociaux 
    3131 
    32 * ''L6'', Dérivation et transformation de programmes pour les systèmes infonuagique 
     32* ''L6'', Requêtes relationnelles dans les systèmes informatiques en nuage 
    3333 
    34 * ''L7'', Algorithmes et implantations parallèles d'analyses de réseaux sociaux 
     34* ''L7'', Dérivation et transformation de programmes pour les systèmes infonuagique 
     35 
     36* ''L8'', Algorithmes et implantations parallèles d'analyses de réseaux sociaux