Martin Quinson

82
Documents

Présentation

Publications

42
12
8
7
3
2
1
1
1
1
1
1
1
1
11
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
25
17
12
10
8
7
6
6
6
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
3
4
1
4
1
2
6
4
1
3
3
6
2
6
4
5
2
3
4
2
3
4
4

Publications

Deposit thumbnail

Lowering entry barriers to developing custom simulators of distributed applications and platforms with SimGrid

Henri Casanova , Arnaud Giersch , Arnaud Legrand , Martin Quinson , Frédéric Suter

Parallel Computing, 2025, 123, pp.103125. ⟨10.1016/j.parco.2025.103125⟩

Article dans une revue hal-04909441v1
Deposit thumbnail

Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman , Martin Quinson

The Art, Science, and Engineering of Programming, In press, ⟨10.22152/programming-journal.org/2020/4/13⟩

Article dans une revue hal-02449080v1
Deposit thumbnail

System-level state equality detection for the formal dynamic verification of legacy distributed applications

Marion Guthmuller , Gabriel Corona , Martin Quinson

Journal of Logical and Algebraic Methods in Programming, 2018, 96, pp.1 - 11. ⟨10.1016/j.jlamp.2017.12.004⟩

Article dans une revue hal-01900120v1
Deposit thumbnail

Quantifying the Impact of Shutdown Techniques for Energy-Efficient Data Centers

Issam Raïs , Anne-Cécile Orgerie , Martin Quinson , Laurent Lefèvre

Concurrency and Computation: Practice and Experience, 2018, 30 (17), pp.1-13. ⟨10.1002/cpe.4471⟩

Article dans une revue hal-01711812v1
Deposit thumbnail

Simulating MPI applications: the SMPI approach

Augustin Degomme , Arnaud Legrand , Georges Markomanolis , Martin Quinson , Mark Lee Stillwell et al.

IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩

Article dans une revue hal-01415484v2
Deposit thumbnail

Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms

Henri Casanova , Arnaud Giersch , Arnaud Legrand , Martin Quinson , Frédéric Suter

Journal of Parallel and Distributed Computing, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩

Article dans une revue hal-01017319v2

Idée reçue : l'informatique nomade, c'est la liberté !

Martin Quinson , Jean-Christophe Bach

Interstices, 2013

Article dans une revue hal-00794187v1
Deposit thumbnail

Experimental Methodologies for Large-Scale Systems: a Survey

Jens Gustedt , Emmanuel Jeannot , Martin Quinson

Parallel Processing Letters, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩

Article dans une revue inria-00364180v2

Performance Evaluation of Linear Algebra Routines

Eddy Caron , Frédéric Desprez , Martin Quinson , Frédéric Suter

International Journal of High Performance Computing Applications, 2004, International Journal of High Performance Computing Applications, 18 (3), pp.373-390. ⟨10.1177/1094342004046046⟩

Article dans une revue istex inria-00000234v1

Scilab to Scilab//, the OURAGAN Project

Eddy Caron , Serge Chaumette , Sylvain Contassot-Vivier , Frédéric Desprez , Eric Fleury et al.

Parallel Computing, 2001, 27 (11), pp.1497-1519. ⟨10.1016/S0167-8191(01)00101-6⟩

Article dans une revue istex inria-00000277v1
Deposit thumbnail

Mitigation of the impact of Virtual Machine Introspection Pauses on Multi-core Virtual Machines

Léo Cosseron , Louis Rilling , Martin Quinson

HS3 2025 - 1st Workshop on Hardware-Supported Software Security, Sep 2025, Toulouse, France. pp.1-20

Communication dans un congrès hal-05253492v1
Deposit thumbnail

Towards Efficient Verification of Parallel Applications with Mc SimGrid

Mathieu Laurent , Thierry Jéron , Martin Quinson

FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Carla Ferreira, Claudio A. Mezzina, Jun 2025, Lille, France. pp.1-21

Communication dans un congrès hal-05042973v2
Deposit thumbnail

Simulating a communication middleware for one-sided and collective operations

Camille Coti , Martin Quinson

ISPCS 2025 - International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, & Communication, Oct 2025, Ottawa, Canada. pp.1-6

Communication dans un congrès hal-05267994v1
Deposit thumbnail

Studying the end-to-end performance, energy consumption and carbon footprint of fog applications

Clément Courageux-Sudan , Anne-Cécile Orgerie , Martin Quinson

