Gerasim@Home

Inscription : http://gerasim.boinc.ru/

Le projet utilise des ordinateurs connectés à Internet pour faire des recherches en mathématiques discrètes et de contrôle de la logique.
L'objectif actuel: test et la comparaison des méthodes heuristiques pour obtenir des séparations de algorithmes parallèles qui travaillent dans le système de CAO pour la conception de systèmes de contrôle logique.