Software

  • SimGrid



    • SimGrid is a simulation toolkit that provides core functionalities for the simulation of distributed applications in large scale heterogeneous distributed environments.


    • https://simgrid.org/
  • GameSeer



    • GameSeer is a tool for students and researchers in game theory that uses Mathematica to generate phase portraits for normal form games under a variety of (user-customizable) evolutionary dynamics. The whole point behind GameSeer is to provide a dynamic graphical interface that allows the user to employ Mathematica's vast numerical capabilities from a simple and intuitive front-end. So, even if you've never used Mathematica before, you should be able to generate fully editable and customizable portraits quickly and painlessly.


    • http://polaris.imag.fr/panayotis.mertikopoulos/publications/s01-gameseer/
  • rmf_tool



    • The tool accepts three model types:

      – homogeneous population processes (HomPP)

      – density dependent population processes (DDPPs)

      – heterogeneous population models (HetPP)

      In particular, it provides a numerical algorithm to compute the constant of the refined mean field approximation provided in the paper "A Refined Mean Field Approximation" by N. Gast and B. Van Houdt, SIGMETRICS 2018, and a framework to compute heterogeneous mean field approximations as proposed in "Mean Field and Refined Mean Field Approximations for Heterogeneous Systems: It Works!" by N. Gast and S. Allmeier, SIGMETRICS 2022.



    • https://github.com/ngast/rmf_tool
  • PSI



    • Perfect simulator is a simulation software of markovian models. It is able to simulate discrete and continuous time models to provide a perfect sampling of the stationary distribution or directly a sampling a functional of this distribution by using coupling from the past. The simulation kernel is based on the CFTP algorithm, and the internal simulation of transitions on the Aliasing method.


    • https://gitlab.inria.fr/PSI/psi3/
  • marmoteCore



    • marmoteCore is a C++ environment for modeling with Markov chains.
      It consists in a reduced set of high-level abstractions for constructing
      state spaces, transition structures and Markov chains (discrete-time and
      continuous-time). It provides the ability of constructing hierarchies of Markov
      models, from the most general to the particular, and equip each level with
      specifically optimized solution methods.

      This software was started within the ANR MARMOTE project: ANR-12-MONU-00019.



    • https://gitlab.inria.fr/PSI/marmotecore/
  • MarTO



    • MarTO is a simulation software of markovian models. It is able to simulate discrete and continuous time models to provide a perfect sampling of the stationary distribution or directly a sampling of functional of this distribution by using coupling from the past. The simulation kernel is based on the CFTP algorithm, and the internal simulation of transitions on the Aliasing method.
      This software is a rewrite, more efficient and flexible, of PSI


    • https://gitlab.inria.fr/MarTo/marto
  • Framesoc



    • Framesoc is the core software infrastructure of the SoC-Trace project. It provides a graphical user environment for execution-trace analysis, featuring interactive analysis views as Gantt charts or statistics views. It provides also a software library to store generic trace data, play with them, and build other analysis tools (e.g., Ocelotl).


    • http://soctrace-inria.github.io/framesoc/
  • Moca

  • Ocelotl



    • Ocelotl is an innovative visualization tool, which provides overviews for execution trace analysis by using a data aggregation technique. This technique enables to find anomalies in huge traces containing up to several billions of events, while keeping a fast computation time and providing a simple representation that does not overload the user.


    • http://soctrace-inria.github.io/ocelotl/

Comments are closed.