Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2018
Hauptverfasser:	Анисимов, А.В., Новокшонов, А.К.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Schlagworte:	Кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144828
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Доверительные вычисления с использованием складывающей машины. II / А.В. Анисимов, А.К. Новокшонов // Кибернетика и системный анализ. — 2018. — Т. 54, № 1. — С. 3–12. — Бібліогр.: 32 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Доверительные вычисления с использованием складывающей машины. I
von: Анисимов, А.В., et al.
Veröffentlicht: (2017)

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

Кодирование деревьев с помощью линейных рекуррентных последовательностей
von: Анисимов, А.В.
Veröffentlicht: (2017)

Об одной принципиальной схеме вычисления обобщенной проекции
von: Семенов, В.В.
Veröffentlicht: (2013)

Эволюционный метод построения систем искусственного интеллекта
von: Анисимов, А.В., et al.
Veröffentlicht: (2019)

Математическое моделирование управления гидросистемой шагающей машины
von: Боровин, Г.К., et al.
Veröffentlicht: (2009)

Методы вычисления мер семантической близости слов естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2010)

Решение некоторых обратных задач теплопроводности для составной пластины с использованием псевдообратных матриц
von: Сергиенко, И.В., et al.
Veröffentlicht: (2011)

Метод вычисления семантической близости-связности между словами естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2011)

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

Суперсингулярные скрученные кривые Эдвардса над простым полем. ІI. Суперсингулярные скрученные кривые Эдвардса с j-инвариантом, равным 66³
von: Бессалов, А.В., et al.
Veröffentlicht: (2019)

Суперсингулярные скрученные кривые Эдвардса над простым полем. I. Суперсингулярные скрученные кривые Эдвардса с j-инвариантами, равными нулю и 12³
von: Бессалов, А.В., et al.
Veröffentlicht: (2019)

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

Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2018)

Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2019)

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

Совместное использование методов структурной декомпозиции для оптимизации схемы микропрограммного автомата Мура
von: Баркалов, А.А., et al.
Veröffentlicht: (2021)

Смешанное кодирование наборов микроопераций в микропрограммном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2020)

Оптимизация схемы совмещенного автомата в базисе ASIC
von: Баркалов, А.А., et al.
Veröffentlicht: (2020)

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

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

Интерпретатор универсальной машины Тьюринга
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2016)

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

Квантові обчислення: огляд та аналіз
von: Савчук, М.М., et al.
Veröffentlicht: (2019)

Методы построения систем анализа и синтеза коммуникационной информации
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2017)

Предиктивная система набора текста для украинского языка
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2017)

Киберфизические системы: лингвистический аспект
von: Годлевский, А.Б., et al.
Veröffentlicht: (2020)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
von: Панченко, Б.Е., et al.
Veröffentlicht: (2020)

Параллельный алгоритм вычисления циклической свертки
von: Терещенко, А.Н., et al.
Veröffentlicht: (2012)

Аффинные автоматы и классические фракталы
von: Рысцов, И.К.
Veröffentlicht: (2018)

Кибер-физические системы
von: Летичевский, А.А., et al.
Veröffentlicht: (2017)

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

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

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

О полных и квазиполных двухкритериальных задачах на графах
von: Перепелица, В.А., et al.
Veröffentlicht: (2018)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
von: Мищенко, Н.М., et al.
Veröffentlicht: (2018)

Динамический алгоритм стабилизации походки шагающей машины
von: Жога, В.В., et al.
Veröffentlicht: (2008)

Параллельные вычисления на графических процессорах
von: Буза, М.К.
Veröffentlicht: (2011)

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

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