16 citations · 19 across the 4 of their papers we have counts for
3 papers · 1 filter
Towards Efficient Verification of Parallel Applications with Mc SimGrid
Matthieu Laurent, Thierry Jéron, Martin Quinson
Assessing the correctness of distributed and parallel applications is notoriously difficult due to the complexity of the concurrent behaviors and the difficulty to reproduce bugs.…
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems
Henri Casanova, Arnaud Giersch, Arnaud Legrand +2
In this paper we present Simgrid, a toolkit for the versatile simulation of large scale distributed systems, whose development effort has been sustained for the last fifteen years.…
A First Step Towards Automatically Building Network Representations
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson +1
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must…