Defining volunteer computing: a formal approach

 pdf (403K)  / List of references

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 work makes an attempt to formalize their characteristics and relationship. To this end formal modeling is applied that tries to grasp the semantic of their functionalities — as opposed to comparisons based on properties, features, etc. We apply this modeling method to formalize the Berkeley Open Infrastructure for Network Computing (BOINC) [Anderson D. P., 2004] volunteer computing system.

Keywords: BOINC, ASM, Formalism, Volunteer Computing
Citation in English: Marosi A.C., Lovas R. Defining volunteer computing: a formal approach // Computer Research and Modeling, 2015, vol. 7, no. 3, pp. 565-571
Citation in English: Marosi A.C., Lovas R. Defining volunteer computing: a formal approach // Computer Research and Modeling, 2015, vol. 7, no. 3, pp. 565-571
DOI: 10.20537/2076-7633-2015-7-3-565-571

Indexed in Scopus

Full-text version of the journal is also available on the web site of the scientific electronic library eLIBRARY.RU

The journal is included in the Russian Science Citation Index

The journal is included in the RSCI

International Interdisciplinary Conference "Mathematics. Computing. Education"