|
Анисимов, А. В. Доверительные вычисления с использованием складывающей машины. II [Текст] / А. В. Анисимов, А. К. Новокшонов // Кибернетика и системный анализ. – 2018. – Т. 54, № 1. – С. 3-12.
Предложено решение проблемы проверки целостности арифметических программ с ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. |