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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , , , , , , , , |
| Format: | Thèse numérique |
| Sprache: | Anglais Français |
| Veröffentlicht: |
2019.
|
| Schlagworte: | |
| Online Zugang: | 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 |
| Anmerkung: |
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 |