Gil Utard

According to our database1, Gil Utard authored at least 29 papers between 1994 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




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.
IJHPCN, 2005

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