Frédéric Gava
Titolo
Citata da
Citata da
Anno
Bulk synchronous parallel ML: modular implementation and performance prediction
F Loulergue, F Gava, D Billiet
International Conference on Computational Science, 1046-1054, 2005
862005
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
F Gava, F Loulergue
Future Generation Computer Systems 21 (5), 665-671, 2005
65*2005
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
W Bousdira, F Gava, L Gesbert, F Loulergue, G Petiot
2010 First International Conference on Networking and Computing, 191-196, 2010
56*2010
Formal proofs of functional BSP programs
F Gava
Parallel Processing Letters 13 (03), 365-376, 2003
50*2003
BSP-Why: A tool for deductive verification of BSP algorithms with subgroup synchronisation
J Fortin, F Gava
International Journal of Parallel Programming 44 (3), 574-597, 2016
37*2016
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
322010
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
F Gava, F Pommereau, M Guedj
The Journal of Supercomputing 69 (2), 629-672, 2014
26*2014
Towards mechanised semantics of hpc: The bsp with subgroup synchronisation case
J Fortin, F Gava
International Conference on Algorithms and Architectures for Parallel …, 2015
20*2015
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons
I Garnier, F Gava
International Journal of Parallel, Emergent and Distributed Systems 26 (4 …, 2011
20*2011
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.
F Gava
Université Paris XII Val de Marne, 2005
182005
Multi-ML: programming multi-BSP algorithms in ML
V Allombert, F Gava, J Tesson
International Journal of Parallel Programming 45 (2), 340-361, 2017
17*2017
A functional language for departmental metacomputing
F Gava, F Loulergue
Parallel processing letters 15 (03), 289-304, 2005
132005
Semantics and implementation of minimally synchronous parallel ML
F Loulergue, F Gava, M Arapinis, F Dabrowski
International Journal of Computer and Information Science 5 (3), 182-199, 2004
13*2004
Deductive verification of state-space algorithms
F Gava, J Fortin, M Guedj
International Conference on Integrated Formal Methods, 124-138, 2013
12*2013
Implementation of data-parallel skeletons: A case study using a coarse-grained hierarchical model
C Li, F Gava, G Hains
2012 11th International Symposium on Parallel and Distributed Computing, 26-33, 2012
12*2012
External memory in bulk-synchronous parallel ML
F Gava
Scalable Computing: Practice and Experience 6 (4), 2005
12*2005
A parallel virtual machine for bulk synchronous parallel ML
F Gava, F Loulergue
International Conference on Computational Science, 155-164, 2003
11*2003
Axiomatization and characterization of BSP algorithms
Y Marquer, F Gava
Journal of Logical and Algebraic Methods in Programming 109, 100479, 2019
9*2019
Bsp functional programming: Examples of a cost based methodology
F Gava
International Conference on Computational Science, 375-385, 2008
92008
A modular implementation of data structures in bulk-synchronous parallel ML
F Gava
Parallel Processing Letters 18 (01), 39-53, 2008
92008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20