Сортировать по:
Выпуск | Название | |
Том 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 диссертация)