?
Генерация тестовых программ для микропроцессоров на основе спецификаций подсистем памяти
Известия высших учебных заведений. Физика. 2015. Т. 58. № 11-2. С. 70–74.
В работе предлагается метод автоматизированного построения тестовых программ, предназначенных для функционального тестирования подсистем памяти одноядерных микропроцессоров. Предложенный метод осно-
ван на использовании формальных спецификаций механизмов кэширования и трансляции адресов. Различные варианты метода успешно применялись для тестирования промышленных микропроцессоров.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Якименко С. И., Информационно-управляющие системы 2026 № 2 С. 36–48
Введение: кеширование позволяет снизить задержку доступа к контенту с помощью его приближения к пользователям и разгрузки облачного уровня сети. Для этого применяются граничные серверы, однако стандартный стек TCP/IP не использует возможности кеширования полностью, поэтому необходимо рассмотреть модель кеша, задействующего более приспособленный для данной функции стек Named Data Networking. Цель: разработать модели для оценки задержек доступа к ...
Добавлено: 9 марта 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Якименко С. И., Воронов А. И., Информационные технологии 2026 Т. 32 № 5 С. 243–250
Рассматриваются сети именованных данных (Named Data Networking, NDN), где адресация происходит по имени пакетов. Для данных сетей возникает задача поиска программного обеспечения для разработки учебных стендов, в первую очередь с возможностью исследования их особенностей – агрегации и кэширования. Показано, что в данной задаче предпочтительно не полагаться на готовое программное обеспечение (NDN-Play, mini-NDN), а самостоятельно разрабатывать ...
Добавлено: 1 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Атласов И. В., Горшков А. В., Каперко А. Ф. и др., Системы управления и информационные технологии 2024 № 2(96) С. 46–50
Создано аналитическое представление метода кэширования на основе использованием временных меток, обеспечивающее своевременную актуализацию кэшированных данных при клиент-серверной обработке путем вычисления минимальных временных меток. ...
Добавлено: 12 сентября 2024 г.
Александров Д. В., Калинин А. И., ИТ-Стандарт 2023 № 3 С. 23–35
Существует множество высоконагруженных систем для поиска различной информации в Интернете. Скорость поиска и качество результатов (релевантность) поиска могут быть невысокими или поисковая система может иметь недостатки в части функциональности, например, по извлечению или фильтрации данных. Цель представленной работы – предложить решение по преодолению этих недостатков на основе результатов исследования существующих подходов и сравнения современных фреймворков ...
Добавлено: 7 марта 2024 г.
Якименко С. И., В кн.: Современные сетевые технологии: труды 4-й Международной конференции "Современные сетевые технологии" (MoNeTec-2022), 27-29 октября 2022 г., г.Москва (короткие и стендовые доклады).: М.: Издательский отдел факультета ВМК МГУ им. М.В. Ломоносова, 2022. С. 70–76.
Статья посвящена вопросам кэширования в информационно-ориентированных сетях (information-centric networks, ICN), направленных на адресацию по имени контента и отделение информации от её узла-производителя. Внутрисетевое кэширование является одной из главных особенностей ICN, превращая их, по сути, в сеть взаимосвязанных кэшей, способных накапливать пакеты в буфере промежуточных маршрутизаторов, а также приближать их к потребителю с помощью периферийного кэша. ...
Добавлено: 20 декабря 2022 г.
Shushpanov I., Suslov K., Ilyushin P. и др., Energies 2021 No. 14 Article 6193
Добавлено: 29 декабря 2021 г.
Камкин А. С., М.: МАКС Пресс, 2018.
Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации ...
Добавлено: 2 ноября 2018 г.
Татарников А. Д., Камкин А. С., Проценко А. С. и др., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2–8
В работе рассматривается генератор тестовых программ, предназначенный для верификации микропроцессоров с архитектурой RISC-V. Генератор разработан на основе инструмента MicroTESK и состоит из формальных спецификаций архитектуры RISC-V и архитектурно независимого ядра. Спецификации задают синтаксис и семантику команд. Ядро реализует техники построения последовательностей команд и генерации данных. Генерация осуществляется на основе шаблонов, описывающих структурные и поведенческие свойства программ. Инструмент позволяет расширять ...
Добавлено: 30 октября 2018 г.
Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.
Добавлено: 26 октября 2018 г.
Камкин А. С., Татарников А. Д., Смолов С. А. и др., , in: 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV).: IEEE, 2015. P. 1–6.
Добавлено: 18 июля 2018 г.
Камкин А. С., Татарников А. Д., Проценко А. С. и др., , in: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV).: IEEE, 2017. P. 10–14.
Добавлено: 18 июля 2018 г.
Создание тестовых программ и анализ результатов их выполнения — основной подход к функциональной верификации микропроцессоров на системном уровне. Имеется множество методов автоматизации разработки тестовых программ, начиная от генерации случайного кода и заканчивая нацеленным построением тестов на основе моделей, однако панацеи не существует: на практике применяются комбинации различных техник, дополняющих друг друга. К сожалению, в настоящее ...
Добавлено: 5 февраля 2018 г.