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 ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... of work in the stages of the graphics pipeline depends on their results. Therefore, a balanced use ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... simulator. The proposed method has been implemented as a part of the HDL Retrascope framework. Experiments ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... situations (exceptions, pipeline stalls, branch mispredictions, data evictions in caches, etc.). The article ..."
 
Том 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 ..."
 
Том 27, № 3 (2015) Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Аннотация  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 ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... семейств. Мы рассмотрим методы создания ПС в линейке продуктов (ProductFamily/ProductLines), конвейере К ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... симулятором RTL-описания с помощью стандартного интерфейса PLI; библиотечные функции взаимодействуют с ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... быть исполнены на симуляторе. Предложенный метод поиска конфликтов был применен к ряду открытых ..."
 
Том 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 ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... concurrently. The problem is complicated by the compiler pipeline model: interprocedural optimization passes ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... that are overlooked in many other works, including pipeline specifics (handling of delay slots, hardware loop support ..."
 
1 - 24 из 24 результатов

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

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