Сортировать по:
| Выпуск | Название | |
| Том 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 ..." | ||
| Том 27, № 3 (2015) | Классификация процедур для выбора стратегии оптимизации | Аннотация PDF (Rus) похожие документы |
| Ольга Четверина | ||
| "... time and code size, it is reasonable to choose an appropriate strategy on an early compilation stage ..." | ||
| Том 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 ..." | ||
| Том 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 ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..." | ||
| Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев | ||
| "... This paper analyzes approaches for optimizing C/C++ applications used in twostage compilation ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... to perform server-side complex computations. Use of such extensions improves modularity and code reuse ..." | ||
| Том 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 ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... This article describes the methods of code clones detection. New approach of code clones detection ..." | ||
| Том 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 ..." | ||
| Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация похожие документы |
| Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
| "... '". If a file does not contain this information in header section then it will not be considered as ELF ..." | ||
| Том 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 ..." | ||
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... compared with classical compilation one, however the model allows efficiently perform various optimizations ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... and security of the application. In some cases, the source code of the problem areas may be missing ..." | ||
| Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) похожие документы |
| Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| "... Dynamic compilation of certain operator compositions might have a drastic impact on overall query ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Source code static analysis is widely used for program errors detection. Mostly it is used ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... constraints for input data to find an error and generate an input file to reproduce it. In this paper we ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... This paper presents methods and tools for binary code analysis that have been developed in ISP RAS ..." | ||
| Том 36, № 5 (2024) | Идентификация реквизитов сборки через отслеживание системных вызовов | Аннотация PDF (Rus) похожие документы |
| Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| "... The growing complexity of modern digital systems and the increasing volumes of code written ..." | ||
| Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
| "... One of widespread applications in binary code analysis is format recovery for files and network ..." | ||
| Том 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 ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... We present new techniques for compilation of sequential programs for almost affine accesses ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| "... The paper provides an overview of the first impression of the language for implementation low code ..." | ||
| 1 - 39 из 364 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
