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 |
| LEADER | 02478nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 221251 | ||
| 008 | 050824s2004 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN089024001 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Merlin, Armelle. | |
| 240 | 1 | 0 | |a Communicant operational models : |b performances and paths algebras |
| 245 | 1 | 0 | |a Modéles opérationnels communicants : |b performances et algèbres de chemins |c par Armelle Merlin ; [sous la dir. de] Gaétan Hains. |
| 260 | |a [S.l.] : |b [s.n.], |c 2004. | ||
| 300 | |a 130 p. ; |c 30 cm. | ||
| 500 | |a Publication autorisée par le jury | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2004 | ||
| 504 | |a Bibliogr. p. [127]-130. Index | ||
| 520 | |a 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 performances. Nous proposons ensuite d'associer concurrence et parallélisme. Ceci à l'aide d'une extension de l'algèbre de processus CCS, nommée BSPA, qui préserve les caractéristiques de BSP. Nous associons à BSPA un modèle de coût basé sur les algèbres de chemins et fidèle au modèle de performance BSP. Nous montrons comment appliquer ce modèle aux problèmes d'ordonnancement posés par l'informatique globalisée ou meta-computing. Cette méthode de calcul de coût est générale et peut s'appliquer à d'autres algèbres de processus. Ainsi nous proposons un modèle de dépense de resssources mémoire pour l'algèbre de processus SPPA dédiée aux protocoles cryptographiques et en particulier au protocole TCP. | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Systèmes virtuels (informatique) | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Hains, Gaétan. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246819103 |t Modéles opérationnels communicants |o performances et algèbres de chemins |f par Armelle Merlin |c Lille |n Atelier national de reproduction des thèses |d 2004 |p Microfiches |s Lille-Thèses |
| 997 | |0 221251 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2004-52 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2004-52 b | ||