ISCC 2024 - 29th IEEE Symposium on Computers and Communications, Jun 2024, Paris, France. pp.1-7

Communication dans un congrès hal-04581677v1
Deposit thumbnail

Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses

Léo Cosseron , Louis Rilling , Matthieu Simonin , Martin Quinson

EuroSec 2024 - 17th European Workshop on Systems Security, Apr 2024, Athène, Greece. pp.1-7, ⟨10.1145/3642974.3652280⟩

Communication dans un congrès hal-04537165v1
Deposit thumbnail

SmolPhone: a smartphone with energy limits

Joseph Paturel , Clément Quinson , Martin Quinson , Simon Rokicki

IGSC 2023 - 14th International Green and Sustainable Computing, C. Mani Krishna; Michele Magno, Oct 2023, Toronto, Canada. pp.4

Communication dans un congrès hal-04156447v3
Deposit thumbnail

A Wi-Fi Energy Model for Scalable Simulation

Clément Courageux-Sudan , Anne-Cécile Orgerie , Martin Quinson

WoWMoM 2023 - 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2023, Boston (MA), United States. pp.1-10

Communication dans un congrès hal-04055720v1
Deposit thumbnail

A Flow-Level Wi-Fi Model for Large Scale Network Simulation

Clément Courageux-Sudan , Loic Guegan , Anne-Cécile Orgerie , Martin Quinson

MSWiM 2022 - International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2022, Montreal, Canada. ⟨10.1145/3551659.3559022⟩

Communication dans un congrès hal-03777726v1
Deposit thumbnail

Automated performance prediction of microservice applications using simulation

Clément Courageux-Sudan , Anne-Cécile Orgerie , Martin Quinson

MASCOTS 2021 - International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, virtually, France. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614260⟩

Communication dans un congrès hal-03389508v1
Deposit thumbnail

The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation

Mathieu Laurent , Emmanuelle Saillard , Martin Quinson

Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9

Communication dans un congrès hal-03474762v1
Deposit thumbnail

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

The Anh Pham , Thierry Jéron , Martin Quinson

FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩

Communication dans un congrès hal-02109769v1
Deposit thumbnail

A Large-Scale Wired Network Energy Model for Flow-Level Simulations

Loic Guegan , Betsegaw Lemma Amersho , Anne-Cécile Orgerie , Martin Quinson

AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. pp.1047-1058, ⟨10.1007/978-3-030-15032-7_88⟩

Communication dans un congrès hal-02020045v2
Deposit thumbnail

SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation

Henri Casanova , Arnaud Legrand , Martin Quinson , Frédéric Suter

EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10

Communication dans un congrès hal-01891513v1

SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation

Henri Casanova , Arnaud Legrand , Martin Quinson , Frederic Suter

EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. ⟨10.1109/eduhpc.2018.00006⟩

Communication dans un congrès hal-04480028v1
Deposit thumbnail

Co-simulation of FMUs and Distributed Applications with SimGrid

Benjamin Camus , Anne-Cécile Orgerie , Martin Quinson

SIGSIM-PADS ’18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. pp.145-156, ⟨10.1145/3200921.3200932⟩

Communication dans un congrès hal-01762540v1
Deposit thumbnail

Network-aware energy-efficient virtual machine management in distributed Cloud infrastructures with on-site photovoltaic production

Benjamin Camus , Fanny Dufossé , Anne Blavette , Martin Quinson , Anne-Cécile Orgerie

SBAC-PAD 2018 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/cahpc.2018.8645901⟩

Communication dans un congrès hal-01856657v1
Deposit thumbnail

Predicting the Energy Consumption of MPI Applications at Scale Using a Single Node

Franz C. Heinrich , Tom Cornebize , Augustin Degomme , Arnaud Legrand , Alexandra Carpen-Amarie et al.

Cluster 2017, IEEE, Sep 2017, Hawaii, United States

Communication dans un congrès hal-01523608v2
Deposit thumbnail

Verifying MPI Applications with SimGridMC

The Anh Pham , Thierry Jéron , Martin Quinson

Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩

Communication dans un congrès hal-01632421v1
Deposit thumbnail

Simulation Toolbox for Studying Energy Consumption in Wired Networks

Anne-Cécile Orgerie , Betsegaw Lemma Amersho , Timothée Haudebourg , Martin Quinson , Myriana Rifai et al.

CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5

Communication dans un congrès hal-01630226v1
Deposit thumbnail

Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers

Issam Raïs , Anne-Cécile Orgerie , Martin Quinson

ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210

Communication dans un congrès hal-01362530v1
Deposit thumbnail

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Marion Guthmuller , Martin Quinson , Gabriel Corona

Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland

Communication dans un congrès hal-01097204v1
Deposit thumbnail

A Teaching System To Learn Programming: the Programmer's Learning Machine

Martin Quinson , Gérald Oster

ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩

Communication dans un congrès hal-01238377v1
Deposit thumbnail

When sharing computer science with everyone also helps avoiding digital prejudices

Marie Duflot , Martin Quinson , Florent Masseglia , Didier Roy , Julien Vaubourg et al.

SCRATCH, Aug 2015, Amsterdam, Netherlands

Communication dans un congrès hal-01154767v1
Deposit thumbnail

System-level State Equality Detection for the Dynamic Verification of Distributed Applications

Marion Guthmuller , Martin Quinson

EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands

Communication dans un congrès hal-00997941v1
Deposit thumbnail

On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?

Maximiliano Geier , Lucas Nussbaum , Martin Quinson

WATERS - 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2013, Paris, France

Communication dans un congrès hal-00907887v1
Deposit thumbnail

Toward Better Simulation of MPI Applications on Ethernet/TCP Networks

Paul Bedaride , Augustin Degomme , Stéphane Genaud , Arnaud Legrand , George Markomanolis et al.

PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States

Communication dans un congrès hal-00919507v1
Deposit thumbnail

Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation

Laurent Bobelin , Arnaud Legrand , Márquez Alejandro González David , Pierre Navarro , Martin Quinson et al.

CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2012, Ottawa, Canada. pp.19

Communication dans un congrès hal-00650233v2
Deposit thumbnail

Parallel Simulation of Peer-to-Peer Systems

Martin Quinson , Cristian Rosa , Christophe Thiery

CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2011, Ottawa, Canada. pp.668-675, ⟨10.1109/CCGrid.2012.115⟩

Communication dans un congrès inria-00602216v4
Deposit thumbnail

Émulation d'applications distribuées sur des plates-formes virtuelles simulées

Marion Guthmuller , Lucas Nussbaum , Martin Quinson

Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint Malo, France

Communication dans un congrès inria-00565341v1
Deposit thumbnail

Single Node On-Line Simulation of MPI Applications with SMPI

Pierre-Nicolas Clauss , Mark Stillwell , Stéphane Genaud , Frédéric Suter , Henri Casanova et al.

International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States

Communication dans un congrès inria-00527150v1
Deposit thumbnail

SimGrid MC: Verification Support for a Multi-API Simulation Platform

Stephan Merz , Martin Quinson , Cristian Rosa

13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩

Communication dans un congrès inria-00593505v1
Deposit thumbnail

Assessing the Performance of MPI Applications Through Time-Independent Trace Replay

Frédéric Desprez , George Markomanolis , Martin Quinson , Frédéric Suter

Second International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2011) Held in conjunction with ICPP 2011, the 40th International Conference on Parallel Processing, Sep 2011, Taipei, Taiwan

Communication dans un congrès inria-00546992v1
Deposit thumbnail

Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms

Sabina Akhtar , Stephan Merz , Martin Quinson

Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France

Communication dans un congrès inria-00544137v1
Deposit thumbnail

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

Cristian Rosa , Stephan Merz , Martin Quinson

10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany

Communication dans un congrès inria-00532889v1
Deposit thumbnail

Synthesizing Generic Experimental Environments for Simulation

Martin Quinson , Laurent Bobelin , Frédéric Suter

Fifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan

Communication dans un congrès inria-00502839v1
Deposit thumbnail

A High-Level Language for Modeling Algorithms and their Properties

Sabina Akhtar , Stephan Merz , Martin Quinson

13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil

Communication dans un congrès inria-00537779v1
Deposit thumbnail

Byte-Range Asynchronous Locking in Distributed Settings

Martin Quinson , Flavien Vernier

17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany

Communication dans un congrès inria-00338189v1
Deposit thumbnail

SimGrid: a Generic Framework for Large-Scale Distributed Experiments

Martin Quinson

9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States

Communication dans un congrès inria-00435802v1
Deposit thumbnail

Model-checking Distributed Applications with GRAS

