図書

超高速非同期式システムのための設計および検証ツ-ルに関する研究

Icons representing 図書

超高速非同期式システムのための設計および検証ツ-ルに関する研究

Call No. (NDL)
Y151-H12680334
Bibliographic ID of National Diet Library
000007087211
Material type
図書
Author
米田, 友洋, 国立情報学研究所
Publisher
-
Publication date
2000-2002
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

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.

Paper

Material Type
図書
Title Transcription
チョウコウソク ヒドウキシキ システム ノ タメ ノ セッケイ オヨビ ケンショウ ツ-ル ニ カンスル ケンキュウ
Author/Editor
米田, 友洋, 国立情報学研究所
Author Heading
著者 : 米田, 友洋, 1957- ヨネダ, トモヒロ, 1957- ( 00182820 )Authorities
Publication Date
2000-2002
Publication Date (W3CDTF)
2000
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
非同期式回路 ヒドウキシキカイロ
形式的検証 ケイシキテキケンシヨウ
3値2線式符号 3チ2センシキフゴウ
高位記述 コウイキジユツ
有限幅遅延モデル ユウゲンハバチエンモデル
タイムペトリネツト タイムペトリネツト
Partial order reduction PARTIALORDERREDUCTION