The workshop includes the following talks:
14h30 - 14h50 Defining Volunteer Computing: a Formal Approach by Attila Csaba Marosi, MTA SZTAKI, Hungary
The International Desktop Grid Federation supports the operation, integration, and exploitation of various flavors of CPU scavenging distributed research infrastructures starting from private Desktop Grids (e.g. operated by University of Westminster), through to so-called City Grids such as AlmereGrid, and ending with large-scale public volunteer computing project including EDGeS@home.
Desktop grids and volunteer computing utilize the idle computing cycles of desktop computers to solve embarrassingly parallel type of compute-intensive problems, such as Monte Carlo simulations or Master-Worker type applications. Publicly operated ones using mostly volunteer resources are referred as volunteer computing, or recently as "crowd computing". Contrary, private desktop grids are operated within an organization (university or company) using their computing resources and applying their local policies. Volunteer computing resembles private desktop grids whereas desktop grids are not fully equivalent to volunteer computing.
There are several attempts to distinguish and categorize them using informal and formal methods. However, most formal approaches model a particular middleware and do not focus on the general notion of volunteer or desktop grid computing.
This paper makes an attempt to describe some best practices (examples) and also to formalize their characteristics and relationship. To this end formal modelling is applied that tries to grasp the semantic of their functionalities - as opposed to comparisons based on properties, features, etc. This modelling is applied to formalize the BOINC volunteer computing system. The result of this work is a formal model of BOINC that aims at serving as a foundation for formalizing other volunteer computing systems and helps categorizing existing middleware. The model is developed using the abstract state machines (ASMs) framework and builds on a model that formalized (service) Grid Computing in general.
14h50 - 15h10 Optimizing replication policy in Desktop Grid in case of batch task service by Alexander Rumyantsev, Institute of Applied Mathematical Research, Karelian Research Centre of RAS
15h10 - 15h30 Review of the main results of Institute of Applied Mathematical Research, KRC of RAS in the domain of Desktop Grids by Evgeny Ivashko, Institute of Applied Mathematical Research of RAS
15h30 - 16h00 NETMAX@HOME, the voluntary distributed computing project by Ilya Kurochkin, IITP RAS
16h00 - 16h30 Coffee Break
16h30 - 16h50 Efficient implementation of branch-and-bound method on Desktop Grids by Bo Ye Tian, Lomonosov Moscow State University
16h50 - 17h10 Application of Cloud technologies for learning Desktop Grid systems by Nikolay Khrapov, IITP RAS
17h10 - 17h30 Solving weakened cryptanalysis problems of Bivium cipher in the volunteer project SAT@home by Oleg Zakin, Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences
17h30 - 17h50 Tool for utilizing idle resources of computing clusters in volunteer computing by Oleg Zakin, Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences
17h50 - 18h10 Voluntary distributed computing for solving discrete combinatorial optimization problems using Gerasim@home project by Eduard Vatutin, Southwest State University
18h10 - 18h30 Research of preferences of participants of voluntary distributed computing by Ilya Kurochkin, IITP RAS
18h30 - 18h50 Parallel local representation of elimination algorithm to accelerate the solving of sparse discrete optimization problems by Darya Lemtyuzhnikova, TNU
18h50 - 19h00 Wrap up