• Перевірка делегованих обчислень за допомогою додавальної машини 

      Анісімов, А. В.; Новокшонов, А. К.; Anisimov, A.; Novokshonov, A. (ВНТУ, 2017)
      Запропоновано розв'язання проблеми перевірки цілісності арифметичних програм з розгалуженнями і циклами, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв'язання полягає у заміні арифметичних ...