Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2018
Автори:	Анисимов, А.В., Новокшонов, А.К.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 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

Схожі ресурси

Доверительные вычисления с использованием складывающей машины. I
за авторством: Анисимов, А.В., та інші
Опубліковано: (2017)

Блочно-диагональный подход к неотрицательной факторизации разреженных лингвистических матриц и тензоров сверхбольшой размерности с использованием латентного распределения Дирихле
за авторством: Анисимов, А.В., та інші
Опубліковано: (2018)

Кодирование деревьев с помощью линейных рекуррентных последовательностей
за авторством: Анисимов, А.В.
Опубліковано: (2017)

Об одной принципиальной схеме вычисления обобщенной проекции
за авторством: Семенов, В.В.
Опубліковано: (2013)

Эволюционный метод построения систем искусственного интеллекта
за авторством: Анисимов, А.В., та інші
Опубліковано: (2019)

Решение некоторых обратных задач теплопроводности для составной пластины с использованием псевдообратных матриц
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)

Методы вычисления мер семантической близости слов естественного языка
за авторством: Анисимов, А.В., та інші
Опубліковано: (2010)

Математическое моделирование управления гидросистемой шагающей машины
за авторством: Боровин, Г.К., та інші
Опубліковано: (2009)

Метод вычисления семантической близости-связности между словами естественного языка
за авторством: Анисимов, А.В., та інші
Опубліковано: (2011)

Суперсингулярные скрученные кривые Эдвардса над простым полем. ІI. Суперсингулярные скрученные кривые Эдвардса с j-инвариантом, равным 66³
за авторством: Бессалов, А.В., та інші
Опубліковано: (2019)

Суперсингулярные скрученные кривые Эдвардса над простым полем. I. Суперсингулярные скрученные кривые Эдвардса с j-инвариантами, равными нулю и 12³
за авторством: Бессалов, А.В., та інші
Опубліковано: (2019)

Оптимизация выбора элементов математического обеспечения в системах управления с существенно разноскоростными процессами
за авторством: Хиленко, В.В., та інші
Опубліковано: (2021)

Прогнозирование спроса на машины постоянного тока с использованием формализованных моделей на базе кривых роста
за авторством: Дубинин, В.А., та інші
Опубліковано: (2013)

Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)

Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2019)

Совместное использование методов структурной декомпозиции для оптимизации схемы микропрограммного автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2021)

Смешанное кодирование наборов микроопераций в микропрограммном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

Оптимизация схемы совмещенного автомата в базисе ASIC
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

Решение двухэтапной непрерывно-дискретной задачи оптимального разбиения–распределения с заданным положением центров подмножеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2020)

Метод вычисления размещения протяженных связей в нейронных ассоциативных сетях с архитектурой «тесного мира»
за авторством: Дехтяренко, А.К.
Опубліковано: (2005)

Математическая модель взаимодействия симметричного волчка с аксиально-симметричным внешним полем
за авторством: Зуб, С.И., та інші
Опубліковано: (2017)

Наиболее общее понятие равновесия для конфликтных задач с побочными интересами
за авторством: Смольяков, Э.Р.
Опубліковано: (2017)

Квантові обчислення: огляд та аналіз
за авторством: Савчук, М.М., та інші
Опубліковано: (2019)

Методы построения систем анализа и синтеза коммуникационной информации
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

Предиктивная система набора текста для украинского языка
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

Киберфизические системы: лингвистический аспект
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)

Интерпретатор универсальной машины Тьюринга
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2016)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2020)

Аффинные автоматы и классические фракталы
за авторством: Рысцов, И.К.
Опубліковано: (2018)

Параллельный алгоритм вычисления циклической свертки
за авторством: Терещенко, А.Н., та інші
Опубліковано: (2012)

Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
за авторством: Шатырко, А.В.
Опубліковано: (2012)

Кибер-физические системы
за авторством: Летичевский, А.А., та інші
Опубліковано: (2017)

Достижимая верхняя граница sup-нормы произведения элементов кольца усеченных многочленов и ее применение к анализу NTRU-подобных криптосистем
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2021)

О полных и квазиполных двухкритериальных задачах на графах
за авторством: Перепелица, В.А., та інші
Опубліковано: (2018)

Обоснование точности кубатурных формул для приближенного вычисления 3D интегралов от быстроосциллирующих функций с использованием интерфлетации
за авторством: Литвин, О.Н., та інші
Опубліковано: (2012)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2018)

Прямая и обратная задачи в теории полосно-пропускающих фильтров с диссипативными потерями
за авторством: Захаров, А.В., та інші
Опубліковано: (2011)

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2018)

Структурно детерминированные неравенства для корреляций в цикле линейных зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2018)

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)