Frédéric Loulergue
Frédéric Loulergue
Adresse e-mail validée de univ-orleans.fr - Page d'accueil
Titre
Citée par
Citée par
Année
A calculus of functional BSP programs
F Loulergue, G Hains, C Foisy
Science of Computer Programming 37 (1-3), 253-277, 2000
922000
Bulk synchronous parallel ML: modular implementation and performance prediction
F Loulergue, F Gava, D Billiet
International Conference on Computational Science, 1046-1054, 2005
892005
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
412010
High level BSP programming: BSML and BS
O Ballereau, F Loulergue, G Hains
Trends in Functional Programming, 29-38, 1999
381999
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
F Loulergue
IASTED PDCS, 447-452, 2002
372002
Handling data-skew effects in join operations using mapreduce
MAH Hassan, M Bamha, F Loulergue
Procedia Computer Science 29, 145-158, 2014
342014
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
322010
Program calculation in Coq
J Tesson, H Hashimoto, Z Hu, F Loulergue, M Takeichi
International Conference on Algebraic Methodology and Software Technology …, 2010
302010
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
302005
Parallel juxtaposition for bulk synchronous parallel ml
F Loulergue
European Conference on Parallel Processing, 781-788, 2003
302003
A verified bulk synchronous parallel ML heat diffusion simulation
J Tesson, F Loulergue
Procedia Computer Science 4, 36-45, 2011
292011
Osl: Optimized bulk synchronous parallel skeletons on distributed arrays
N Javed, F Loulergue
International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009
292009
Parallel superposition for bulk synchronous parallel ML
F Loulergue
International Conference on Computational Science, 223-232, 2003
292003
Functional bulk synchronous parallel programming using the bsmllib library
G Hains, F Loulergue
292000
BSλppp: Functional BSP Programs on Enumerated Vectors
F Loulergue
International Symposium on High Performance Computing, 355-363, 2000
272000
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
23*2015
A polymorphic type system for Bulk Synchronous Parallel ML
F Gava, F Loulergue
International Conference on Parallel Computing Technologies, 215-229, 2003
222003
Parallel composition and bulk synchronous parallel functional programming.
F Loulergue
Scottish Functional Programming Workshop 2, 77-88, 2000
222000
Calculating parallel programs in Coq using list homomorphisms
F Loulergue, W Bousdira, J Tesson
International Journal of Parallel Programming 45 (2), 300-319, 2017
202017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20