Martin Quinson

According to our database1, Martin Quinson authored at least 41 papers between 2001 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

A Large-Scale Wired Network Energy Model for Flow-Level Simulations.
Proceedings of the Advanced Information Networking and Applications, 2019

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

SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation.
Proceedings of the 2018 IEEE/ACM Workshop on Education for High-Performance Computing, 2018

Network-Aware Energy-Efficient Virtual Machine Management in Distributed Cloud Infrastructures with On-Site Photovoltaic Production.
Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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