|
Метод сематичної верифікації застосувань у технології GPGU (англ.м.) [Текст] / С. Л. Кривий, С. Д. Погорілий, М. С. Синько, А. А. Крамов // Системні дослідження та інформаційні технології. – 2020. – № 3. – С. 7-22.
Запропоновано метод розроблення та верифікації застосувань для систем з масовим паралелізмом на основі відеоадапторів від компанії NVDIA. |