Gil Utard
Gil Utard
Maitre de Conférence Informatique, MIS, Université de Picardie Jules Verne
Verified email at u-picardie.fr - Homepage
Title
Cited by
Cited by
Year
Parallelizing Satz using dynamic workload balancing
B Jurkowiak, CM Li, G Utard
Electronic Notes in Discrete Mathematics 9, 174-189, 2001
742001
A parallelization scheme based on work stealing for a class of SAT solvers
B Jurkowiak, CM Li, G Utard
Journal of Automated Reasoning 34 (1), 73-101, 2005
592005
Impact of reordering on the memory of a multifrontal solver
A Guermouche, JY L’Excellent, G Utard
Parallel computing 29 (9), 1191-1218, 2003
552003
Data durability in peer to peer storage systems
G Utard, A Vernois
IEEE International Symposium on Cluster Computing and the Grid, 2004. CCGrid …, 2004
492004
MPI-IO on a parallel file system for cluster of workstations
H Taki, G Utard
ICWC 99. IEEE Computer Society International Workshop on Cluster Computing …, 1999
491999
System and method for perennial distributed back up
G Utard, C Randriamaro
US Patent 7,779,128, 2010
482010
SCILAB to SCILAB: the OURAGAN project
E Caron, S Chaumette, S Contassot-Vivier, F Desprez, E Fleury, C Gomez, ...
Parallel Computing 27 (11), 1497-1519, 2001
282001
Virtual memory management in data parallel applications
E Caron, O Cozette, D Lazure, G Utard
International Conference on High-Performance Computing and Networking, 1107-1116, 1999
231999
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
L Bougé, D Cachera, Y Le Guyadec, G Utard, B Virot
Theoretical Computer Science 189 (1-2), 71-107, 1997
221997
On the performance of parallel factorization of out-of-core matrices
E Caron, G Utard
Parallel Computing 30 (3), 357-375, 2004
212004
READ/sup 2: Put disks at network level
O Cozette, C Randriamaro, G Utard
CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and …, 2003
152003
On the memory usage of a parallel multifrontal solver
A Guermouche, JY L'Excellent, G Utard
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
152003
Data distribution in a peer to peer storage system
C Randriamaro, O Soyez, G Utard, F Wlazinski
Journal of Grid Computing 4 (3), 311-321, 2006
142006
Adaptive paging for a multifrontal solver
O Cozette, A Guermouche, G Utard
Proceedings of the 18th annual international conference on Supercomputing …, 2004
142004
Improving mpi-i/o performance on pvfs
J Ilroy, C Randriamaro, G Utard
European Conference on Parallel Processing, 911-915, 2001
142001
On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)
L Bougé, Y Le Guyadec, G Utard, B Virot
Parallel Processing: CONPAR 94—VAPP VI, 100-111, 1994
121994
Evaluating a peer-to-peer storage system in presence of malicious peers
S Chaou, G Utard, F Pommereau
2011 International Conference on High Performance Computing & Simulation …, 2011
112011
Parallel out-of-core matrix inversion
E Caron, G Utard
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
112002
Performance prediction and analysis of parallel out-of-core matrix factorization
E Caron, D Lazure, G Utard
International Conference on High-Performance Computing, 161-172, 2000
112000
A proof system for a simple data-parallel programming language
L Bouge, S Lyon, A Lectroniques, Y Le Guyadec, B Virot, G Utard
111993
The system can't perform the operation now. Try again later.
Articles 1–20