Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior

Post-doctorants INRIA 2016 Title : Statistical Verification of Distributed Programs Within SimGrid _______________________________________ - Location: INRIA Nancy Grand Est research center --- LORIA, Nancy, France - Rese

Source URL: veridis.loria.fr

Simulating DAG Scheduling Algorithms with SimDAG Fr´ed´eric Suter (CNRS, IN2P3 Computing Center, France) Martin Quinson (Nancy University, France) Arnaud Legrand (CNRS, Grenoble University, France) Henri Casanova (Hawa

Source URL: simgrid.gforge.inria.fr

Platform 101 Getting Started with SIMGRID Platforms Da SimGrid Team May 7, 2014

Source URL: simgrid.gforge.inria.fr

SURF 101 Getting Started with SIMGRID Models Da SimGrid Team April 22, 2014

Source URL: simgrid.gforge.inria.fr

• Central processing unit
• Computing
• Computer engineering
• Operations research
• Software
• Kernel
• Load
• Simulation
• Protection ring

Accuracy Study and Improvement of Network Simulation in the SimGrid Framework Pedro Velho Arnaud Legrand

Source URL: mescal.imag.fr

• Network performance
• Computing
• Network management
• Telecommunications engineering
• Network architecture
• Engineering
• Flow control
• TCP congestion control
• Throughput
• Transmission Control Protocol
• Network simulation
• Computer network

SimGrid Kernel 101 Introducing the SimGrid Kernel Da SimGrid Team May 27, 2014

Source URL: simgrid.gforge.inria.fr

• Software
• Computing
• Cross-platform software
• Kernel
• Linux kernel
• P
• D

Computational Science of Computer Systems Martin Quinson To cite this version: Martin Quinson. Computational Science of Computer Systems. Distributed, Parallel, and Cluster Computing [cs.DC]. Universit´e de Lorraine, 20

Source URL: tel.archives-ouvertes.fr

• Engineering
• Operations research
• Simulation
• SimGrid
• Scientific modelling
• Systems engineering
• Computer science
• Grid computing
• Computing
• Epistemology

SIMGRID AS AN MPI SIMULATOR ___Don’t have a supercomputer at hand but still want to study your MPI application? _________Want to extrapolate the behavior of your application? ______Want to get objective hints to provis

Source URL: simgrid.gforge.inria.fr

• Computing
• Parallel computing
• Computer programming
• MPICH
• Message Passing Interface
• Open MPI
• Computer cluster

SIMGREEN 101 Energize your publications with SIMGRID Power-up (or down) your application with SIMGRID Da SimGrid Team June 11, 2015

Source URL: simgrid.gforge.inria.fr

• Energy conservation
• Central processing unit
• Computing
• Electromagnetism
• Dynamic voltage scaling
• Voltage
• Computer engineering
• Electric power
• Frequency scaling
• Power management
• CPU power dissipation