Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами ..."
 
Том 28, № 5 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... исследований и разработок в ИСП РАН - технологии анализа, моделирования и трансформации программ. Все эти ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... возможностям статического анализатора были отнесены межпроцедурный путе- и контекстно-чувствительный анализ, а ..."
 
Том 28, № 6 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... , моделирования и трансформации программ, технологии распределенных систем, анализу текстов на естественных языках ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... Статья описывает разработку и тестирование модификации решателя для гиперзвукового реагирующего ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... исследованиях. На основе центральных разностных схем Балбаса и Тадмора был разработан OpenFOAM-солвер, способный ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... В статье рассмотрена проблема сохранности переписки при передаче и пути решения этой проблемы ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... методы исследования и улучшения бизнес-процессов. Спецификой методов process mining является то, что они ..."
 
Том 28, № 5 (2016) Оптимизация читаемости тестов порождаемых при символьных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... контроля качества ПО, и его недостаток может приводить к финансовым потерям. При систематическом подходе ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... или в каждой вершине, а также, если необходимо, разметке графа (его вершин и/или рёбер). Акцент сделан ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..."
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с ..."
 
Том 29, № 5 (2017) Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Аннотация  похожие документы
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов
"... критичных с точки зрения информационной безопасности, а, с другой стороны, проведение базовых атак на ..."
 
Том 28, № 5 (2016) Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
"... , использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... представлена. Числа А и В часто описываются фразами естественного языка, например, Z = (Java, максимально ..."
 
Том 28, № 4 (2016) Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Аннотация  PDF (Rus)  похожие документы
В. О. Ермакова, И. А. Ломазова
"... Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... голосования. Как и для любой системы, важным является верификация ключевых алгоритмов, на которых основана её ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... : решение других задач на графах и расширение подхода на ориентированные графы, а также недетерминированные ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... , решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... . Раздел 3 содержит основные определения и обозначения, а раздел 4 - постановку задачи. В разделе 5 ..."
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
"... диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной ..."
 
Том 26, № 5 (2014) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... российской академии наук. В 2014 г. конференция была посвящена различным аспектам технологий параллельных и ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... , для улучшения качества управления малыми летательными аппаратами и снижения усталости оператора. В ..."
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
"... состоит из замкнутого клиновидного корпуса и подвижной внутренней массы, совершающей колебания вдоль ..."
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и ..."
 
Том 22 (2012) Восстановление структуры бинарных данных по трассам программ Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, А. И. Гетьман
"... к решению данной задачи, а также описывается реализация этих подходов в рамках системы ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... уровне абстракций бинарного и исходного кода и сложности переноса на другие процессорные архитектуры и ОС ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... состояний, транзакций, протоколов и сигналов. Поскольку характерной особенностью рассматриваемых абстрактных ..."
 
Том 27, № 1 (2015) Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Аннотация  PDF (Rus)  похожие документы
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв
"... работе исследовались два различных подхода оценки отклонений: абсолютная оценка и оценка p-значения ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..."
 
Том 19 (2010) Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора Аннотация  PDF (Rus)  похожие документы
И. И. Каретин, В. А. Макаров
"... бинарного кода. Метод позволяет восстановить иерархическую структуру изучаемых данных и выявлять ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... поддерживается восстановление потоков данных, а также проведение их дальнейшего разбора. Тем самым обеспечивается ..."
 
1 - 40 из 408 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

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

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