?
Сравнение временных характеристик операционных систем реального времени на микроконтроллерах с архитектурами ядер ARM И RISC-V
Машиностроение: сетевой электронный научный журнал. 2025. Т. 12. № 4. С. 15–21.
Makhmudov T. N., Дубленский Д. С., Канунников Е. И.
Смит С., М.: ДМК Пресс, 2025.
Данная книга продолжает серию «Книжная полка Истового инженера»,
которая издается при поддержке компании YADRO. Издание подготовлено к
публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс».
Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая
в издательстве Apress в серии Maker Innovations в 2024 ...
Added: May 25, 2025
Gorshkov A., Rumyantsev K., Yakovlev P., Working papers by Cornell University. Series math "arxiv.org" 2024
Handling vast amounts of data is crucial in today's world. The growth of high-performance computing has created a need for parallelization, particularly in the area of machine learning algorithms such as ANN (Approximate Nearest Neighbors). To improve the speed of these algorithms, it is important to optimize them for specific processor architectures. RISC-V (Reduced Instruction ...
Added: October 8, 2024
Лакамера Д., М.: ДМК Пресс, 2023.
Данная книга посвящена разработке встраиваемых систем с использованием STM32 с процессорными ядрами ARM. Она будет интересна инженерам и программистам для изучения системного программирования и устройства встраиваемых систем, а также в качестве учебного пособия студентам соответствующих специальностей как продвинутое изучение С/С++ для его применения на низком уровне операционной системы и драйверов устройств.
В первой главе рассказывается о ...
Added: November 4, 2023
Харрис С., Харрис Д., М.: ДМК Пресс, 2021.
This Russian edition of Digital Design and Computer Architecture: RISC-V Edition (9780128200643)
by Sarah Harris & David Harris is published by arrangement with Elsevier Inc.
The translation has been undertaken by DMK Press at its sole responsibility. Practitioners and
researchers must always rely on their own experience and knowledge in evaluating and using any
information, methods, compounds or experiments ...
Added: June 16, 2022
Tatarnikov A., Kamkin A., Проценко А. С. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2–8
In this paper, a specification-based test program generator for functional verification of RISC-V microprocessors is presented. The tool is based on the MicroTESK framework and consists of two main parts: (1) the formal specifications of the RISC-V ISA and (2) the ISA-independent generation core. Test programs are generated on the basis of the ISA specifications and test templates ...
Added: October 30, 2018
С. А. Шершаков, В кн.: XIII Апрельская международная научная конференция по проблемам развития экономики и общества: сборник студенческих работ.: М.: Издательский дом НИУ ВШЭ, 2014. С. 112–128.
Вопрос корректности программного обеспечения является одним из непреходящих в области информационных технологий. Обычно под корректностью программы подразумевают соответствие рассматриваемой программы некоторой определенным образом заданной спецификации. Обычно спецификация явно определяет, что должна делать эта система, не касаясь вопроса, каким образом. Проблема тестирования и верификации программно-аппаратных комплексов неоднократно поднималась в научных работах. Данная работа посвящена вопросам верификации ...
Added: June 1, 2014