Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution - Archive ouverte HAL
Article Dans Une Revue International Journal of Parallel Programming Année : 2020

Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution

Frédéric Gava
Laboratoire d'Algorithmique Complexité et Logique
Yoann Marquer
  • Fonction : Auteur
  • PersonId : 1028836
Laboratoire d'Algorithmique Complexité et Logique

Résumé

multi-bsp is a new bridging model which takes into account hierarchical architectures. We discuss two questions about multi-bsp algorithms and their programming: (1) How do we get a formal characterization of the class of multi-bsp algorithms? (2) How can a programming language be proven algorithmically complete for such a class? Our solution is based on an extension of a bsp version of sequential abstract state machines (asms).

Domaines

Complexité [cs.CC] Calcul parallèle, distribué et partagé [cs.DC] Algorithme et structure de données [cs.DS] Théorie et langage formel [cs.FL] Mathématiques générales [math.GM] Logique [math.LO]
Fichier principal
Vignette du fichier
2020_IJPP_MultiBSP.pdf (576.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Yoann Marquer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03189898

Soumis le : lundi 5 avril 2021-13:33:07

Dernière modification le : lundi 22 avril 2024-15:12:03

Archivage à long terme le : mardi 6 juillet 2021-18:04:11

Télécharger pour visualiser

Dates et versions

hal-03189898 , version 1 (05-04-2021)

Identifiants

Citer

Frédéric Gava, Yoann Marquer. Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. International Journal of Parallel Programming, 2020, 48 (4), pp.626-651. ⟨10.1007/s10766-020-00669-9⟩. ⟨hal-03189898⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC
39 Consultations
108 Téléchargements

Altmetric

Partager

More