Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18 (2010) Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина
"... This paper describes language for processor instructions specification created by the authors ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... are illustrated by the example of a compiler for a specialized processor with an instruction set that accelerates ..."
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
"... This paper proposes a method of automated generation of machine instruction decoders for various ..."
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... -based TF16 processor architecture. LLVM was used due to adaptation possibilities of its components ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... Currently, cluster systems are widely used, the nodes of which use processors with a large number ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... We describe the approach for instruction scheduling and software pipelining based on a two-stage ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... Software simulation is of a big importance during development of processors as they provide access ..."
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... to answer the following questions: why the processor instruction set architecture is really important? Why ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... We consider the problem of using processors with an ARMv8 architecture to speed up the operation ..."
 
Том 34, № 1 (2022) Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Аннотация  PDF (Rus)  похожие документы
Александр Викторович СУРЧЕНКО
"... The tendency to increase core count in modern processor systems leads to a higher strain on memory ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... .) at the machine code level. The tool is highly automated: provided that the target instruction set is formalized ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... automated control and data flow reconstruction. The only manual step is searching for anchor instructions ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... primary and one or more secondary processors. Development of software systems for these platforms poses ..."
 
Том 35, № 3 (2023) Фреймворк для анализа использования машинных инструкций Аннотация  похожие документы
Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА
"... machine instructions or their groups in the machine code of programs. This paper describes a new framework ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... This paper offers a model which allows describe operational semantics of machine instructions ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... ARM is a family of microprocessor instruction set architectures developed in a company ..."
 
Том 33, № 4 (2021) Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU Аннотация  похожие документы
Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ
"... This paper addresses the problem of packet classification within a network processor (NP ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... of binary code analysis toolset is the instruction decoder. Different instruction set architectures give ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... прерываний микропроцессоров с архитектурой Эльбрус и «SPARC-V9», разработанной АО МЦСТ. Представлены ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... предложенных подходов к верификации блока HMU микропроцессоров с архитектурой Эльбрус. Приведена классификация ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... , but is not required otherwise. However, calls via the PLT have some overhead due to an extra jump instruction ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... space and on the call graph. A description of the implementation of the developed method as a plug ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... a special hardware instruction. However, such hardware instruction is absent on ARM. First we implemented ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... parallelism is expressed via SIMT (single instruction - multiple threads) execution, where groups of 32 ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... instructions in loops), and autovectorization. We identified the reasons for suboptimal code generation ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... in the guest system of x86 architecture in full-system emulator QEMU. System consists of few instructions ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... with an oracle. Such oracle have the same processor architecture. And an oracle may be a real processor, a high ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... instruction a predicate so that instruction will only execute if the predicate is true. In this paper we ..."
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
"... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... that some instructions are commutative and absorbing. Two instructions are commutative if the result ..."
 
1 - 30 из 228 результатов 1 2 3 4 5 6 7 8 > >> 

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

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