According to our database1, Gil Utard authored at least 29 papers between 1994 and 2017.
Legend:Book In proceedings Article PhD thesis Other
U-RPC: a Protocol for Microservices in DHT.
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
Evaluating a peer-to-peer storage system in presence of malicious peers.
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
A Study of Reconstruction Process Load in P2P Storage Systems.
Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2008
Dynamic Distribution for Data Storage in a P2P Network.
Proceedings of the Advances in Grid and Pervasive Computing, 2007
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.
J. Autom. Reasoning, 2005
Parallel out-of-core sorting and fast accesses to disks.
Data distribution for failure correlation management in a Peer to Peer storage system.
Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005
Data distribution in a peer to peer storage system.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
On the performance of parallel factorization of out-of-core matrices.
Parallel Computing, 2004
Adaptive paging for a multifrontal solver.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004
Impact of reordering on the memory of a multifrontal solver.
Parallel Computing, 2003
On the Memory Usage of a Parallel Multifrontal Solver.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
READ2: Put disks at network level.
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
Improving Cluster IO Performance with Remote Efficient Access to Distant Device.
Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002
Parallel Out-of-Core Matrix Inversion.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
SCILAB to SCILAB//: The OURAGAN project.
Parallel Computing, 2001
Parallelizing Satz Using Dynamic Workload Balancing.
Electronic Notes in Discrete Mathematics, 2001
Improving MPI-I/O Performance on PVFS.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
Performance Prediction and Analysis of Parallel Out-Of-Core Matrix Factorization.
Proceedings of the High Performance Computing, 2000
Inversion of Huge Matrices on Clusters.
Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000
MPI-IO on a Parallel File System for Cluster of Workstations.
Proceedings of the 1st International Workshop on Cluster Computing (IWCC '99), 1999
Virtual Memory Management in Data Parallel Applications.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999
A High Performance Modular File System.
Proceedings of the High-Performance Computing and Networking, 1998
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Theor. Comput. Sci., 1997
Proving Data-Parallel Programs: a Unifying Approach.
Parallel Processing Letters, 1996
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
Proceedings of the Data Parallel Programming Model: Foundations, 1996
Deadlock-Free Absorption of Barrier Synchronisations.
Inf. Process. Lett., 1995
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
Proceedings of the Parallel Processing: CONPAR 94, 1994
A Proofe System for a Simple Data-Parallel Programming Language.
Proceedings of the Applications in Parallel and Distributed Computing, 1994