Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 4 (2025): Часть 1 HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... The development of programmable and resource-efficient hardware accelerators for regular ..."
 
Том 36, № 5 (2024) Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ
"... of general-purpose microprocessors and FPGA-based hardware accelerators implementing the most expensive ..."
 
Том 26, № 2 (2014) Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов Аннотация  PDF (Rus)  похожие документы
О. В. Горемыкин
"... emulates a complete hardware environment including CPUs, peripheral devices (VGA cards, network interfaces ..."
 
Том 33, № 6 (2021) Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ
"... Artificial neural networks are widely spread in the modern world. Various hardware is used ..."
 
Том 34, № 5 (2022) Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ
"... Application-specific systems with FPGA accelerators are often designed using high-level synthesis ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... In this paper we consider Markov analysis of models of complex software and hardware systems ..."
 
Том 20 (2011) Использование аппаратной виртуализации в контексте информационной безопасности Аннотация  PDF (Rus)  похожие документы
Д. В. Силаков
"... The paper describes possible ways of using hardware-assisted virtualization for solving different ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..."
 
Том 34, № 3 (2022) Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов Аннотация  PDF (Rus)  похожие документы
Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ
"... Synthesis Solution. It significantly reduces the area of the hardware implementation increasing the packing ..."
 
Том 28, № 2 (2016) Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Аннотация  похожие документы
Д. Д. Кожевников, Н. В. Красилич
"... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..."
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... to the interaction of hardware and software core to ensure the stability of the physical server. The algorithms ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... Modern graphics accelerators (GPUs) can significantly speed up the execution of numerical tasks ..."
 
Том 34, № 1 (2022) Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Аннотация  PDF (Rus)  похожие документы
Александр Викторович СУРЧЕНКО
"... , where bandwidth is significantly less than in processor data buses. Hardware data compression can ..."
 
Том 34, № 3 (2022) Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов Аннотация  PDF (Rus)  похожие документы
Мария Васильевна ВАЛУЕВА, Георгий Вячеславович ВАЛУЕВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Хорхе Марио КОРТЕС-МЕНДОСА
"... , we propose a hardware implementation method with calculations in the residue number system ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... using spatial decomposition and indexing methods, hardware occlusion queries, fragmentation and caching ..."
 
Том 32, № 3 (2020) Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 Аннотация  похожие документы
Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ
"... . The proposed hardware and software data processing system based on Raspberry Pi 3 microcomputer can be used ..."
 
Том 26, № 5 (2014) Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин
"... NVIDIA GPU accelerators for a significant part of the implemented algorithms. Test results on 128-node ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... including FPGA project framework where accelerator kernel (designed in Vivado HLS) IP core ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... optimizations for the widest range of hardware platforms. This library is optimized for Intel, AMD, ARM and RISC ..."
 
Том 36, № 3 (2024) Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем Аннотация  PDF (Rus)  похожие документы
Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ
"... platform to improve the efficiency of operation of complex hardware systems. A subject area has been ..."
 
Том 18 (2010) Прозрачный механизм удаленного обслуживания системных вызовов Аннотация  PDF (Rus)  похожие документы
П. Н. Яковенко
"... is to use dedicated virtual machine to service certain hardware devices that may be used to compromise data ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... nodes with GPU accelerators) to be used in OpenFOAM. Several optimizations are described. For conjugate ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... In this paper a survey of existing methods of model extraction from hardware system descriptions ..."
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
"... (supercomputers , high performance clusters , including accelerators computing, development of 2D and 3D ..."
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
"... of stream processors in graphics accelerators and Compute Unified Device Architecture (CUDA) platform allows ..."
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... This paper touches upon the problem of the system testing of interconnected hardware modules when ..."
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... debugging mode, and the support of Nvidia’s graphic accelerators. Currently, the debugger provides launching ..."
 
Том 33, № 4 (2021) Средства захвата и обработки высокоскоростного сетевого трафика Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН
"... for this demand. These frameworks enable arbitrary packet processing systems to be built from commodity hardware ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... -purpose languages compilation which takes into account the specific factors of target hardware ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
"... for software and hardware systems, including telecommunication protocols, basic and standard interfaces ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..."
 
Том 33, № 6 (2021) Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО
"... analysis and topology generation hardware design stages. The following tools have been described: qFlow ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... for interaction with hardware and responding to stimuli. Modern microprocessor interrupt systems include hardware ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... on hardware occlusion queries. Checking for occlusion on CPU avoids transmission overhead between CPU and GPU ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... Conditional execution is a hardware feature available in some CPUs that allows assigning ..."
 
Том 24 (2013) Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных Аннотация  PDF (Rus)  похожие документы
И. В. Блудов
"... The paper analyses a behavior of the SQL standard’s table expressions in comparison ..."
 
1 - 40 из 148 результатов 1 2 3 4 > >> 

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

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