引用次数
引用: 585
H-指数: 13
I10-指数 : 17
出版物: 34
FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS
FRÉDÉRIC GAVA
Parallel Processing Letters 13 ( 03) 365 -376
34
2003
A Functional Language for Departmental Metacomputing
FRÉDÉRIC GAVA , FRÉDÉRIC LOULERGUE
Parallel Processing Letters 15 ( 03) 289 -304
6
2005
A MODULAR IMPLEMENTATION OF DATA STRUCTURES IN BULK-SYNCHRONOUS PARALLEL ML
FRÉDÉRIC GAVA
Parallel Processing Letters 18 ( 01) 39 -53
3
2008
GUEST EDITORS NOTE: HIGH-LEVEL PROGRAMMING FOR HETEROGENEOUS AND HIERARCHICAL PARALLEL SYSTEMS
GAÉTAN HAINS , FRÉDÉRIC GAVA , KEVIN HAMMOND
Parallel Processing Letters 22 ( 02) 1202002
2012
External Memory in Bulk-Synchronous Parallel ML
Frédéric Gava
Scalable Computing: Practice and Experience 6 ( 4)
5
2005
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
Jean Fortin , Frédéric Gava
International Journal of Parallel Programming 44 ( 3) 574 -597
7
2016
Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case
Jean Fortin , Frédéric Gava
international conference on algorithms and architectures for parallel processing 222 -237
1
2015
Axiomatization and characterization of BSP algorithms
Yoann Marquer , Frédéric Gava
The Journal of Logic and Algebraic Programming 109 100479
3
2019
Deductive Verification of State-Space Algorithms
Frédéric Gava , Jean Fortin , Michael Guedj
integrated formal methods 124 -138
5
2013
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
Frédéric Gava , Franck Pommereau , Michaël Guedj
The Journal of Supercomputing 69 ( 2) 629 -672
5
2014
Programming bsp and multi-bsp algorithms in ml
Victor Allombert , Frédéric Gava
The Journal of Supercomputing 76 ( 7) 5079 -5097
1
2020
Bulk synchronous parallel ML with exceptions
Louis Gesbert , Frédéric Gava , Frédéric Loulergue , Frédéric Dabrowski
Future Generation Computer Systems 26 ( 3) 486 -490
20
2010
A parallel virtual machine for bulk synchronous parallel ML
Frédéric Gava , Frédéric Loulergue
international conference on computational science 155 -164
5
2003
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons
Ilias Garnier , Frédéric Gava
International Journal of Parallel, Emergent and Distributed Systems 26 ( 4) 251 -273
4
2011
Ahmad, Tanveer 138 Allombert, Victor 41 Amarasekera, Dinesh 114 Apostol, Gabriel-Cosmin 65 Ars, Zaid 138
Sarah Azimi , Ioana Banicescu , Léa Marziyeh Bayati , Niklaus Berger
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
Frédéric Gava , Michael Guedj , Franck Pommereau
13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012) 79 -79
2012
Bulk synchronous parallel ML: modular implementation and performance prediction
Frédéric Loulergue , Frédéric Gava , David Billiet
Computational Science–ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II 5 1046 -1054
99
2005
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
Frédéric Gava , Frédéric Loulergue
Future Generation Computer Systems 21 ( 5) 665 -671
31
2005
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML
Frédéric Dabrowski , Frédéric Loulergue , Frédéric Gava
4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD’03) 301 -308
3
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.
Frédéric Gava
Université Paris XII Val de Marne
18
2005