文献
J-GLOBAL ID:200902206846414273
整理番号:07A0602221
フィードバック調整したMarkovモデルによるマイクロプロセッサの検証
Microprocessor Verification via Feedback-Adjusted Markov Models
著者 (3件):
WAGNER Ilya
(Univ. Michigan, MI, USA)
,
BERTACCO Valeria
(Univ. Michigan, MI, USA)
,
AUSTIN Todd
(Univ. Michigan, MI, USA)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
26
号:
6
ページ:
1126-1138
発行年:
2007年06月
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)