文献
J-GLOBAL ID:201702258116135244
整理番号:17A0754914
キャッシュコヒーレンスプロトコルと通信構造のデッドロック検証【Powered by NICT】
Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
著者 (4件):
Verbeek Freek
(Open University of The Netherlands, Heerlen, DL, The Netherlands)
,
Yaghini Pooria M.
(University of California, Irvine, CA)
,
Eghbal Ashkan
(University of California, Irvine, CA)
,
Bagherzadeh Nader
(University of California, Irvine, CA)
資料名:
IEEE Transactions on Computers
(IEEE Transactions on Computers)
巻:
66
号:
2
ページ:
272-284
発行年:
2017年
JST資料番号:
C0233A
ISSN:
0018-9340
CODEN:
ICTOB4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)