Defining volunteer computing: a formal approach

Marosi A.C., Lovas R.
 pdf (403K)  / Annotation

List of references:

  1. D. P. Anderson. BOINC: A System for Public-Resource Computing and Storage / Fifth IEEE/ACM International Workshop on Grid Computing. — 2004. — P. 4–10. — R. Buyya.
  2. E. Borger, R.F. Stark. Abstract State Machines: A Method for High-Level System Design and Analysis. — Secaucus, NJ, USA: Springer-Verlag New York, Inc, 2003.
  3. F. Cappello, S. Djilali, G. Fedak, T. Herault, F. Magniette, V. Neri, O. Lodygensky. Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid // Future Generation Computer Systems. — 2005. — V. 21, no. 3. — P. 417–437. — DOI: 10.1016/j.future.2004.04.011.
  4. S. Choi, R. Buyya, H. Kim, E. & Baik M. Byun. A Taxonomy of Desktop Grids and its Mapping to State-of-the-Art Systems // ACM Computing Surveys. — 2008. — V. 1. — P. 61.
  5. S. Choi, H. Kim, E. Byun, M. Baik, S. Kim, C. Park, C. Hwang. Characterizing and Classifying Desktop Grid / Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid ’07). — 2007. — P. 743–748. — DOI: 10.1109/CCGRID.2007.31.
  6. Y. Gurevich. Evolving algebras: An attempt to discover semantics / Current Trends in Theoretical Computer Science. — 1993. — P. 1–27.
  7. A. Kertész, Z. Németh. Formal Aspects of Grid Brokering // Electronic Proceedings in Theoretical Computer Scienceю. — 2009. — V. 14. — P. 18–31. — DOI: 10.4204/EPTCS.14.2.
  8. A. Cs. Marosi, Z. Nemeth. Two Sides of a Coin: Formalizing Volunteer and Desktop Grid Computing / Proceedings of the Cracow Grid Workshop. — Kraków: ACK CYFRONET AGH, 2013. — P. 69–70. — M. Bubak, M. Turała, K. Wiatr.
  9. Z. Németh, V. Sunderam. Characterizing grids: Attributes, definitions, and formalisms // Journal of Grid Computing. — 2003. — P. 9–23.
  10. Y. He. H. Wang, Z. Wang. Towards a formal model of volunteer computing systems / In 2009 IEEE International Symposium on Parallel & Distributed Processing. — IEEE, 2009. — P. 1–5. — DOI: 10.1109/IPDPS.2009.5161137. — MathSciNet: MR2550741.
  11. XtremWeb-HEP documentation. — 30 p. — http://www.xtremweb-hep.org/lal/doc/xwhep-intro-1.4.0.pdf. — Last accessed on 2014-02-01.

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