Другие журналы
Сетевое издание Машины и установки: проектирование, разработка и эксплуатация

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл. № ФС 77-61859. ISSN 2412-592X

Публикации с ключевым словом - cache coherence protocol

Найдено: 1
Инструмент верификации протокола когерентности памяти
# 01, январь 2013
УДК: 004.052.4
Буренков В. С.
Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы model checking, к верификации протоколов когерентности памяти. Предлагается инструмент верификации протокола когерентности памяти. Определяется ограничение на количество процессорных узлов системы, которая может быть проверена с помощью Spin.
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2017 «Машины и установки: проектирование, разработка и эксплуатация» Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)