Сортировать по:
| Выпуск | Название | |
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... secondary processors of heterogeneous systems with this DSL. Together they help to resolve aforementioned ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... , tests, etc. Declarative domain-specific languages (DSLs) may reasonably simplify this process ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... and development. Graphic domain-specific languages (DSL) facilitate application development by use of concrete ..." | ||
| Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
| В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
| "... at runtime without delaying the execution. To maintain a trade-off between quick startup and doing ..." | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| "... plan interpretation. The overhead comes from indirect calls to handler functions, runtime checks ..." | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| "... an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known ..." | ||
| Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
| "... by indirect calls to handler functions and runtime checks, which could be avoided if the query were compiled ..." | ||
| Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
| "... by indirect calls to handler functions and runtime checks, which could be avoided if the query were compiled ..." | ||
| Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
| "... LLVM compiler infrastructure as a basis for deobfuscation software. The difference from the compiler ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... of the project, which allows detecting code clones with high accuracy. It is realized as part of LLVM compiler ..." | ||
| Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
| "... for such architectures. In this paper we describe the development process of an LLVM/Clang-based C compiler for stack ..." | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация похожие документы |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| "... on heterogeneous technologies and platforms. For this we follow the analogy of micro services. After ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... on lexical analysis of the program. A sequence of tokens is constructed based on the LLVM lexer and then all ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... such a tool for C/C++ languages based on open source components: LLVM/Clang compiler infrastructure, GNU ..." | ||
| Том 26, № 1 (2014) | Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища | Аннотация PDF (Rus) похожие документы |
| С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян | ||
| "... application in the LLVM intermediate representation. The LLVM modifications for optimizing code generation ..." | ||
| Том 24 (2013) | Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев | ||
| "... system, allowing distributing such applications in the LLVM (low level virtual machine) intermediate ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... исходного кода, добавляя в них высокоуровневые спецификации параллелизма в терминах DVMH модели ..." | ||
| Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
| "... with LLVM (low level virtual machine) compiler infrastructure. ..." | ||
| Том 34, № 2 (2022) | Паттерны проектирования для аналитической платформы, основанной на знаниях | Аннотация похожие документы |
| Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ | ||
| "... heterogeneous information, present it to users in an understandable way and to support tools for functionality ..." | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... and de-obfuscating tools were independently developed by two different teams of ISP RAS – the LLVM-based ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... standard. The developed checkers are based on the LLVM/clang compiler infrastructure. This paper describes ..." | ||
| Том 21 (2011) | Динамическое профилирование программы для системы LLVM | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев | ||
| "... and the most likely way of usage. It is favorable to research those methods in the LLVM infrastructure ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... verification. The motivation is rather clear: modern compilers, such as GCC and Clang/LLVM, are not free ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... for finding critical issues like security vulnerabilities, critical program defects leading to runtime errors ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... of heterogeneous field programmable gate arrays (FPGAs). Designing heterogeneous FPGAs is one of the most actively ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... LLVM compiler infrastructure. Dynamic compiler of PL/pgSQL procedural language is developed as part ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... from analysis (for example, code being unpacked or decrypted at runtime), static analysis may not yield ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... кода (мутатора) для усложнения работы анализаторов. Система анализа позволяет выявлять слабые места в ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... independency. The model supports different programming, mark-up, DSL-languages and any structured text ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... of programs represented in LLVM form. According to our research it is not possible to achieve good results ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... and support such a relation, which can be effectively used in testing and runtime verification/monitoring ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| "... to Flowdroid, which aims to analyze Java bytecode, our approach handles LLVM bitcode and pointer arithmetic ..." | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... in Linux programs we implemented a tool based on LLVM compiler infrastructure and for Windows programs we ..." | ||
| Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) похожие документы |
| Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
| "... to them. The methods are implemented within the well-known LLVM compiler infrastructure. Experimental ..." | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| "... Рост сложности современных цифровых систем и увеличение объемов кода на языках описания аппаратуры ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... . Moreover, symbolic execution empowers one to add additional runtime checks called security predicates ..." | ||
| Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
| "... in a heterogeneous system. We describe the implementation of a subset of OpenCL that is required for organizing data ..." | ||
| 1 - 39 из 363 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
