Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах

• Datum: 2020
• Hauptverfasser: Погорілий, С.Д., Слинько, М.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2020
• Schriftenreihe: Кибернетика и системный анализ
• Schlagworte: Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/190444
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С.Д. Погорілий, М.С. Слинько // Кибернетика и системный анализ. — 2020. — Т. 56, № 4. — С. 196–202. — Бібліогр.: 9 назв. — укр.

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