?
Генерация тестовых программ для микропроцессоров на основе спецификаций подсистем памяти
Известия высших учебных заведений. Физика. 2015. Т. 58. № 11-2. С. 70–74.
В работе предлагается метод автоматизированного построения тестовых программ, предназначенных для функционального тестирования подсистем памяти одноядерных микропроцессоров. Предложенный метод осно-
ван на использовании формальных спецификаций механизмов кэширования и трансляции адресов. Различные варианты метода успешно применялись для тестирования промышленных микропроцессоров.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 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 г.
Добавлено: 21 ноября 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.
Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...
Добавлено: 5 октября 2025 г.
Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.
Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...
Добавлено: 5 октября 2025 г.
Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.
Добавлено: 23 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.
Добавлено: 17 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.
Добавлено: 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 г.