Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Инструмент верификации протокола когерентности памяти
Молодежный научно-технический вестник # 01, январь 2013 УДК: 004.052.4
Файл статьи:
Буренков В.С..pdf
(81.13Кб)
Публикации с ключевыми словами: верификация, протокол когерентности памяти, model checking, Spin, cache coherence protocol Публикации со словами: верификация, протокол когерентности памяти, model checking, Spin, cache coherence protocol Смотри также: Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|