| |
Анісімов, А. В.
Перевірка делегованих обчислень за допомогою додавальної машини [Текст] / А. В. Анісімов, А. К. Новокшонов
// Тези доповідей Шостої Міжнар. науково-практичної конференції, м. Вінниця, Україна, 24-25 жовтня 2017 р. / МОН України, Вінниц. нац. техн. ун-т, Прикарпатський нац. ун-т ім. В. Стефаника. – Вінниця : ВНТУ, 2017. – С. 42-44.
Запропоновано розв'язання проблеми перевірки цілісності арифметичних програм з розгалуженнями і циклами, які виконуються на віддаленому обчислювальному ресурсі. |
