Сортировать по:
| Выпуск | Название | |
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| "... the function call stack for a specific thread. Building a call stack without information about the running ..." | ||
| Том 28, № 5 (2016) | Когда защита стека в компиляторах не срабатывает? | Аннотация похожие документы |
| Павел Довгалюк, Владимир Макаров | ||
| "... protection schemes, that include variables reordering, inserting canary value, and separate stack for return ..." | ||
| Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
| "... exploits for stack buffer overflow vulnerabilities and also to prioritize software bugs. It is applied ..." | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Иванишин | ||
| "... parallelism is expressed via SIMT (single instruction - multiple threads) execution, where groups of 32 ..." | ||
| Том 35, № 3 (2023) | Уточнение предикатной абстракции при раздельном анализе потоков | Аннотация похожие документы |
| Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ | ||
| "... Thread-modular approach over predicate abstraction is an efficient technique for software ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... thread interaction and analysis for each thread in a separate way, but together with a specific ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... for stack buffer overflow vulnerability with write-what-where condition even when DEP, ASLR, and “canary ..." | ||
| Том 28, № 5 (2016) | Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции | Аннотация PDF (Rus) похожие документы |
| Н. А. Белов | ||
| "... неинициализированных значений в рамках полносистемной эмуляции. Это актуально для такого низкоуровневого программного ..." | ||
| Том 37, № 3 (2025) | Обзор механизмов усиления защищенности операционных систем и пользовательских приложений | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ | ||
| "... , hardware stack protection, dynamic memory protection, address space randomization, control flow protection ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... Data races are a class of concurrency errors where two threads access a shared memory location ..." | ||
| Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
| "... Development for stack-based architectures is usually done using legacy low level languages ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... используется полносистемный эмулятор, использующий бинарную трансляцию. Возможности анализа помеченных данных ..." | ||
| Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... program where a test regulates execution of parallel threads with synchronization actions. Tests being ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... is nontrivial, because there is no information about the locks held higher in the call stack during the process ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... message definition notation named CMN.1, which is based on an abstraction named cryptographic stack ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... устройств на основе полносистемной эмуляции в QEMU. В основу ELF были положены следующие аспекты: выполнение ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... process is handled by an abstract stack machine we have developed. Despite the inevitable overhead ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... reordering, insertion of additional dummy variables into stack, local variables permutation on the stack ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... , it works only with buffers on stack or on static memory with compile-time known size. We propose a formal ..." | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| "... The paper describes the basic components of ISPRAS technology stack for social network data ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... , they are narrowly targeted on solving one problem and cannot show a system-wide network stack view, which could ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... . Particularly, ways of code execution using buffer overflow on stack and on heap, using use-after-free ..." | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| "... Network stacks currently implemented in operating systems can no longer cope with the packet rates ..." | ||
| Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... In this article we consider the problem of maximizing the capacity of the network stack ..." | ||
| Том 33, № 3 (2021) | Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений | Аннотация похожие документы |
| Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ | ||
| "... function call stack, and the changes in the page's DOM tree after the request was initialized ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... on the single board. Using multiple threads in a single node with modern multicore processors allows to increase ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... ) and uses stack to chain them together, which makes analysis of ROP exploits more difficult. The main goal ..." | ||
| Том 21 (2011) | Экспериментальное исследование параллельного исполнения SQL запросов | Аннотация PDF (Rus) похожие документы |
| К. К. Смирнов, Г. А. Чернышев | ||
| "... with a number of join operators in the multithreaded environment. In our experiments we vary thread count ..." | ||
| Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
| И. Н. Ледовских, М. Г. Бакулин | ||
| "... Запутывание потока управления является одним из наиболее распространенных способов защиты бинарного ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... ) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2 ..." | ||
| Том 37, № 1 (2025) | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| "... equipment, system software stack, virtual machines, microservices and other elements. The cloud platform can ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... analysis to detect buffer overflow mainly for static and stack objects with approximately 65% true positive ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... memory card, state of registers, values of environment variables, call stack, signal number that led ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... techniques aimed to achieve acceptable false alarms rate. The key techniques are thread analysis ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... . In particular we fully rewrote real-time scheduler, network stack and memory management. Also we have added some ..." | ||
| Том 30, № 6 (2018) | Методы анализа информационных потоков в сети Интернет | Аннотация PDF (Rus) похожие документы |
| А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков | ||
| "... распространения информационных потоков в сети Интернет, разделяя их на две группы: объяснительные, предполагающие ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... Data race occurs in multithreaded program when several threads simultaneously access same shared ..." | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| "... of their threads on a single processing unit due to optimizations, which are performed by modern compilers and CPUs ..." | ||
| 1 - 39 из 174 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
