| NIVEAU / DEGREE | TITRE / TITLE |
|---|---|
| Master 2 |
Sémantique formelle de la bibliothèque BSPlib
stage effectué par Julien Tesson |
| Master 2 |
An Efficient Bulk Synchronous Parallel Library of Algorithmic
Skeletons in C++
stage effectué par Noman Javed |
| NIVEAU / DEGREE | TITRE / TITLE |
|---|---|
| Master 2 |
Certification de programmes BSML avec juxtaposition parallèle
stage effectué par Dimitri Louis-Régis |
| Master 2 |
Composition parallèle pour MSPML: sémantique et implémentation
stage effectué par Radia Benheddi |
| Master 2 |
MSPML : Environnements de communication et tolérance aux pannes
stage effectué par Abdeltouab Belbekkouche |