Valutazione attuale: 0 / 5

Stella inattivaStella inattivaStella inattivaStella inattivaStella inattiva
 

Report di Zaikin O., Semenov A., Posypkin M.A. Procedure di costruzione di decomposizione di serie per la risoluzione distribuita di problemi SAT nel progetto di calcolo volontario SAT@home sono state presentate alla conferenza PACO'2012 a Mosca il 24 ottobre.



Per commentare questo post nel forum devi effettuare il login

Pensieri distribuiti

Articoli

Written on 11/02/2019, 11:13 by boboviz
boinc-workshop-2019Anche quest'anno si terrà il Boinc Workshop, dal 9 al 12 Luglio a Chicago. La partecipazione è libera e gratuita.

Ultime dal Blog

Written on 19/06/2017, 14:38 by boboviz
addio-lugano-bellaCari sodali scaccolatori,come alcuni di voi sanno, il sottoscritto, oltre ad essere appassionato di Boinc, è anche "appassionato" di HPC e, visto che il...