2023
Calcul sur les données volumineuses et stockage distribué à grande échelle.
, 2023
2017
U-RPC: a Protocol for Microservices in DHT.
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
2011
Evaluating a peer-to-peer storage system in presence of malicious peers.
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
2008
A Study of Reconstruction Process Load in P2P Storage Systems.
Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2008
2007
Dynamic Distribution for Data Storage in a P2P Network.
Proceedings of the Advances in Grid and Pervasive Computing, 2007
2006
Data Distribution in a Peer to Peer Storage System.
J. Grid Comput., 2006
2005
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.
J. Autom. Reason., 2005
Parallel out-of-core sorting and fast accesses to disks.
Int. J. High Perform. Comput. Netw., 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
2004
On the performance of parallel factorization of out-of-core matrices.
Parallel Comput., 2004
Adaptive paging for a multifrontal solver.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004
2003
Impact of reordering on the memory of a multifrontal solver.
Parallel Comput., 2003
On the Memory Usage of a Parallel Multifrontal Solver.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
READ<sup>2</sup>: Put disks at network level.
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
2002
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
2001
SCILAB to SCILAB<sub>//</sub>: The OURAGAN project.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Parallel Comput., 2001
Parallelizing Satz Using Dynamic Workload Balancing.
Electron. Notes Discret. Math., 2001
Improving MPI-I/O Performance on PVFS.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
2000
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
1999
MPI-IO on a Parallel File System for Cluster of Workstations.
Proceedings of the 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
1998
A High Performance Modular File System.
Proceedings of the High-Performance Computing and Networking, 1998
1997
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Theor. Comput. Sci., 1997
1996
Proving Data-Parallel Programs: a Unifying Approach.
Parallel Process. Lett., 1996
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
Proceedings of the Data Parallel Programming Model: Foundations, 1996
1995
Deadlock-Free Absorption of Barrier Synchronisations.
Inf. Process. Lett., 1995
1994
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