Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... Исследуется задача упаковки прямоугольников в полубесконечную полосу. Известно, что эта задача ..."
 
Том 26, № 2 (2014) Методы пороговой криптографии для защиты облачных вычислений Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров
"... Защита информации в облачных вычислениях активно исследуется мировым научным сообществом. Эти ..."
 
Том 28, № 3 (2016) Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... акустических сигналов или при М > 0.3. В данной работе выполнено тестирование реализации гибридного метода для ..."
 
Том 26, № 5 (2014) Исследование влияния длины улиц на течение воздуха в них Аннотация  PDF (Rus)  похожие документы
М. В. Волик
"... В работе проводится сравнение результатов математического моделирования аэродинамики типичных ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..."
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... валидации системы, в том числе на ранних этапах разработки. Ранняя валидация важна из-за того, что стоимость ..."
 
Том 28, № 3 (2016) Система деанонимизации пользователей теневого интернета Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
"... используются для мошеннической и нелегальной деятельности. В современном мире есть много сетей и технологий ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... В статье приведен обзор существующих подходов к моделированию памяти Си-программ в инструментах ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных ..."
 
Том 30, № 1 (2018) Методы деанонимизации пользователей биткоин Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
"... Bitcoin является самой популярной криптовалютой на планете. В основе Bitcoin лежат криптография и ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... Конечные автоматы широко применяются в качестве математических моделей при решении многочисленных ..."
 
Том 30, № 6 (2018) Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... В работе приводится описание многомасштабного подхода для моделирования процессов течений ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... Интегрированная модульная авионика (ИМА). В её основе лежит объединение приборов и бортовых вычислителей в единую ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... при разработке анализатора программ с использованием системных вызовов. В статье рассматривается ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..."
 
Том 27, № 1 (2015) Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Аннотация  PDF (Rus)  похожие документы
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв
"... В статье представлен новый подход идентификации пользователя на основе анализа его поведения при ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... -линейной аппроксимацией хорошо согласуются с аналитическим решением, в отличие от численного приближения с ..."
 
Том 29, № 3 (2017) Сравнительный анализ двух подходов к статическому анализу помеченных данных Аннотация  PDF (Rus)  похожие документы
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев
"... В настоящее время одним из наиболее эффективных средств поиска проблем безопасности ПО является ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... В статье рассматривается подход к оптимизации вызовов внешних функций в позиционно-независимом коде ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... В статье приведен обзор методов, применяемых при проверке корректности поведения кэш-памятей ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... понятие временного автомата. В настоящей работе мы рассматриваем проблему минимизации автоматов с ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... систем, определяемой с помощью модели характеристик (МХ). В статье мы рассматриваем подходы к формальному ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... В статье описаны подходы, которые использовались для верификации контроллеров связи в системах на ..."
 
Том 22 (2012) Интерполяция формул с кванторами в CSIsat на основе инстанцирования Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, М. У. Мандрыкин
"... В статье рассказывается о том, как на основе инструмента CSIsat реализована интерполяция Крейга для ..."
 
Том 27, № 6 (2015) Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Аннотация  PDF (Rus)  похожие документы
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский
"... В работе представлены структура и отдельные компоненты облачного сервиса, предназначенного для ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... последующим редактированием, в результате чего возникает много повторяющегося текста. Такие повторы усложняют ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
"... В данной статье представлен способ человеко-компьютерного взаимодействия с помощью жестов рук ..."
 
Том 30, № 6 (2018) Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин, С. В. Стрижак
"... В статье рассматриваются возможности открытой библиотеки SOWFA. Проблемно-ориентированная ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... В работе рассматривается подход к отслеживанию файловых операций с помощью перехвата запросов к ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... моделирования в различных прикладных и фундаментальных областях. Она предоставляет возможности подготовки ..."
 
Том 22 (2012) Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... В работе рассмотрены методы и техники, используемые в современных инструментах статической ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... с промежуточными представлениями, в которые этот код транслируется. В статье рассмотрены различные ..."
 
1 - 39 из 379 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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