SAT@home - Due articoli riguardanti le ricerche di decomposizione
Due articoli sulle ricerche di decomposizione dei problemi SAT per le loro risoluzioni su SAT@home sono stati pubblicati sul Russian journal.
BOINC.Italy
La community italiana dedicata al calcolo distribuito
News
Discuti questo articolo
Accedi per commentarePOGS - Problemi con database
Kevin, amministratore del progetto, annuncia che al momento hanno dei problemi col database nel cloud e stanno aspettando che Amazon risolva
Discuti questo articolo
Accedi per commentareMilkyway@home - Nuove elaborazioni Stream Fit (Separation)
Matthew, scienzato del progetto, annuncia che ha iniziato alcune nuove elaborazioni separation:
Discuti questo articolo
Accedi per commentareMilkyway@home - Elaborazioni NBody fermate
Jake Bauer, amministratore del progetto, annuncia che fermano N-Body per il momento. Apprezzano i vostri feedback e attualmente stanno lavorando sul prossimo rilascio.
Hanno pianificato di testare alcune delle wu con crediti assurdi al fine di sistemare alcuni dei bug che si sono ripetuti.
Discuti questo articolo
Accedi per commentareNFS@home - 11,301- e 3617523089023,19- fattorizzati, 2,1037- in post-elaborazione
Greg, amministratore del progetto, annuncia che 11,301- e 3617523089023,19- sono stati entambi fattorizzati nei loro rispettivi cofattori primi e sono stati riportati, rispettivamente, nei progetti Cunningham e OddPerfect.
Discuti questo articolo
Accedi per commentareGPUGrid.net - Presto inizieranno dei beta test
Gianni de Fabriitis, amministratore del progetto, annuncia che inizieranno alcuni beta test con la nuova applicazione per cuda4.2. Se funzionerà, hanno programmato di aggiornare la acemdlong
Discuti questo articolo
Accedi per commentareWEP M+2 - Fattore di 12 cifre di P2203
Un fattore di 12 cifre di P2203 è stato trovato dal progetto 33949 volte
Discuti questo articolo
Accedi per commentare