Camille Coti

According to our database1, Camille Coti authored at least 37 papers between 2006 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Quasi-Optimal Partial Order Reduction.
CoRR, 2018

Quasi-Optimal Partial Order Reduction.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
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

2016
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
CoRR, 2016

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

Fault Tolerant QR Factorization for General Matrices.
CoRR, 2016

Parallel Galton Watson Process.
CoRR, 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

2015
OS-level Failure Injection with SystemTap.
CoRR, 2015

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.
CoRR, 2015

Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance.
CoRR, 2015

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

2014
POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems.
CoRR, 2014

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

2012
Data Coherency in Distributed Shared Memory.
IJNC, 2012

Fault Tolerance Logical Network Properties of Irregular Graphs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011
QCG-OMPI: MPI applications on grids.
Future Generation Comp. Syst., 2011

A Model for Coherent Distributed Memory For Race Condition Detection
CoRR, 2011

A Model for Coherent Distributed Memory for Race Condition Detection.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
PAR: a PARallel and distributed job crusher.
Bioinformatics, 2010

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

2009
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

QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment
CoRR, 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

2008
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

2007
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

2006
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


  Loading...