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 |