Static Analysis for BSPlib Programs
La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , , , , , , , , |
| التنسيق: | Thèse numérique |
| اللغة: | Anglais Français |
| منشور في: |
2019.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès au texte intégral https://theses.univ-orleans.fr/public/2019ORLE2005_vm.pdf http://www.theses.fr/2019ORLE2005/abes https://theses.hal.science/tel-02920363 |
| ملاحظة: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Emmanuel Chailloux (Président du jury) ; Gaétan Hains, Wadoud Bousdira, Herbert R. Kuchen, Frédéric Dabrowski, Denis Barthou, Wijnand Suijlen (Membre(s) du jury) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Analyse statique des programmes BSPlib |