Fast and accurate network simulation

First Page		Document Content
Date: 2013-10-21 00:54:56 Theoretical computer science Algorithm Heuristic Mathematical optimization Approximation algorithm Simulation ACT-R SimGrid Operations research Applied mathematics Mathematics		Fast and accurate network simulation Add to Reading List Source URL: www.nii.ac.jp Download Document from Source Website File Size: 729,73 KB Share Document on Facebook

	Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes Inria CNRS IRISA (France) Correctness 2017 Denver, Colorado DocID: 1xUTj - View Document
	Post-doctorants INRIA 2016 Title : Statistical Verification of Distributed Programs Within SimGrid _______________________________________ - Location: INRIA Nancy Grand Est research center --- LORIA, Nancy, France - Rese DocID: 1t5cT - View Document
	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 DocID: 1siqn - View Document
	Platform 101 Getting Started with SIMGRID Platforms Da SimGrid Team May 7, 2014 DocID: 1rM2d - View Document
	SURF 101 Getting Started with SIMGRID Models Da SimGrid Team April 22, 2014 DocID: 1rnRw - View Document