Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... управлением данных. В статье представлены специальный язык для определения соответствующей логики задачи ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... В этой статье мы расскажем о проекте по разработке отладчика для мультиплатформенной операционной ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... -линейной аппроксимацией хорошо согласуются с аналитическим решением, в отличие от численного приближения с ..."
 
Том 29, № 3 (2017) Сравнительный анализ двух подходов к статическому анализу помеченных данных Аннотация  PDF (Rus)  похожие документы
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев
"... В настоящее время одним из наиболее эффективных средств поиска проблем безопасности ПО является ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... проверяющей последовательности для инициального недетерминированного автомата относительно эквивалентности. В ..."
 
Том 28, № 2 (2016) Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Аннотация  похожие документы
Д. Д. Кожевников, Н. В. Красилич
"... В данной работе представлены предварительные результаты текущего исследования по разработке среды ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциальной длины ..."
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
"... Элегантный синтаксис языка Ruby заметно усложняет поиск ошибок в больших кодовых базах. Статический ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Неполностью описанные объекты могут встретиться в самых разных предметных областях и приложениях ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... Интегрированная модульная авионика (ИМА). В её основе лежит объединение приборов и бортовых вычислителей в единую ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... Разработанный метод в рамках прецедентного подхода к принятию решений позволяет решить проблему ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... транзакции. В настоящей статье представлен метод инкрементальной валидации объектно-ориентированных данных ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... В статье проанализированы тенденции развития окружающего технического мира, обязывающие к ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... В данной статье рассмотрен подход детализации верифицированных тестовых сценариев для ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..."
 
Том 29, № 4 (2017) Использование модульного подхода во встраиваемых операционных системах Аннотация  похожие документы
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов
"... управления в различных аппаратных контекстах. Управляющие ЭВМ могут различаться архитектурой центрального ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..."
 
Том 30, № 2 (2018) Анализ баллистокардиограммы на граничных вычислительных узлах Аннотация  PDF (Rus)  похожие документы
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
"... В работе рассматривается бесконтактный метод анализа сердечной активности человека, основанный на ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... ориентированным корневым графом, с ограниченной емкостью дуги (в том смысле, что только ограниченное количество ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... Данная статья описывает текущие исследования по цифровой стабилизации видеоизображения в режиме ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... понятие временного автомата. В настоящей работе мы рассматриваем проблему минимизации автоматов с ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... На сегодняшний день в авиационной отрасли существует актуальная проблема - как инструментально ..."
 
Том 26, № 6 (2014) Предисловие Аннотация  PDF (Rus)  похожие документы
Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко
"... 24-25 ноября 2014 года в Париже в Институте Мин-Телеком (Institut Mines-Télécom) состоялся ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... В данной работе рассмотрена аппаратная реализация расчета деполимеризации белковой микротрубочки ..."
 
Том 26, № 3 (2014) Современное состояние исследований в области обфускации программ: определения стойкости обфускации Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров
"... препятствующую извлечению из текста программы определенной секретной информации, содержащейся в ней. Поскольку ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... последующим редактированием, в результате чего возникает много повторяющегося текста. Такие повторы усложняют ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
 
1 - 40 из 367 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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