Gil Utard

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 1

Top Topics

Distributed Computing Environment

Formal Analysis

Coloured Petri Nets

Top Venues

Publications

Gil Utard, Hung-Cuong Le, Trung-Thanh Tran
U-RPC: a Protocol for Microservices in DHT. SoICT (2017)
Samira Chaou, Gil Utard, Franck Pommereau
Evaluating a peer-to-peer storage system in presence of malicious peers. HPCS (2011)
Ghislain Secret, Gil Utard
A Study of Reconstruction Process Load in P2P Storage Systems. Globe (2008)
Olivier Soyez, Cyril Randriamaro, Gil Utard, Francis Wlazinski
Dynamic Distribution for Data Storage in a P2P Network. GPC (2007)
Cyril Randriamaro, Olivier Soyez, Gil Utard, Francis Wlazinski
Data Distribution in a Peer to Peer Storage System. J. Grid Comput. 4 (3) (2006)
Cyril Randriamaro, Olivier Soyez, Gil Utard, Francis Wlazinski
Data distribution in a peer to peer storage system. CCGRID (2005)
Bernard Jurkowiak, Chu Min Li, Gil Utard
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. J. Autom. Reason. 34 (1) (2005)
Cyril Randriamaro, Olivier Soyez, Gil Utard, Francis Wlazinski
Data distribution for failure correlation management in a Peer to Peer storage system. ISPDC (2005)
Christophe Cérin, Olivier Cozette, Gil Utard, Hazem Fkaier, Mohamed Jemni
Parallel out-of-core sorting and fast accesses to disks. Int. J. High Perform. Comput. Netw. 3 (2/3) (2005)
Eddy Caron, Gil Utard
On the performance of parallel factorization of out-of-core matrices. Parallel Comput. 30 (3) (2004)
Olivier Cozette, Abdou Guermouche, Gil Utard
Adaptive paging for a multifrontal solver. ICS (2004)
Olivier Cozette, Cyril Randriamaro, Gil Utard
: Put disks at network level. CCGRID (2003)
Abdou Guermouche, Jean-Yves L'Excellent, Gil Utard
Impact of reordering on the memory of a multifrontal solver. Parallel Comput. 29 (9) (2003)
Abdou Guermouche, Jean-Yves L'Excellent, Gil Utard
On the Memory Usage of a Parallel Multifrontal Solver. IPDPS (2003)
Eddy Caron, Gil Utard
Parallel Out-of-Core Matrix Inversion. IPDPS (2002)
Olivier Cozette, Cyril Randriamaro, Gil Utard
Improving Cluster IO Performance with Remote Efficient Access to Distant Device. LCN (2002)
Jonathan Ilroy, Cyril Randriamaro, Gil Utard
Improving MPI-I/O Performance on PVFS. Euro-Par (2001)
Bernard Jurkowiak, Chu Min Li, Gil Utard
Parallelizing Satz Using Dynamic Workload Balancing. Electron. Notes Discret. Math. 9 (2001)
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frederic Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Martin Quinson, Emmanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Pierre Ramet, Jean Roman, Frank Rubi, Serge Steer, Frédéric Suter, Gil Utard
: The OURAGAN project. Parallel Comput. 27 (11) (2001)
Eddy Caron, Dominique Lazure, Gil Utard
Inversion of Huge Matrices on Clusters. CLUSTER (2000)
Eddy Caron, Dominique Lazure, Gil Utard
Performance Prediction and Analysis of Parallel Out-Of-Core Matrix Factorization. HiPC (2000)
Eddy Caron, Olivier Cozette, Dominique Lazure, Gil Utard
Virtual Memory Management in Data Parallel Applications. HPCN Europe (1999)
Hakan Taki, Gil Utard
MPI-IO on a Parallel File System for Cluster of Workstations. IWCC (1999)
Alexis Agahi, Robert D. Russell, Gil Utard
A High Performance Modular File System. HPCN Europe (1998)
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. Theor. Comput. Sci. 189 (1-2) (1997)
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. The Data Parallel Programming Model (1996)
David Cachera, Gil Utard
Proving Data-Parallel Programs: a Unifying Approach. Parallel Process. Lett. 6 (4) (1996)
Gil Utard, Gaétan Hains
Deadlock-Free Absorption of Barrier Synchronisations. Inf. Process. Lett. 56 (4) (1995)
Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot
A Proofe System for a Simple Data-Parallel Programming Language. Applications in Parallel and Distributed Computing (1994)
Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. CONPAR (1994)