Запропоновано метод дослідження характеристик систем, шо використовують високопродуктивні обчислення, який грунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано 2 варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі Nvidia CUDA. Описано транзиційні системи, що представляють 2 типи інструкцій, процес виконання інструкції варпом та роботу планувальника варпу. Виконано формалізацію моделі виконання GPGPU-застосування. Одержано специфікацію вищевказаного підходу та строго доведено його коректність. Специфікацію зведено до двох варіантів мереж Петрі, які надають змогу виявляти помилки проектування в автоматичному або напівавтоматичному режимі.

  Повний текст PDF - 649.576 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"