Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... files with declarations and such header files included inside of several compilation units of projects ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... resource or documentation files) are also captured. On the second stage (target machine) the final code ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... compilation can be hundreds of times more than the execution time of generated machine code. To pay off ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... compilation is a promising solution to this challenge that is currently being applied both in academic studies ..."
 
Том 23 (2012) «Ленивый» анализ исходного кода на языках С и С++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... of header files from which only a portion of definitions is used. The analysis of definitions in headers can ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
"... code at run time. At the same time, interpreted execution has its shortcomings: lower performance ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... into native code "on-the-fly", i.e. just-in-time (JIT) compiled: at run time the specific table structure ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..."
 
Том 27, № 3 (2015) Классификация процедур для выбора стратегии оптимизации Аннотация  PDF (Rus)  похожие документы
Ольга Четверина
"... time and code size, it is reasonable to choose an appropriate strategy on an early compilation stage ..."
 
Том 19 (2010) Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора Аннотация  PDF (Rus)  похожие документы
И. И. Каретин, В. А. Макаров
"... The article is devoted to solving the problem of reducing the power consumption during the code ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... Performed by compiler code optimizing transformations efficiency can be greatly increased ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... This article describes the methods of code clones detection. New approach of code clones detection ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... into native code "on-the-fly", i.e. just-in-time (JIT) compiled: at run time the specific table structure ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... at generating very effective code for hot places, but at the cost of long compilation time. So even highly ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... This paper analyzes approaches for optimizing C/C++ applications used in twostage compilation ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... The paper describes two-stage compilation approach for C/C++ languages that allows deploying ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... ) compilation to produce binary code. JIT compilers are limited in complexity of optimizations they can perform ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... is presented. Several most effective techniques of constructive (code generation), testing (random test case ..."
 
Том 26, № 2 (2014) Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов Аннотация  PDF (Rus)  похожие документы
О. В. Горемыкин
"... hierarchy. Hardware configuration is a part of QEMU source code. Being written in C language hardware ..."
 
Том 27, № 5 (2015) Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, А. В. Хорошилов
"... in the code handling them. Currently the only approach used in practice is random fault injection. The paper ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... compared with classical compilation one, however the model allows efficiently perform various optimizations ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... The article presented a set of algorithms that form the basis of the safe code execution system ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... The article represented the technical implementation of the system of verified program code ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... and security of the application. In some cases, the source code of the problem areas may be missing ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
"... '". If a file does not contain this information in header section then it will not be considered as ELF ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... This paper presents methods and tools for binary code analysis that have been developed in ISP RAS ..."
 
Том 19 (2010) Восстановление формата данных Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин
"... One of widespread applications in binary code analysis is format recovery for files and network ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... , it is necessary to prove correctness of compilation from the model to memory models of target processor ..."
 
Том 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 ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... , and relations between entities. Program entities are files/directories (physical structure) and classes ..."
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... to resolve type conflicts and implement declaration order of used types in case type is declared inside ..."
 
Том 29, № 6 (2017) Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов
"... and command files for data transfer between two codes in the course of calculation are provided in article ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... is dynamic compilation: the DSL is translated to LLVM IR and then compiled to native executable code ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... a file, are long implemented in various frameworks and are available via corresponding Application ..."
 
Том 20 (2011) Развитие taint-анализа для решения задачи поиска программных закладок Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... program. It might be the description of implemented algorithms, output data formats, such as file formats ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... number of different processor architectures, since the proposed file format does not require high skill ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... ) in rectangular channel with shallow dumbbell dimples was modelled with open source Code_Saturne. An ideal gas (ρ ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... functions in the trace. Header files are available for some libraries. Full high level function prototypes ..."
 
1 - 40 из 241 результатов 1 2 3 4 5 6 7 > >> 

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

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