Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
fr:research:bsp [2018/03/17 13:14] apeiron |
— (Version actuelle) | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | En 2017 - 2018 j'ai travaillé avec Frédéric Gava, Maître de Conférences à l'UPEC (Université Paris-Est Créteil), au sein du LACL (Laboratoire d'Algorithmique, Complexité et Logique) sur le modèle BSP (Bulk Synchronous Parallel). | ||
| - | |||
| - | ====== An ASM Thesis for BSP ====== | ||
| - | |||
| - | {{ :fr:research:bsp-asm.pdf |rapport technique}} disponible sur [[https://hal.archives-ouvertes.fr/hal-01717647|HAL]] | ||
| - | |||
| - | 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. | ||
| - | |||
| - | ====== Imperative Characterization of BSP Algorithms ====== | ||