Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... the pipeline of the target processor. A pipeline model has high impact on an overall structure of a simulator ..."
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... . Naturally, the memory subsystem software model is an important component of the cycle-accurate simulator ..."
 
Том 28, № 2 (2016) Моделирование конвейера распознавания людей в системах контроля доступа Аннотация  похожие документы
Ф. Гёссен, Т. Маргариа, Т. Гёке
"... for each individual approaching the sensor. All three prototypes implement a data processing pipeline ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... “outer world” and deterministic part of the simulator. All inputs from the “outer world” are written ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... , and hardware timers. During replay we read these events from the log and put them back into the simulator ..."
 
Том 33, № 1 (2021) Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы Аннотация  PDF (Rus)  похожие документы
Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... of work in the stages of the graphics pipeline depends on their results. Therefore, a balanced use ..."
 
Том 35, № 2 (2023) Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека Аннотация  PDF (Rus)  похожие документы
Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ
 
Том 18 (2010) Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов Аннотация  PDF (Rus)  похожие документы
Д. Н. Воробьев, А. С. Камкин
"... instruction set and description of pipeline hazards templates. The use of formal specifications allows ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... verification overhead. The model of imitator has been included into the functional machine simulator ..."
 
Том 37, № 2 (2025) Численное исследование турбулентного диффузионного пламени на поверхности полиметилметакрилата на основе открытого пакета FDS Аннотация  PDF (Rus)  похожие документы
Габриела МОРАР, Александр Иванович КАРПОВ, Артем Андреевич ШАКЛЕИН
"... Dynamics Simulator (FDS), a detailed numerical investigation of flame structure and propagation were ..."
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
"... детерминированного воспроизведения в симуляторе QEMU 2.0. Предлагаются несколько способов повышения ..."
 
Том 32, № 4 (2020) Извлечение логической структуры из сканированных документов Аннотация  PDF (Rus)  похожие документы
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
"... be performed automatically. The paper describes the pipeline for scanned documents processing. The method ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... interpretation framework are used together to define a model pipeline for a target instruction set architecture ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... simulator. The proposed method has been implemented as a part of the HDL Retrascope framework. Experiments ..."
 
Том 33, № 3 (2021) Метод анализа производительности критичных по времени приложений с помощью DB-Nets Аннотация  похожие документы
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ
"... on an extension of Renew software tool, which is a reference net simulator. The testing input for the software ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... situations (exceptions, pipeline stalls, branch mispredictions, data evictions in caches, etc.). The article ..."
 
Том 34, № 2 (2022) Модификация метода расчета полигенных рисков с использованием графа вариации Аннотация  PDF (Rus)  похожие документы
Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ
 
Том 31, № 6 (2019) Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров
"... from WRF-ARW to a smaller scale model within the future use of Simulator fOr Wind Farm Applications ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... generation, and FSA comparison. The solution is supported by the Simulator Extensions feature whose ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... семейств. Мы рассмотрим методы создания ПС в линейке продуктов (ProductFamily/ProductLines), конвейере К ..."
 
Том 27, № 3 (2015) Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Аннотация  PDF (Rus)  похожие документы
И. П. Болодурина, Д. И. Парфёнов
"... описанным метрикам. Предложенные в рамках данной статьи решения являются основой разработанного симулятора ..."
 
Том 33, № 6 (2021) Обзор методов функционального онлайн-тестирования микропроцессоров Аннотация  PDF (Rus)  похожие документы
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО
"... и от функциональной верификации моделей микропроцессоров, проводимой в симуляторе (где можно ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... методов-симуляторов используется специальный механизм, который сопоставляет их имена и имена реальных ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..."
 
Том 33, № 4 (2021) Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве Аннотация  похожие документы
Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА
"... between the NPU processing pipelines. ..."
 
Том 36, № 1 (2024) Нейросетевые методы сжатия векторов для задачи приближенного поиска ближайших соседей Аннотация  PDF (Rus)  похожие документы
Игорь Олегович БУЯНОВ, Василий Владимирович ЯДРИНЦЕВ, Илья Владимирович СОЧЕНКОВ
"... of vector compression in the pipeline of approximate nearest neighbor search. The evaluation was conducted ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... симулятором RTL-описания с помощью стандартного интерфейса PLI; библиотечные функции взаимодействуют с ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... быть исполнены на симуляторе. Предложенный метод поиска конфликтов был применен к ряду открытых ..."
 
Том 34, № 6 (2022) Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус” Аннотация  PDF (Rus)  похожие документы
Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ
"... of executing devices, pipeline, data pre-pumping, clock frequency, etc. Theoretical and experimental results ..."
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
"... networks, such as wired and wireless communication systems, networks of roads and pipelines. The support ..."
 
Том 32, № 4 (2020) Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ
"... and scope of application of VES, scientific visualization systems, video simulators and virtual laboratories ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... that are overlooked in many other works, including pipeline specifics (handling of delay slots, hardware loop support ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... concurrently. The problem is complicated by the compiler pipeline model: interprocedural optimization passes ..."
 
1 - 35 из 35 результатов

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

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