Balima Damien

Balima Damien

10 article(s)
Articles de l'auteur

Spin model checker

Magazine
Marque
Open Silicium
Numéro
9
Mois de parution
décembre 2013
Domaines
Résumé

Modélisez et vérifiez votre programme multi-threads avec Spin, le model-checker open-source.

Snort & Base

Magazine
Marque
GNU/Linux Magazine
Numéro
149
Mois de parution
mai 2012
Résumé
Détectez les intrusions réseau avec Snort, l'IDS open source, et analysez-les par l'interface BASE, the Basic Analysis and Security Engine.

Datamining avec Rattle

Magazine
Marque
GNU/Linux Magazine
Numéro
144
Mois de parution
décembre 2011
Domaines
Résumé

Réalisez un réseau de neurones et prévoyez le temps qu'il fera demain avec Rattle, the R Analytical Tool To Learn Easily.

Découverte du solveur GLPK

Magazine
Marque
GNU/Linux Magazine
Numéro
135
Mois de parution
février 2011
Résumé
GLPK, the GNU Linear Programming Kit, le solveur open source qui simplifie la résolution de problèmes complexes et réconcilie les utilisateurs avec la programmation linéaire.