Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title Transcription
- ヘイコウ ドウサ ジュンジョ カイロ システム ノ セッケイ ト ケンショウ ニ カンスル ケンキュウ
- Author/Editor
- 谷口, 健一, 大阪大学
- Author Heading
- 谷口, 健一 タニグチ, ケンイチ
- Publication Date
- 1999-2000
- Publication Date (W3CDTF)
- 1999
- Extent
- 冊
- Additional Title
- 研究種目 基盤研究(C)
- Subject Heading
- 拡張有限状態機械 カクチヨウユウゲンジヨウタイキカイ時間オートマトン ジカンオートマトン記号モデル検査 キゴウモデルケンサプレスブルガー文 プレスブルガーブンout-of-order型パイプラインCPU OUT-OF-ORDERガタパイプラインCPU