Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... прототип. Данные сценарии состоят из нескольких типов, основанных на методологии классов эквивалентности ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... представление о возможной принадлежности случая тому или иному классу (так называемый дифференциальный ряд ..."
 
Том 21 (2011) Применение алгебры подстановок для унификации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... неразрешимостью проблемы функциональной эквивалентности программ. Для того чтобы избежать алгоритмически трудных ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... эффективно решена при помощи процедур проверки эквивалентности программ в рассматриваемых моделях. Основной ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... Логико-термальная эквивалентность программ - это одно из наиболее слабых отношений эквивалентности ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..."
 
Том 26, № 2 (2014) Двусторонняя унификация программ и ее применение для задач рефакторинга Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... эквивалентности. Доказано, что сформулированная задача двусторонней унификации программ также является NP-полной. ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
 
Том 20 (2011) О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри Аннотация  PDF (Rus)  похожие документы
Л. В. Дворянский
"... состояний. Обоснован выбор отношения эквивалентности симуляции готовности в качестве отношения реализации ..."
 
Том 27, № 2 (2015) Моделирование и анализ поведения последовательных реагирующих программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
"... эквивалентности k-значных преобразователей. Показано, что обе указанные задач можно свести к задаче поиска ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... занимает проблема эквивалентности схем программ, заменивших формализованные программы. Доказана ..."
 
Том 31, № 2 (2019) Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики Аннотация  PDF (Rus)  похожие документы
Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду
"... . Реализация алгоритма сравнения чисел в системе остаточных классов (СОК) состоит из двух этапов. Первый этап ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... вводится понятие сопутствующего класса, влияние которого можно трактовать как дополнительное управляющее ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... структуру классов объектов, на основе онтологического анализа эмпирических данных о целевой предметной ..."
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
 
Том 26, № 2 (2014) О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти Аннотация  PDF (Rus)  похожие документы
Д. А. Носов
"... определен класс языков, распознаваемых недетерминированными программами. Доказана теорема, свидетельствующая ..."
 
Том 32, № 2 (2020) Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками Аннотация  похожие документы
Михаил Григорьевич БАБЕНКО, Елена Игоревна ГОЛИМБЛЕВСКАЯ, Егор Михайлович ШИРЯЕВ
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... распределение классов объектов по различным узлам. Обычно информация о распределении классов по серверам в ..."
 
Том 31, № 2 (2019) Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета Аннотация  PDF (Rus)  похожие документы
Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко
"... информации в системе остаточных классов. Распределенное кодирование позволяет использовать схемы разделения ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
 
1 - 22 из 22 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)