Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Frédéric Gava"'
Autor:
Victor Allombert, Frédéric Gava
Publikováno v:
The Journal of Supercomputing. 76:5079-5097
The bsml and multi-ml languages have been designed for programming, a laml, algorithms of the respectively bsp and multi-bsp bridging models. multi-bsp is an extension of the well-know bsp model by taking into account the different levels of networks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66d3a45ae4af5b49701d9bcf2c847a27
https://doi.org/10.1007/s11227-019-02822-9
https://doi.org/10.1007/s11227-019-02822-9
Publikováno v:
18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP)
18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China
Algorithms and Architectures for Parallel Processing ISBN: 9783030050566
ICA3PP (3)
18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China
Algorithms and Architectures for Parallel Processing ISBN: 9783030050566
ICA3PP (3)
International audience; bsml and multi-ml are functional parallel programming languages "à la ml" based of the respectively the bsp and multi-bsp bridging models. multi-bsp extends bsp to take into account hierarchical archi-tectures. For both model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29847ed7005a99cc70fd1e79d10edbea
https://hal.archives-ouvertes.fr/hal-01941250
https://hal.archives-ouvertes.fr/hal-01941250
Autor:
Frédéric Gava, Victor Allombert
Publikováno v:
HPCS
International Conference on High Performance Computing and Simulation (HPCS 2018)
International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France
International Conference on High Performance Computing and Simulation (HPCS 2018)
International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France
We have designed a parallel language called MULTI- ML for programming MULTI-BSP algorithms in ML. The MULTI- BSP model provides a tree-based view of nested components of hierarchical architectures. The structure and abstraction brought by MULTI-BSP a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aa2b7458b9ea2f4d3075c824102c205
https://doi.org/10.1109/hpcs.2018.00085
https://doi.org/10.1109/hpcs.2018.00085
Autor:
Frédéric Gava, Yoann Marquer
Publikováno v:
HPCS
What is bulk-synchronous parallel (BSP) computing and is not? Behind this naive question, we can find complex formalisms. We first define a model that contain all BSP algorithms; This model comes with what is called abstract state machines (ASMs). Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2614e59d16923fbc17a983de75351eef
https://doi.org/10.1109/hpcs.2018.00120
https://doi.org/10.1109/hpcs.2018.00120
Publikováno v:
International Symposium on Parallel and Distributed Computing (ISPDC 2018)
International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland
ISPDC
International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland
ISPDC
International audience; In the context of high performance computing, it is important to avoid indeterminism and deadlocks. MULTI-ML is a functional parallel programming language " à la ML " , designed to program hierarchical architectures in a stru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::406198612da206b2d4bfc639654eb6c6
https://hal.archives-ouvertes.fr/hal-01835315/file/main.pdf
https://hal.archives-ouvertes.fr/hal-01835315/file/main.pdf
Autor:
Frédéric Gava, Yoann Marquer
Publikováno v:
Algorithms and Architectures for Parallel Processing ISBN: 9783030050566
ICA3PP (3)
ICA3PP (3)
The gurevich’s thesis stipulates that sequential abstract state machines (asms) capture the essence of sequential algorithms. On another hand, the bulk-synchronous parallel (bsp) bridging model is a well known model for hpc algorithm design. It pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1dbd9daccb4fadccfee92f3cc4eece8f
https://doi.org/10.1007/978-3-030-05057-3_6
https://doi.org/10.1007/978-3-030-05057-3_6
Autor:
Jean Fortin, Frédéric Gava
Publikováno v:
International Journal of Parallel Programming. 44:574-597
We present bsp-why, a tool for deductive verification of bsp algorithms with subgroup synchronisation. From bsp programs, bsp-why generates sequential codes for the back-end condition generator why and thus benefits from its large range of existing p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89b54b4397f2e7001fcc46bcb6a9b77c
https://doi.org/10.1007/s10766-015-0360-y
https://doi.org/10.1007/s10766-015-0360-y
Autor:
Yoann Marquer, Frédéric Gava
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 109:100479
b ulk- s ynchronous p arallel ( bsp ) is a bridging model for hpc ( h igh p erformance c omputing) algorithm design. It provides a conceptual bridge between the physical implementation of the machine and the abstraction available to a programmer, whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b61e56bb720d21dbf2362c44b4e01bb5
https://doi.org/10.1016/j.jlamp.2019.100479
https://doi.org/10.1016/j.jlamp.2019.100479
Autor:
Frédéric Gava, Ilias Garnier
Publikováno v:
International Journal of Parallel, Emergent and Distributed Systems. 26:251-273
Bulk-synchronous parallel ML (BSML) is an ML-based language designed to code bulk synchronous parallel (BSP) algorithms. It allows an estimation of execution time, and avoids deadlocks and non-determinism. BSML proposes an extension of ML programing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6a5ff83cd61835cc13e1550471c31a6
https://doi.org/10.1080/17445760.2010.481785
https://doi.org/10.1080/17445760.2010.481785
Autor:
Frédéric Gava, Jean Fortin
Publikováno v:
ICCS
Paderborn’s and Oxford’s BSPLib are C libraries supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and non-determinism. A natural semantics of the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e28ba61bfa2908e7b8230f08e11dec39