Logiciels : Différence entre versions
De MARMOTE
| Ligne 1 : | Ligne 1 : | ||
Pointeurs sur les logiciels développés par les membres du projet MARMOTE: | Pointeurs sur les logiciels développés par les membres du projet MARMOTE: | ||
| − | * [ | + | * [http://marmotecore.gforge.inria.fr/ MarmoteCore], Un environnement logiciel dédié à la modélisation avec les chaînes de Markov. |
| − | * [http://psi.gforge.inria.fr/ | + | * [http://psi.gforge.inria.fr/dokuwiki/doku.php PSI], logiciel pour la simulation parfaite |
* [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre | * [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre | ||
* [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques | * [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques | ||
| − | * un inventaire sur psi, psi3 et | + | * un inventaire sur psi, psi3 et xborne: |
<gallery> | <gallery> | ||
Fichier:PSI.png|Psi | Fichier:PSI.png|Psi | ||
Version du 27 janvier 2016 à 15:42
Pointeurs sur les logiciels développés par les membres du projet MARMOTE:
- MarmoteCore, Un environnement logiciel dédié à la modélisation avec les chaînes de Markov.
- PSI, logiciel pour la simulation parfaite
- Xborne, un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre
- PEPS, logiciel de manipulation de Réseaux d'Automates Stochastiques
- un inventaire sur psi, psi3 et xborne:
Psi
Psi3
XBorn
XBorn
Cette liste s'allongera au cours du projet.
