Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18 (2010) Система моделирования Grid: реализация и возможности применения Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, А. И. Поспелов
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
"... В статье предлагается и теоретически исследуется on-line алгоритм упаковки прямоугольников в ..."
 
Том 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-солвер, способный ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами ..."
 
Том 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-значения ..."
 
1 - 39 из 408 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

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

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