Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл No. ФС77-51038. ISSN 2307-0609

Публикации с ключевым словом - model checking

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



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2017 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98