Jump to main content
図書

ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証

Icons representing 図書

ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証

Call No. (NDL)
Y151-H12680361
Bibliographic ID of National Diet Library
000007087221
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
平石, 裕実 ヒライシ, ヒロミ
Publication Date
2000-2002
Publication Date (W3CDTF)
2000
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
設計検証 セツケイケンシヨウ
論理設計 ロンリセツケイ
形式的検証 ケイシキテキケンシヨウ
並列処理 ヘイレツシヨリ
分散処理 ブンサンシヨリ
クラスタシステム クラスタシステム