Livrables du projet INEX
Rapports annuels
- RS, Rapport scientifique du projet
Mémoires
- M1 Abdeljalil Abajjane, Parallélisme et évaluation de performances des jointures et semi-jointures sur des architectures Cloud, Mémoire de Master, septembre 2012
- M2.1 Jérôme Richard, Étude et parallélisation d’algorithmes pour l’analyse de grands graphes de réseaux sociaux, Mémoire de Master, septembre 2013
- M2.2 Simon Robillard, Dérivation formelle et extraction de programmes parallèles, Mémoire de Master, septembre 2013
Rapports de recherche
- L1, Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre, Vers des environnements infonuagiques vérifiés, novembre 2012
- L2, Nicolas Dugué, Anthony Perez, Les capitalistes sociaux sur Twitter : détection via mesures de similarité, novembre 2012
- L3, Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay, Raffinement équationnel d'abstraction pour le ''model checking'' régulier, décembre 2012
- L4, Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue, Gérer les déséquilibres de données lors des opérations de jointure avec MapReduce, 2013
- L5, Nicolas Dugué, Vincent Labatut et Anthony Perez, Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter, 2013
- L6, Kento Emoto, Frédéric Loulergue, Julien Tesson, Une bibliothèque Générer-Tester-Agréger pour l’extraction de programmes parallèles en Coq, 2013
- L7, Nicolas Dugué, Anthony Perez, Capitalistes sociaux de Twitter: détection, évolution et analyse comportementale, 2013
Last modified 4 years ago
Last modified on Feb 17, 2014, 2:54:29 PM