Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... LLVM поддержку других стековых процессорных архитектур. ..."
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
"... , аудит бинарного кода, статические и динамические особенности кодогенерации. В современных компиляторах ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... в компиляторе GCC. Особое внимание уделяется вопросам генерации корректного и эффективного кода для прагм OpenMP ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... процессорной архитектуры на примере открытых компиляторов GCC и LLVM. Приводятся примеры выполненных ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... в статически типизированное представление LLVM. В работе рассматривается многоуровневый динамический компилятор ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Не LLVM единым: Исследование альтернативных методов быстрой генерации кода для компиляции запросов в PostgreSQL Аннотация  похожие документы
Михаил Вячеславович ПАНТИЛИМОНОВ, Рубен Артурович БУЧАЦКИЙ, Денис Владиславович ЗАВЕДЕЕВ
"... генератора кода для архитектуры x86-64 в качестве альтернативы LLVM в СУБД PostgreSQL. Оцениваются как ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... интеграция сбора профиля и динамического компилятора LLVM, что позволило сохранять качество программ при ..."
 
Том 37, № 4: часть 2. июль-август Архитектура системы синхронизации времени в бортовой сети SpaceWire из ОСРВ с поддержкой стандарта  ARINC 653 Аннотация  похожие документы
Владислав Владимирович АЛЕЙНИК, Илья Владиславович РУСЕЦКИЙ, Виталий Юрьевич ЧЕПЦОВ
"... В данной работе предлагается архитектура системы синхронизации времени вычислителей сети ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... . Мотивация понятна: современные компиляторы, такие как GCC и Clang/LLVM, не застрахованы от ошибок; тем самым ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... [1]. Рассматривается методика замещения кода функций во время исполнения, реализованная в динамическом компиляторе LLVM ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... и LLVM) оказывается недостаточным для быстрой разработки оптимизирующих компиляторов, порождающих целевой ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... и описывается архитектура инструмента для языков C/C++ на основе компиляторной инфраструктуры LLVM, в которой ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... исследована реализация этой оптимизации для архитектур x86 и ARM в компиляторе GCC. Было обнаружено, что ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... МС-21, используют новую архитектуру построения комплекса бортового оборудования, получившую название Интегрированная ..."
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... анализа Java, включая изменения в компоненте контролируемой сборки, доработки компилятора OpenJDK ..."
 
Том 33, № 4 (2021) Средства захвата и обработки высокоскоростного сетевого трафика Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН
"... выделены основные проблемы сетевого стека операционных систем и способы их решения. Рассматриваются ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... архитектур реализации декодеров разнородны, результаты разбора команд несовместимы, а сопровождение ..."
 
Том 32, № 4 (2020) CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... ОС, версия пакета, карта памяти процесса, состояние регистров, значения переменных среды, стек вызовов, номер ..."
 
1 - 18 из 18 результатов

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

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