Programme Programme


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