psar
L’unité d’enseignement « Projet SAR » relève de la spécialité SAR du master d’informatique. L’objectif est de pratiquer les domaines couverts par la spécialité : conception, vérification et réalisation d’applications et systèmes répartis.
Le travail demandé comporte une grosse part de développement logiciel, aussi il faudra utiliser un gestionnaire de versions concurrentes. Pour cela, la Plateforme Pédagogique et Technique d’Informatique de notre université met à votre disposition un serveur Subversion, dont vous devez lire attentivement la documentation. Tous les systèmes d’exploitation offrent un client Subversion en ligne de commande, vous pouvez aussi installer une version graphique si vous le désirez. Le serveur Subversion de la PPTI doit être utilisé pour que vos encadrants puissent suivre et tester votre travail. Les exceptions à son utilisation doivent faire l’objet d’un accord préalable avec les encadrants.
Les soutenances, de tous devant tous, auront lieu les après-midi des 12 et 13 mai ; réservez dès à présent ces dates.
Prenez connaissance des projets contenus dans la liste ci-dessous, puis contacter les responsables des projets qui vous intéressent, en cliquant sur leur nom. Vous pouvez ainsi poser des questions complémentaires et prendre éventuellement rendez-vous. Lorsqu’un encadrant vous aura donné son accord, vous signalerez votre candidature au responsable de l’UE en vous déclarant dans le menu à gauche du texte de présentation du projet. Vous ne pouvez pas candidater à plusieurs projets simultanément.
Pour passer du mode abrégé au mode étendu, cliquer sur le bouton ci-dessus.
Pour être prévenu des stages annoncés tardivement, utiliser le fil RSS: il est spécifique à cette rubrique.
Pour ne lister que les stages associés à un mot-clé, cliquer sur une occurrence des mot-clés apparaissant en mode étendu sous le titre des stages.
1. Gestion de tas réparti
Site : | Gestion de tas réparti |
Lieu : | UPMC |
Encadrant : | Pierre Sens |
Dates : | du 01/02/2014 au 10/05/2014 |
2. Etudes sur la dissémination d’information dans les réseaux sociaux
Site : | Equipe Regal |
Lieu : | LIP6 |
Encadrant : | Pierre Sens, Ruijing Hu, |
Dates : | 31/01/2014 au 12/05/2014 |
3. Mutualisation entre machines virtuelles de la mémoire inutilisée. Grp1
Site : | LIP6 Regal |
Lieu : | UMPC, 4 place Jussieu 75005 PARIS |
Encadrant : | Julien Sopena (Julien.Sopena@lip6.fr), Sébastien Monnet (Sebastien.Monnet@lip6.fr) et Maxime Lorrillere (Maxime.Lorrillere@lip6.fr). |
Dates : | 01/02/2014 au 10/05/2014 |
4. Vers une plate-forme efficace de développement d’applications réparties.
Site : | Vers une plate-forme efficace de développement d’applications réparties. |
Lieu : | UMPC 4 place Jussieu 75005 PARIS |
Encadrant : | Julien Sopena (julien.sopena@lip6.fr), Jonathan Lejeune (jonathan.lejeune@lip6.fr) |
Dates : | 01/02/2014 au 10/05/2014 |
5. Abstraction GAL via une transformation de modèle
Site : | Trac-Abstraction GAL via une transformation de modèle |
Lieu : | LIP6 |
Encadrant : | Yann Thierry-Mieg |
6. Editeur Xtext et Transformation Divine
Site : | Trac-Editeur Xtext et Transformation Divine |
Lieu : | LIP6 |
Encadrant : | Yann Thierry-Mieg |
7. Editeur Xtext et Transformation Promela
Site : | Trac- Editeur Xtext et Transformation Promela |
Lieu : | LIP6 |
Encadrant : | Yann Thierry-Mieg |
8. floatOS : Driver OS pour la prise en charge des exceptions mathématiques dans le calcul en virgule flottante
Site : | Trac-floatOS |
Lieu : | Jussieu |
Encadrant : | B. Folliot stage pour 2-4 étudiants |
Dates : | standard |
9. VVMPad : Machine virtuelle virtuelle pour la programmation flexible de PinPad
Site : | Trac-VVMPad : Machine virtuelle virtuelle pour la programmation flexible de PinPad |
Lieu : | Jussieu |
Encadrant : | B. Folliot |
Dates : | standard |
10. Fée (proj. Sorbonne@Univ.) : metacloud & very-very-big-data
Site : | Trac-Fée (proj. Sorbonne@Univ.) : metacloud & very-very-big-data |
Lieu : | Jussieu |
Encadrant : | B.Folliot en coopération avec le Muséum d'Histoire Naturelle |
Dates : | standard |
11. Interface Shell pour les services dans CosyVerif
Site : | Trac-Interface Shell pour les services dans CosyVerif |
Lieu : | LIP6, UPMC |
Encadrant : | Fabrice Kordon, Alban Linard et Francis Hulin-Hubard |
12. Big-OS : un système d’exploitation pour les grands volumes de données
Site : | Trac-Big-OS : un système d’exploitation pour les grands volumes de données |
Lieu : | LIP6 |
Encadrant : | Gaël Thomas |
13. Intégration de nouveaux services dans CosyVerif
Site : | Trac-Intégration de nouveaux services dans CosyVerif |
Lieu : | LIP6, UPMC |
Encadrant : | Fabrice Kordon, Alban Linard et Francis Hulin-Hubard |
14. Allocation de ressources pour les services dans CosyVerif
Site : | Trac-Allocation de ressources pour les services dans CosyVerif |
Lieu : | LIP6, UPMC |
Encadrant : | Fabrice Kordon, Alban Linard et Francis Hulin-Hubard |
15. Mise à jour des scripts de build CosyVerif
Site : | Trac-Mise à jour des scripts de build CosyVerif |
Lieu : | LIP6, UPMC |
Encadrant : | Fabrice Kordon, Alban Linard et Francis Hulin-Hubard |
16. Authentification dans CosyVerif
Site : | Trac-Authentification dans CosyVerif |
Lieu : | LIP6, UPMC |
Encadrant : | Fabrice Kordon, Alban Linard et Francis Hulin-Hubard |
17. programmation sous iOS, le Balezator
Site : | Trac-programmation sois iOS, le Balezator |
Lieu : | UPMC (2 étudiants) |
Encadrant : | Fabrice Kordon et Thomas Baspeyras |
18. Programmation haut-niveau des architectures hybrides CPU-GPU
Site : | Trac-Programmation haut-niveau des architectures hybrides CPU-GPU |
Encadrant : | FORTIN, Pierre (Pierre.Fortin@lip6.fr) SAID, Issam (Issam.Said@lip6.fr) |
19. Implémentation d’un algorithme de détection des contraintes de dépendances entre les features : Application aux distributions d’eclipse
Site : | Trac-Implémentation d’un algorithme de détection des contraintes de dépendances entre les features : Application aux distributions d’eclipse |
Encadrant : | Ziadi Tewfik |
20. Manipulation de modèles comportementaux pour les lignes de produits
Site : | Trac-Manipulation de modèles comportementaux pour les lignes de produits |
Encadrant : | Ziadi Tewfik |
21. Mutualisation entre machines virtuelles de la mémoire inutilisée - Grp2
Site : | LIP6 Regal |
Lieu : | UMPC, 4 place Jussieu 75005 PARIS |
Encadrant : | Sopena Julien, Monnet Sébastien |
Dates : | 01/02/2014 au 10/05/2014 |
22. Temps-réel en multi-cœurs : problème de la contention mémoire - Grp1
Site : | LIP6 Regal |
Lieu : | UMPC, 4 place Jussieu 75005 PARIS |
Encadrant : | Julien Sopena (Julien.Sopena@lip6.fr), Antoine Blin (Antoine.Blin@lip6.fr) |
Dates : | 01/02/2014 au 10/05/2014 |
23. Temps-réel en multi-cœurs : problème de la contention mémoire - Grp2
Site : | LIP6 Regal |
Lieu : | UMPC, 4 place Jussieu 75005 PARIS |
Encadrant : | Julien Sopena (Julien.Sopena@lip6.fr), Antoine Blin (Antoine.Blin@lip6.fr) |
Dates : | 01/02/2014 au 10/05/2014 |
24. UnlockSat : vers un solveur SAT parallèle coopératif sur multi-coeurs.
Site : | LIP6 Regal |
Lieu : | UMPC, 4 place Jussieu 75005 PARIS |
Encadrant : | Julien Sopena (Julien.Sopena@lip6.fr), Souheib Baarir (Souheib.Baarir@lip6.fr) et Julia Lawall (Julia.Lawall@lip6.fr). |
Dates : | 01/02/2014 au 10/05/2014 |
- Valid CSS 2.1
- Valid XHTML Basic 1.1
- Triple-A conformance Web Content Accessibility Guidelines 2.0
-
Calculé le 22 janvier 2021 à 14h00min
par DidacSPIP
Université Pierre et Marie Curie - Mobile OK
- SPIP