Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... представление можно с помощью стека вызова функций для конкретного потока. Построение стека вызовов без ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... OpenMP и интеграцию с библиотекой libgomp, для PTX реализованы вторичные программные стеки, позволяющие ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... , полученных при помощи полносистемного эмулятора. Даже в условиях одновременного функционирования DEP, ASLR ..."
 
Том 37, № 3: май-июнь Обзор механизмов усиления защищенности операционных систем и пользовательских приложений Аннотация  PDF (Rus)  похожие документы
Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ
"... механизмы защиты памяти, защиты аппаратного стека, защиты динамической памяти, рандомизация адресного ..."
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
"... взаимных блокировок потоков. Анализ на основе резюме является популярным подходом для поиска ошибок ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... бинарного кода (на уровне потоков данных и управления, символьная интерпретация и др.) оказывается ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... и размещённым в статической памяти либо на стеке. В работе приведено формальное определение ошибки доступа ..."
 
1 - 7 из 7 результатов

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

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