Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... compiler for x86 and ARM architectures. On ARM, loading the callee address from the GOT at call site ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... binary interfaces, such as calling conventions and the numbers and parameters of system calls. The idea ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... of the application through system calls. With a detailed study of the mechanism of system calls, you can find a lot ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... parameters. We used our tool to tune GCC parameters for ARM platform, and demonstrated how it can be used ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... calls is mutated. Mutation can add new API functions calls or remove some of them. After API calls ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... the function call stack for a specific thread. Building a call stack without information about the running ..."
 
Том 34, № 1 (2022) Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone Аннотация  похожие документы
Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО
"... software and hardware based on processors with the ARM architecture. The main results of the work ..."
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... instrumentation for ELF executable and shared library files specifically targeting the ARM architecture. We ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... tool. Given English description of the desired functionality, sequence of Java function calls ..."
 
Том 27, № 3 (2015) Удаленное обслуживание системных вызовов в микроядерном гипервизоре Аннотация  PDF (Rus)  похожие документы
К. Маллачиев, Н. Пакулин
"... interfaces. For trusted applications Sevigator intercepts network-related system calls and routes them ..."
 
Том 18 (2010) Прозрачный механизм удаленного обслуживания системных вызовов Аннотация  PDF (Rus)  похожие документы
П. Н. Яковенко
"... on the remote system call execution. The presented approach uses hardware virtualization and allows executing ..."
 
Том 36, № 5 (2024) Идентификация реквизитов сборки через отслеживание системных вызовов Аннотация  PDF (Rus)  похожие документы
Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ
"... calls. An estimate of the time spent on build process using the buildography tool is given. ..."
 
Том 36, № 1 (2024) Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения Аннотация  похожие документы
Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... library, and resulted in significant performance gain for popular JavaScript benchmarks on ARM platform. ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... ARM is a family of microprocessor instruction set architectures developed in a company ..."
 
Том 37, № 1 (2025) Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК
"... of processor architectures, in particular, ARM SME, RISC-V IME, RISC-V AME extensions, as well as the DaVinci ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... space and on the call graph. A description of the implementation of the developed method as a plug ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... call graph which contains only calls to functions which ends with the function of interest, then we ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... for each call.  If the trace has got several calls for the same function, the information about them ..."
 
Том 33, № 1 (2021) Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... representation, which is used as an input to the main SvEng analyzer. The analyzer builds a call graph ..."
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
"... hardware. For example, a call to virtual functions can be implemented either through a switch construct ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... Itanium and ARM platforms: Itanium speedup achieves 4% on average for SPEC FP 2000 tests with up to 10 ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... optimizations for the widest range of hardware platforms. This library is optimized for Intel, AMD, ARM and RISC ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... ARM. Для виртуальной машины V8 для платформы x86-64 в рамках исследования предварительная компиляция ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... processing algorithm on a BCM2837 chip with an ARM Cortex-A53 processor is presented. The solution provided ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... reuse. Approach is based on overloading and overriding with conflicts resolution at call sites based ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
"... , then a spill of an arbitrary register is generated. On basic block ends and helper functions' calls all global ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... , including a call graph, control flow, data flow. Studying binary code involves restoring a static model ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... and ARM microprocessors. ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... for multiple architectures (x86, x86-64, ARM, MIPS, PPC), thus providing the independence of the tool from ..."
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... compilation into mainstream CPU architectures. At the moment, it is done for x86 and ARM but not for Power ..."
 
Том 35, № 3 (2023) Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ
"... , mm, net, irq, x86 and arm64. ..."
 
Том 35, № 6 (2023) Онтология архитектурных знаний в совместно локализованной “живой” среде Аннотация  PDF (Rus)  похожие документы
Хосе Луис РОБЛЕС, Хильберто БОРРЕГО, Рамон Рене ПАЛАСИО, Франсиско КАСТИЛЬО-БОРРЕРА
"... development. Remote communication has generated many videos derived from video calls recorded for later ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... system calls is provided. The results of analysis of open-source network applications are included ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... LTO on them in parallel. We use program call graph analysis to divide a program to parts. Therefore ..."
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
"... size applications (around 10 000 edges in the call graph). To achieve scalability of the approach, we ..."
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
"... is nontrivial, because there is no information about the locks held higher in the call stack during the process ..."
 
Том 32, № 6 (2020) Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА
"... , Svace performs an intra-procedure analysis of individual functions, starting from the leaves of a call ..."
 
1 - 39 из 76 результатов 1 2 > >> 

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

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