Cristian Rosa , Martin Quinson , Stephan Merz

Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France

Communication dans un congrès inria-00378374v2
Deposit thumbnail

SimGrid: a Generic Framework for Large-Scale Distributed Experiments

Henri Casanova , Arnaud Legrand , Martin Quinson

10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom

Communication dans un congrès inria-00260697v1
Deposit thumbnail

Assessing the Quality of Automatically Built Network Representations

Lionel Eyraud-Dubois , Martin Quinson

Workshop on Programming Models for Grid Computing - organized at IEEE/ACM International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, Rio de Janeiro, Brazil. pp.795 - 800, ⟨10.1109/CCGRID.2007.25⟩

Communication dans un congrès inria-00188408v1

A First Step Towards Automatically Building Network Representations

Lionel Eyraud-Dubois , Arnaud Legrand , Martin Quinson , Frédéric Vivien

13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩

Communication dans un congrès inria-00407692v1
Deposit thumbnail

The SIMGRID Project: Simulation and Deployment of Distributed Applications

Martin Quinson , Henri Casanova , Arnaud Legrand , Kayo Fujiwara

The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France

Communication dans un congrès inria-00108428v1
Deposit thumbnail

GRAS: a Research and Development Framework for Grid and P2P Infrastructures

Martin Quinson

18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States

Communication dans un congrès inria-00108389v1
Deposit thumbnail

Automatic deployment of the Network Weather Service using the Effective Network View

Arnaud Legrand , Martin Quinson

High-Performance Grid Computing Workshop, associated to IPDPS'04, Apr 2004, Santa Fe, New Mexico, USA

Communication dans un congrès inria-00119253v1

A Scalable Approach to Network Enabled Servers

Eddy Caron , Frédéric Desprez , Frédéric Lombard , Jean-Marc Nicod , Martin Quinson et al.

8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4

Communication dans un congrès hal-01431508v1
Deposit thumbnail

Computational Science of Computer Systems

Martin Quinson

Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013

HDR tel-00927316v1
Deposit thumbnail

Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué

Martin Quinson

Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨NNT : ⟩

Thèse tel-00006169v1
Deposit thumbnail

Quantifying the tiny-Small design of the SmolPhone

Aloïs Rautureau , Joseph Paturel , Martin Quinson , Simon Rokicki

ICT4S 2024 - 10th International Conference on ICT for Sustainability, Jun 2024, Stockhlom, Sweden. pp.1-4, 2024

Poster de conférence hal-04589322v1
Deposit thumbnail

Co-Simulation of Power Systems and Computing Systems using the FMI Standard

Adrien Gougeon , Benjamin Camus , François Lemercier , Martin Quinson , Anne Blavette et al.

IM 2021 - IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Bordeaux / Virtual, France. , pp.130-131

Poster de conférence hal-03217565v1
Deposit thumbnail

Dataflow Algorithm aRchitecture co-design of SKA pipeline for Exascale Radio Astronomy

Daniel Charlet , Karol Desnos , Mickaël Dardaillon , André Ferrari , Chiara Ferrari et al.

ISC High Performance 2021, Jun 2021, Virtual conference, France. pp.1

Poster de conférence hal-03233205v2
Deposit thumbnail

Prototypage rapide d'un supercalculateur dédié à la radioastronomie

Nicolas Gac , Jean-François Nezan , André Ferrari , Chiara Ferrari , Martin Quinson et al.

L'Interdisciplinarité. Voyages au-delà des disciplines, CNRS Edition, 2023, 978-2-271-13983-2

Chapitre d'ouvrage hal-03704333v1

Toward Better Simulation of MPI Applications on Ethernet/TCP Networks, chapter Performance Modeling and Simulation

Paul Bédaride , Augustin Degomme , Stéphane Genaud , Arnaud Legrand , George Markomanolis et al.

Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond. High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, 8551, Springer; Springer International Publishing, pp.158-181, 2014, LNCS 8551, ⟨10.1007/978-3-319-10214-6_8⟩

Chapitre d'ouvrage hal-05404436v1

Une approche hiérarchique des serveurs de calculs

Eddy Caron , Frédéric Desprez , Eric Fleury , Frédéric Lombard , Jean-Marc Nicod et al.

Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X

Chapitre d'ouvrage hal-01431513v1
Deposit thumbnail

Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation

Léo Cosseron , Martin Quinson , Louis Rilling , Matthieu Simonin

