According to our database1, Camille Coti authored at least 30 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Distributed Snapshot for Rollback-Recovery with One-Sided Communications.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018
State Compression Based on One-Sided Communications for Distributed Model Checking.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018
Quasi-Optimal Partial Order Reduction.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017
Parametric, Probabilistic, Timed Resource Discovery System.
Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters and 3rd International Workshop on Synthesis of Complex Parameters, 2016
Fast machine reassignment.
Annals OR, 2016
Scalable, Robust, Fault-Tolerant Parallel QR Factorization.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet.
Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2015
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015
Distributed Behavioral Cartography of Timed Automata.
Proceedings of the 21st European MPI Users' Group Meeting, 2014
POSH: Paris OpenSHMEM A High-performance OpenSHMEM Implementation for Shared Memory Systems.
Proceedings of the International Conference on Computational Science, 2014
Data Coherency in Distributed Shared Memory.
Fault Tolerance Logical Network Properties of Irregular Graphs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012
QCG-OMPI: MPI applications on grids.
Future Generation Comp. Syst., 2011
A Model for Coherent Distributed Memory for Race Condition Detection.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
PAR: a PARallel and distributed job crusher.
QR factorization of tall and skinny matrices in a grid computing environment.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010
Environnements d'exécution pour applications parallèles communiquant par passage de messages pour les systèmes à grande échelle et les grilles de calcul. (Run-time environments for message-passing parallel applications for large-scale systems and computation grids).
PhD thesis, 2009
Constructing Resiliant Communication Infrastructure for Runtime Environments.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009
Kernels and learning curves for Gaussian process regression on random graphs.
Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009
MPI Applications on Grids: A Topology Aware Approach.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009
Running Parallel Applications with Topology-Aware Grid Middleware.
Proceedings of the Fifth International Conference on e-Science, 2009
Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols.
Future Generation Comp. Syst., 2008
Grid Services for MPI.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008
Grid Services for MPI.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007
MPI tools and performance studies - Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006