Browsing by Subject "BOINC"

Now showing 1 - 2 of 2

Access status: Open Access ,
Efficient implementation of branch-and-bound method on desktop grids
(Wydawnictwa AGH, 2014) Tian, Bo Ye; Posypkin, Mihail Anatol'evič
The Berkeley Open Infrastructure for Network Computing (BOINC) is an open-source middleware system for volunteer and desktop grid computing. In this paper, we propose BNBTEST, a BOINC version of the distributed branch-and-bound method. The crucial issues of the distributed branch-and-bound method are traversing the search tree and loading the balance. We developed a subtask packaging method and three different subtask distribution strategies to solve these.
Access status: Open Access ,
Using BOINC desktop grid to solve large scale SAT problems
(Wydawnictwa AGH, 2012) Posypkin, Mihail Anatol'evič; Semënov, Aleksandr Anatol'evič; Zaikin, Oleg
Many practically important combinatorial problems can be efficiently reduced to a problem of Boolean satisfiability (SAT). Therefore, the implementation of distributed algorithms for solving SAT problems is of great importance. In this article we describe a technology for organizing desktop grid, which is meant for solving SAT problems. This technology was implemented in the form of a volunteer computing project SAT@home based on a popular BOINC platform.