Доверительные вычисления с использованием складывающей машины. II

Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, соответствующими процедурами складывающей машины (addition mach...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2018
Автори: Анисимов, А.В., Новокшонов, А.К.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/144828
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine