• Logisch: SAT@home erstes SPEG-Speedprojekt des Jahres

    Nachdem der Januar einem ruhigen Start ins Jahr und dem Charity-Event vorbehalten war, greift die SPEG nun wieder mit einem Speedprojekt ins Geschehen ein. Dafür wurde das Projekt SAT@home ausgesucht.

    Dieses erst vor vier Monaten gestartete russische Projekt beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, das viele Anwendungen in der Informatik hat.

    SETI.Germany befindet sich bei diesem Projekt derzeit auf Platz 3. Im Rahmen dieses Speedprojektes sollen die rund 1,4 Millionen Cobblestones Rückstand auf Platz 1 aufgeholt werden.

    Projekt-URL: http://sat.isa.ru/pdsat/
    SETI.Germany beitreten: http://sat.isa.ru/pdsat/team_join_form.php?id=10
    Artikel im SG-Wiki: http://www.seti-germany.de/wiki/SAT%40home

    Anwendungen sind für Windows und Linux vorhanden. Im Falle von Problemen empfehlen wir weiterhin unser mit der 2nd Wave gemeinsames Teamwork-Projekt Rosetta@home.

    Wir laden alle SETI.Germany-Mitglieder ein, bei diesem Speedprojekt mitzuhelfen, wünschen viel Spaß und 'Happy Vollgascrunching'!
Single Sign On provided by vBSSO