Все выпуски

Определение добровольных вычислений: формальный подход

Мароши А.К., Ловаш Р.
 pdf (403K)  / Аннотация

Список литературы:

  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.

Журнал индексируется в Scopus

Полнотекстовая версия журнала доступна также на сайте научной электронной библиотеки eLIBRARY.RU

Журнал входит в систему  Российского индекса научного цитирования.

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Международная Междисциплинарная Конференция "Математика. Компьютер. Образование"

Международная Междисциплинарная Конференция МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ.

Copyright © 2009–2024 Институт компьютерных исследований