BOINC@AUSTRALIA FORUM
Welcome, Guest. Please login or register.
December 17, 2017, 08:10:44 PM

Login with username, password and session length
Search:     Advanced search
42996 Posts in 1841 Topics by 180 Members
Latest Member: CJHudson
* Home Help Login Register
+  BOINC@AUSTRALIA FORUM
|-+  Active BOINC projects
| |-+  SAT@HOME (Moderator: Dingo)
| | |-+  Project Overview
0 Members and 1 Guest are viewing this topic. « previous next »
Pages: [1] Go Down Print
Author Topic: Project Overview  (Read 29505 times)
Dingo
Founder BOINC@AUSTRALIA
ADMINISTRATOR
Super Hero
*****

Aussie Karma: +1800/-0
Offline Offline

Posts: 8197



WWW
« on: February 15, 2012, 03:21:44 PM »


Project Summary

 SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. Currently in the project problems of inversion of some cryptographic functions used in stream ciphers are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem within the project. Project was implemented using DC-API library.

Applications

Microsoft Windows (98 or later) running on an Intel x86-compatible CPU    
Linux running on an Intel x86-compatible CPU    
Linux running on an AMD x86_64 or Intel EM64T CPU

Connecting to SAT@Home

The projects Home Page and URL to connect is: http://sat.isa.ru/pdsat/

Statistics

http://boincstats.com/stats/team_graph.php?pr=sat&id=91
Logged


 
AA's > 1-Malaria 2-Tanpaku 3-Riesl Siev 4-Seti 5-ABC 6-Einstein 7-WCG 8-Seti 9-QMC 10-WCG 11-Cosmo 12-ABC 13-MilkyWay 14-3x+1 15-Rosetta 16-ABC 17-MilkyWay 18-Einstein 19-WCG 20-WCG 21-POEM 22-Rosetta 23-Docking 24-Spinhenge 25-Alternate 26-Simap 27-Poem 28-Constellation 29-WCG 30-Edges 31-YoYo 32-POGS 33-WCG 34-SETI 35-POGS 36-POEM 37-POGS 38-Asteroids 39-POGS/MILKYWAY 40-SIMAP 41-POGS/Einstein 42-Seti/Seti 43-Asteroids/Poem 44 WCG/Einstein 45-POGS/Poem 46-WCG/Einstein 47-POGS/Poem 48-Asteroids/Einstein 49- CSG / Primegrid 50-POGS / Einstein 51-Citizen Science Grid / SETI 52-
Challenges: 1-Citizen Science Grid

Have a look at the BOINC@AUSTRALIA Facebook Page and join.

Proud Founder and member of BOINC@AUSTRALIA
Have a look at my  Web Cam of Parliament House Ottawa Canada
Pages: [1] Go Up Print 
« previous next »
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.11 | SMF © 2006-2009, Simple Machines LLC Valid XHTML 1.0! Valid CSS!