Наукові публікації університету

Design Grid services for running virtual machines as computer task based on transition systems

Proposed to apply method of grid system design on grid services for running virtual machines as regular computing task. The resulting global transition system is translated into a Petri net (PN). With the help of the PN is checked correctness of design, in particular the absence of deadlocks, dead transitions etc.

ID: 191276
Кількість показів: 93
дата змінення: 08.09.2017 19:13:54
Ким змінено (ім'я): (cyb13) Дмитро Терлецький
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  20
Рік видання:  2017
Звітний рік:  2017
Видання:  Scientific Journal “Proceeding of İnstitute of Applied Mathematics"
Том:  6
Випуск, частина:  1
Номери сторінок:  54-73
Галузь науки:  Інформатика
Автори,співробітники Університету:  Кривий Сергій Лук'янович / Бойко Юрій Володимирович / Погорілий Сергій Дем'янович / Борецький Олександр Францович / Глибовець Микола Миколайович
Кафедра / Відділ:  Інтелектуальних програмних систем
№ теми:  16КФ015-01
Посилання на статтю (посилання на рецензію в журналі (для монографій):  http://static.bsu.az/w24/V6N12017/5DesignOfGrid_IAM2017sergey_upd5.pdf
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору