Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... В статье предложены различные способы представления результатов анализа сетевого трафика ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... В статье рассматривается метод автоматизированного построения эксплойтов для уязвимости ..."
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
"... Технология (детерминированного) воспроизведения вычислительного процесса в виртуальных ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... В статье рассматривается метод выявления ошибок работы с памятью в бинарном коде программ, таких ..."
 
Том 19 (2010) Восстановление формата данных Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... с промежуточными представлениями, в которые этот код транслируется. В статье рассмотрены различные ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... Реализация новой виртуальной процессорной архитектуры в Qemu предполагает создание фронтенда ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... аналитика, автоматизация его действий не несет в себе системный характер. В случае отсутствия необходимого ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... затруднительно из-за повсеместной практики реализовывать декодеры в виде каскадов ветвлений. Дальнейший анализ ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... использованием моделей турбулентности Смагоринского, Спаларта - Аллмараса, , и SST в рамках RANS, LES и DES ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... неньютоновских вязкоупругих напряжений. Нормальные неньютоновские напряжения вычисляются в центрах ячеек основной ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... тестера. При этом в значения функций вводятся неопределенности, что позволяет минимизировать сами функции ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... В этой работе авторами представляется библиотека "mmdlab" для интерпретируемого языка ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..."
 
Том 30, № 3 (2018) Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Аннотация  PDF (Rus)  похожие документы
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
"... В статье описываются функциональные возможности и структура программного модуля для ..."
 
Том 28, № 1 (2016) Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Аннотация  PDF (Rus)  похожие документы
А. В. Дергачёв, А. В. Сидорин
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... , которые возникают, например, в задачах вычислительной физики. Однако при увеличении размеров расчетной ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... В статье описывается реализация стандарта OpenMP версии 4.0 для акселераторов NVIDIA PTX в ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... управлением данных. В статье представлены специальный язык для определения соответствующей логики задачи ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... использована в стандарте некоторого промышленного языка программирования, должна быть доказана корректность ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... В настоящей статье представлено описание технической реализации системы верифицированного ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..."
 
1 - 39 из 310 результатов 1 2 3 4 5 6 7 8 > >> 

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

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