Детальная информация

Викторов, Юрий Олегович. Анализ и верификация задержек в микроархитектуре коммуникационных фабрик [Электронный ресурс]: автореф. дис. … канд. техн. наук: 05.13.05 / Викторов Юрий Олегович; Санкт-Петербургский государственный политехнический университет. — Электрон. текстовые дан. (1 файл: 652 Кб). — Санкт-Петербург, 2013. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/3694.pdf>.

Дата создания записи: 04.03.2014

Тематика: Микропроцессоры — Архитектура; коммуникационные фабрики; верификация

УДК: 004.4'426(043.3)

Коллекции: Научные работы аспирантов/докторантов; Общая коллекция

Разрешенные действия: Прочитать Загрузить (0,6 Мб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Диссертационная работа посвящена анализу моделей микроархитектуры систем на кристалле на ранних этапах разработки, с целью получения надежных оценок задержки передачи данных. Помимо задачи получения оценок решается задача их формальной верификации за малое время с использованием стандартных средств. Актуальность задачи объясняется потребностью сокращения сроков разработки и снижения стоимости систем на кристалле.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 509
За последние 30 дней: 6
Подробная статистика