Martin Quinson

According to our database1, Martin Quinson authored at least 39 papers between 2001 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
System-level state equality detection for the formal dynamic verification of legacy distributed applications.
J. Log. Algebr. Meth. Program., 2018

Quantifying the impact of shutdown techniques for energy-efficient data centers.
Concurrency and Computation: Practice and Experience, 2018

Co-simulation of FMUs and Distributed Applications with SimGrid.
Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018

2017
Simulating MPI Applications: The SMPI Approach.
IEEE Trans. Parallel Distrib. Syst., 2017

Verifying MPI Applications with SimGridMC.
Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

Simulation toolbox for studying energy consumption in wired networks.
Proceedings of the 13th International Conference on Network and Service Management, 2017

Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node.
Proceedings of the 2017 IEEE International Conference on Cluster Computing, 2017

2016
Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

A Teaching System to Learn Programming: the Programmer's Learning Machine.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

2014
Versatile, scalable, and accurate simulation of distributed applications and platforms.
J. Parallel Distrib. Comput., 2014

2013
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems.
CoRR, 2013

Toward Better Simulation of MPI Applications on Ethernet/TCP Networks.
Proceedings of the High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, 2013

Computational Science of Computer Systems. (Méthodologies d'expérimentation pour l'informatique distribuée à large échelle).
, 2013

2012
Parallel Simulation of Peer-to-Peer Systems.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
Single Node On-Line Simulation of MPI Applications with SMPI.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Assessing the Performance of MPI Applications through Time-Independent Trace Replay.
Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011

SimGrid MC: Verification Support for a Multi-API Simulation Platform.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.
ECEASST, 2010

A High-Level Language for Modeling Algorithms and Their Properties.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Tutorial I: Simulation for large-scale distributed computing research.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Synthesizing Generic Experimental Environments for Simulation.
Proceedings of the 3PGCIC 2010, 2010

2009
Experimental Methodologies for Large-Scale Systems: a Survey.
Parallel Processing Letters, 2009

Byte-Range Asynchronous Locking in Distributed Settings.
Proceedings of the 17th Euromicro International Conference on Parallel, 2009

SimGrid: a Generic Framework for Large-Scale Distributed Experiments.
Proceedings of the Proceedings P2P 2009, 2009

2008
SimGrid: A Generic Framework for Large-Scale Distributed Experiments.
Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008

2007
A First Step Towards Automatically Building Network Representations
CoRR, 2007

A First Step Towards Automatically Building Network Representations.
Proceedings of the Euro-Par 2007, 2007

Assessing the Quality of Automatically Built Network Representations.
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006
The SIMGRID Project Simulation and Deployment of Distributed Applications.
Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, 2006

2004
Performance Evaluation of Linear Algebra Routines.
IJHPCA, 2004

Automatic Deployment of the Network Weather Service Using the Effective Network View.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué. (Automatic discovery of the characteristics and capacities of a distributed computational platform).
PhD thesis, 2003

2002
Un outil de prédiction dynamique de performances dans un environnement de metacomputing.
Technique et Science Informatiques, 2002

Dynamic Performance Forcasting for Network-Enabled Servers in a Metacomputing Environment.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

A Scalable Approach to Network Enabled Servers (Research Note).
Proceedings of the Euro-Par 2002, 2002

A Scalable Approach to Network Enabled Servers.
Proceedings of the Advances in Computing Science, 2002

2001
SCILAB to SCILAB//: The OURAGAN project.
Parallel Computing, 2001


  Loading...