Frédéric Loulergue
Frédéric Loulergue
Northern Arizona University, NAU
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
A calculus of functional BSP programs
F Loulergue, G Hains, C Foisy
Science of Computer Programming 37 (1-3), 253-277, 2000
Bulk synchronous parallel ML: modular implementation and performance prediction
F Loulergue, F Gava, D Billiet
International Conference on Computational Science, 1046-1054, 2005
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
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
F Loulergue
IASTED PDCS, 447-452, 2002
High level BSP programming: BSML and BS
O Ballereau, F Loulergue, G Hains
Trends in Functional Programming, 29-38, 2000
Distributed evaluation of functional BSP programs
F Loulergue
Parallel Processing Letters 11 (04), 423-437, 2001
Handling data-skew effects in join operations using mapreduce
MAH Hassan, M Bamha, F Loulergue
Procedia Computer Science 29, 145-158, 2014
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
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
Parallel juxtaposition for bulk synchronous parallel ml
F Loulergue
European Conference on Parallel Processing, 781-788, 2003
A verified bulk synchronous parallel ML heat diffusion simulation
J Tesson, F Loulergue
Procedia Computer Science 4, 36-45, 2011
Osl: Optimized bulk synchronous parallel skeletons on distributed arrays
N Javed, F Loulergue
International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009
Parallel superposition for bulk synchronous parallel ML
F Loulergue
International Conference on Computational Science, 223-232, 2003
Functional bulk synchronous parallel programming using the bsmllib library
G Hains, F Loulergue
Program calculation in Coq
J Tesson, H Hashimoto, Z Hu, F Loulergue, M Takeichi
International Conference on Algebraic Methodology and Software Technology …, 2010
BSλppp: Functional BSP Programs on Enumerated Vectors
F Loulergue
International Symposium on High Performance Computing, 355-363, 2000
A polymorphic type system for Bulk Synchronous Parallel ML
F Gava, F Loulergue
International Conference on Parallel Computing Technologies, 215-229, 2003
Parallel composition and bulk synchronous parallel functional programming.
F Loulergue
Scottish Functional Programming Workshop 2, 77-88, 2000
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
Calculating parallel programs in Coq using list homomorphisms
F Loulergue, W Bousdira, J Tesson
International Journal of Parallel Programming 45 (2), 300-319, 2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20