Modéles opérationnels communicants : performances et algèbres de chemins
Nous développons et étendons le modèle BSP (Bulk Synchronous Parallelism) qui permet une programmation data-parallèle explicite et un calcul de coût simple. Nous exposons d'abord des machines virtuelles pour le langage BSML associant BSP, programmation fonctionnelle et estimation des performanc...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Thèse et Mémoire papier |
| اللغة: | Français |
| منشور في: |
[S.l.] :
[s.n.]
2004.
|
| الموضوعات: | |
| ملاحظة: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Communicant operational models :, performances and paths algebras |