Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Погорілий, С. Д.
    Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах [Текст] / С. Д. Погорілий, М. С. Слинько
    // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 196-202.

   Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано використання математичних апаратів системи алгоритмічних алгебр/модифікованої системи алгоритмічних алгебр та транзиційних систем. Для другого етапу проаналізовано використання мережевих та автоматних моделей і наведено переваги кожної моделі. Зокрема, проведено дослідження моделі обчислень в архітектурі NVIDIA CUDA за допомогою мереж Петрі, а також формул лінійно-темпоральної логіки та автоматної моделі.

  УДК 004.4


            


Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2020. – Т. 56, № 4.



Теми документа






Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'