model checking data consistency for cache coherence protocols

Autoria(s): Pan Hong; Lin Huimin; Lv Yi
Data(s)

2006
Identificador

http://ir.iscas.ac.cn/handle/311060/3202

http://www.irgrid.ac.cn/handle/1471x/66793
Fonte

Pan Hong; Lin Huimin; Lv Yi.model checking data consistency for cache coherence protocols,Springer New York LLC,2006,21(5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC):765-775
Palavras-Chave #concurrent systems #cache coherence protocols #value-passing #symbolic transition graphs #model checking #VERIFICATION
Tipo

期刊论文
Acesso ao item digital