Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... . To reveal the actual behavior of agents, we can use process discovery. However, for large-scale processes ..."
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... discovery techniques against the quality of obtained models since this research area is on the rise ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... программирования, это поддержка множественных моделей. В статье рассматриваются преимущества и недостатки этой ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
 
Том 35, № 3 (2023) Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями Аннотация  похожие документы
Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ
"... системы представляет собой композицию моделей поведения отдельных агентов, между которыми добавляются ..."
 
Том 31, № 4 (2019) Метод построения UML диаграмм деятельности по журналам событий Аннотация  похожие документы
Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков
"... . Модели, построенные по журналам событий, могут предоставить ценную информацию о реальные процессах в ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... , ориентированный и неориентированный граф, остовное дерево, цикл. Приводятся интерфейсы важнейших перегруженных ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... В данной статье представлена унифицированная модель тестирования инструментов разработки объектно ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... В статье предложены подходы к функциональной верификации контроллеров сопряжения интерфейсов в ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... представления, предназначенный для построения модели алгоритма по трассе выполнения программы. ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... моделей данных на языке EXPRESS, на основе которого выделяются паттерны ограничений целостности ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... GUITAR: недостаточная степень точности модели графического интерфейса, недостаточность полноты описания ..."
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
"... интеграции информации и паттерны проектирования для разработки ядра аналитической платформы, отвечающего за ..."
 
Том 24 (2013) Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... для проверки выполнения правил использования программных интерфейсов в условиях неполноты модели ..."
 
Том 35, № 1 (2023) Проблемы использования разговорных агентов для поддержки неформальных опекунов людей с деменцией Аннотация  похожие документы
Саманта ХИМЕНЕС, Хесус ФАВЕЛА, Анхелес КЕСАДА, Радж РАМАЧАНДРАН, Рейес ХУАРЕС-РАМИРЕС
"... исследовании используются качественные методы для разработки модели с использованием технологических стратегий ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... , включающего символьное исполнение и стандартные подходы к извлечению модели графического интерфейса для ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... ядра являются нарушения правил корректного использования программного интерфейса ядра ОС. Выявить все ..."
 
Том 30, № 3 (2018) Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Аннотация  PDF (Rus)  похожие документы
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
"... автоматизированной адаптации интерфейсов веб-приложений. Особое внимание уделяется идентификации и различению ..."
 
Том 36, № 2 (2024) Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей Аннотация  похожие документы
Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА
"... В последнее время наблюдается всплеск интереса к использованию нейрокомпьютерных интерфейсов для ..."
 
Том 27, № 3 (2015) Iskra: Инструмент починки моделей процессов Аннотация  PDF (Rus)  похожие документы
И. Шугуров, А. Мицюк
"... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..."
 
Том 33, № 1 (2021) Паттерны микросервисной архитектуры: многопрофильный обзор литературы Аннотация  PDF (Rus)  похожие документы
Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... паттернах, задающих общие структуры для решения повторяющихся задач. Тем не менее, поскольку микросервисы ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... программное обеспечение часто предоставляет программный интерфейс (Application programming interface) для ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
"... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..."
 
Том 34, № 2 (2022) Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ Аннотация  похожие документы
Алексей Александрович БУСЕНКОВ, Эдуард Андреевич ХОЛОДОВ, Роман Сергеевич НОВИКОВ, Борис Аронович ПОЗИН
"... разработке графического интерфейса телемедицинских систем раннего обнаружения заболеваний с помощью ЭКГ. ..."
 
Том 34, № 3 (2022) Оценка пригодности к использованию нейрокомпьютерных интерфейсов: анализ состояния дел Аннотация  похожие документы
Йоселин Нохеми ОРТЕГА-ХИХОН, Кармен МЕЗУРА-ГОДОЙ
"... Нейрокомпьютерные интерфейсы (Brain Computer Interfaces, BCI) позволяют пользователям общаться с ..."
 
Том 35, № 2 (2023) Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ
 
Том 31, № 5 (2019) Интроспекция конфигурации периферийных устройств эмулятора QEMU Аннотация  PDF (Rus)  похожие документы
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк
"... графическом интерфейсе. Графический интерфейс QemuGUI поддерживает полный цикл работы с эмулятором: создание и ..."
 
Том 35, № 4 (2023) Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК
"... подхода в отдельном библиотечном модуле (VK-капсуле) с высокоуровневым интерфейсом, который динамически ..."
 
Том 30, № 3 (2018) К построению модульной модели распределенного интеллекта Аннотация  PDF (Rus)  похожие документы
Ю. Л. Словохотов, И. С. Неретин
"... взаимодействующих автономных агентов: способность воспринимать, обрабатывать и использовать внешнюю информацию ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... интерфейса для написания собственных обнаружителей дефектов. Рассматриваются различные подходы к реализации ..."
 
Том 36, № 5 (2024) Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ
"... описанию пользовательского интерфейса (GUI), порождает набор конкретных интерфейсов, каждый из которых по ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... развития. Постоянные изменения могут привести к появлению в системе «плохих» решений - анти-паттернов, что ..."
 
Том 35, № 3 (2023) Проектирование архитектуры системы мониторинга на основе паттернов проектирования Аннотация  похожие документы
Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..."
 
Том 33, № 6 (2021) Модель и декларативный язык спецификации бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН
"... модель формата. В данной работе предлагается подход к моделированию бинарных форматов. Описанная модель ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... . Разделение ОС на изолированные модули с фиксированными интерфейсами уменьшает необходимость взаимодействия ..."
 
Том 28, № 3 (2016) Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Аннотация  PDF (Rus)  похожие документы
Е. А. Ильченко
"... установленной на нее PBS, работая исключительно с веб-интерфейсом MathPartner. Кроме запуска готовых программ ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... ; сравнение шагов тестирования с интерфейсами тестового фреймворка с использованием модели GloVe ..."
 
1 - 39 из 543 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> 

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

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