RR-9528, Inria Rennes - Bretagne Atlantique & IRISA. 2023, pp.1-14

Rapport hal-04282253v1
Deposit thumbnail

Médiation Scientifique : une facette de nos métiers de la recherche

Antoine Rousseau , Aurélie Darnaud , Brice Goglin , Céline Acharian , Christine Leininger et al.

[Interne] Inria. 2013, pp.34

Rapport hal-00804915v1
Deposit thumbnail

Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support

Paul Bedaride , Stéphane Genaud , Augustin Degomme , Arnaud Legrand , George Markomanolis et al.

[Research Report] RR-8300, INRIA. 2013, pp.22

Rapport (rapport de recherche) hal-00821446v1
Deposit thumbnail

Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems

Olivier Beaumont , Laurent Bobelin , Henri Casanova , Pierre-Nicolas Clauss , Bruno Donassolo et al.

[Research Report] RR-7761, INRIA. 2011, pp.36

Rapport (rapport de recherche) inria-00631141v1
Deposit thumbnail

The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education

Martin Quinson , Gérald Oster

[Research Report] RR-7537, INRIA. 2011

Rapport (rapport de recherche) inria-00565344v1
Deposit thumbnail

Model-checking Distributed Applications with GRAS

Cristian Rosa , Martin Quinson , Stephan Merz

[Research Report] RR-7052, INRIA. 2009, pp.11

Rapport (rapport de recherche) inria-00422159v1
Deposit thumbnail

Handling Very Large Platforms with the New SimGrid Platform Description Formalism

Marc-Eduard Frincu , Martin Quinson , Frédéric Suter

[Technical Report] RT-0348, INRIA. 2008, pp.27

Rapport (rapport technique) inria-00256883v3
Deposit thumbnail

A First Step Towards Automatically Building Network Representations

Lionel Eyraud-Dubois , Arnaud Legrand , Martin Quinson , Frédéric Vivien

[Research Report] LIP RR-2007-08, INRIA, LIP. 2007

Rapport (rapport de recherche) inria-00130734v3
Deposit thumbnail

An Application-Level Network Mapper

Arnaud Legrand , Frédéric Mazoit , Martin Quinson

[Research Report] RR-5792, INRIA. 2006

Rapport (rapport de recherche) inria-00071214v1
Deposit thumbnail

GRAS: a Research and Development framework for Grid services

Martin Quinson

[Research Report] RR-5789, INRIA. 2006, pp.24

Rapport (rapport de recherche) inria-00070232v1
Deposit thumbnail

Automatic deployment of the Network Weather Service using the Effective Network View

Arnaud Legrand , Martin Quinson

[Research Report] LIP RR-2003-42, Laboratoire de l'informatique du parallélisme. 2003, 2+18p

Rapport (rapport de recherche) hal-02102076v1
Deposit thumbnail

An Application-Level Network Mapper

Arnaud Legrand , Frédéric Mazoit , Martin Quinson

[Research Report] LIP RR-2003-09, Laboratoire de l'informatique du parallélisme. 2003, 2+15p

Rapport (rapport de recherche) hal-02101826v1
Deposit thumbnail

A Scalable Approach to Network Enabled Servers

Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Frédéric Lombard et al.

[Research Report] RR-4501, INRIA. 2002

Rapport (rapport de recherche) inria-00072087v1

A Scalable Approach to Network Enabled Servers

Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Jean-Marc Nicod et al.

[Research Report] RR-2002-21, LIP - ENS Lyon. 2002

Rapport (rapport de recherche) hal-01431507v1
Deposit thumbnail

Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment

Frédéric Desprez , Martin Quinson , Frédéric Suter

[Research Report] RR-4320, INRIA. 2001

Rapport (rapport de recherche) inria-00072267v1

SCILAB to SCILAB// - The Ouragan Project

Eddy Caron , Serge Chaumette , Sylvain Contassot-Vivier , Frédéric Desprez , Eric Fleury et al.

[Research Report] RR-2001-24, LIP - ENS Lyon. 2001

Rapport (rapport de recherche) hal-01436419v1
Deposit thumbnail

SCILAB to SCILAB// - The Ouragan Project

Frédéric Desprez , Martin Quinson , Frédéric Suter , Eric Fleury , Emmanuel Jeannot et al.

[Research Report] RR-4203, INRIA. 2001

Rapport (rapport de recherche) inria-00072419v1