Seguir
Frédéric Loulergue
Frédéric Loulergue
Dirección de correo verificada de univ-orleans.fr - Página principal
Título
Citado por
Citado por
Año
Bulk synchronous parallel ML: Modular implementation and performance prediction
F Loulergue, F Gava, D Billiet
Computational Science–ICCS 2005: 5th International Conference, Atlanta, GA …, 2005
982005
A calculus of functional BSP programs
F Loulergue, G Hains, C Foisy
Science of Computer Programming 37 (1-3), 253-277, 2000
912000
Systematic development of correct bulk synchronous parallel programs
L Gesbert, Z Hu, F Loulergue, K Matsuzaki, J Tesson
2010 International Conference on Parallel and Distributed Computing …, 2010
422010
Handling data-skew effects in join operations using mapreduce
MAH Hassan, M Bamha, F Loulergue
Procedia Computer Science 29, 145-158, 2014
392014
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
F Loulergue
IASTED PDCS, 447-452, 2002
382002
High level BSP programming: BSML and BSlambda
O Ballereau, F Loulergue, G Hains
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99 …, 1999
37*1999
A case study on formal verification of the Anaxagoros hypervisor paging system with Frama-C
B Allan, N Kosmatov, M Lemerre, F Loulergue
International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2015
34*2015
Distributed evaluation of functional BSP programs
F Loulergue
Parallel Processing Letters 11 (04), 423-437, 2001
342001
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
332010
Program calculation in Coq
J Tesson, H Hashimoto, Z Hu, F Loulergue, M Takeichi
Algebraic Methodology and Software Technology: 13th International Conference …, 2011
322011
A verified bulk synchronous parallel ML heat diffusion simulation
J Tesson, F Loulergue
Procedia Computer Science 4, 36-45, 2011
312011
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
312005
Osl: Optimized bulk synchronous parallel skeletons on distributed arrays
N Javed, F Loulergue
International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009
302009
Parallel juxtaposition for bulk synchronous parallel ml
F Loulergue
Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference …, 2003
302003
Parallel superposition for bulk synchronous parallel ML
F Loulergue
Computational Science—ICCS 2003: International Conference, Melbourne …, 2003
302003
Functional bulk synchronous parallel programming using the bsmllib library
G Hains, F Loulergue
Constructive Methods for Parallel Programming, Advances in Computation …, 2000
282000
BSλppp: Functional BSP Programs on Enumerated Vectors
F Loulergue
International Symposium on High Performance Computing, 355-363, 2000
272000
Ghosts for lists: a critical module of Contiki verified in Frama-C
A Blanchard, N Kosmatov, F Loulergue
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
262018
Calculating parallel programs in Coq using list homomorphisms
F Loulergue, W Bousdira, J Tesson
International Journal of Parallel Programming 45, 300-319, 2017
242017
Parallel composition and bulk synchronous parallel functional programming.
F Loulergue
Scottish Functional Programming Workshop 2, 77-88, 2000
232000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20