Все выпуски

[ Switch to English ]

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

Добровольные вычисления напоминают частные desktop гриды, тогда как desktop гриды не полностью эквивалентны добровольным вычислениям. Известны несколько попыток отличить и категоризировать их, используя как неофициальные, так и формальные методы. Однако, наиболее формальные подходы моделируют специфическое промежуточное ПО (middleware) и не сосредотачиваются на общем понятии добровольного или desktop грид. Эта работа и есть попытка формализовать их характеристики и отношения. Для этой цели применяется формальное моделирование, которое пытается охватить семантику их функциональных возможностей — в противоположность сравнениям, основанным на свойствах, особенностях, и т. п. Мы применяем этот метод моделирования с целью формализовать добровольную вычислительную систему Открытой Инфраструктуры Беркли для сетевых вычислений (BOINC) [Anderson D. P., 2004].

Ключевые слова: BOINC, ASM, Формализм, Добровольные Вычисления
Цитата: Мароши А.К., Ловаш Р. Определение добровольных вычислений: формальный подход // Компьютерные исследования и моделирование, 2015, т. 7, № 3, с. 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
Creative Commons License Статья доступна по лицензии Creative Commons Attribution-NoDerivs 3.0 Unported License.

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

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

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

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

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