Les articles de Balima Damien

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.