An ASM Thesis for BSP

Abstract : The gurevich's thesis stipulates that sequential abstract state machines (asms) capture the essence of sequential algorithms. On another side, the bulk-synchronous parallel (bsp) bridging model is a well known model for hpc algorithm design. It provides a conceptual bridge between the physical implementation of the machine and the abstraction available to a programmer of that machine. The assumptions of the bsp model are thus provide portable and scalable performance predictions on hpc systems. We follow gurevich's thesis and extend the sequential postulates in order to intuitively and realistically characterise the bsp algorithms.
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01717647
Contributeur : Yoann Marquer <>
Soumis le : lundi 26 février 2018 - 15:46:52
Dernière modification le : mercredi 7 mars 2018 - 01:13:06
Document(s) archivé(s) le : lundi 28 mai 2018 - 19:57:26

Fichier

BSP-ASM-long-1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01717647, version 1

Collections

Citation

Yoann Marquer, Frédéric Gava. An ASM Thesis for BSP. [Technical Report] Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-Est Créteil. 2018. 〈hal-01717647〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

62