Defining volunteer computing: a formal approach

Marosi A.C., Lovas R.
 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
URL: http://crm-en.ics.org.ru/journal/article/2309/
Creative Commons License This work is licensed under a Creative Commons Attribution-NoDerivs 3.0 Unported License.

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"

Copyright © 2009–2024 Institute of Computer Science