図書

部分計算法を応用した逐次型プロセスの並列化についての研究

Icons representing 図書

部分計算法を応用した逐次型プロセスの並列化についての研究

Call No. (NDL)
Y151-H07680359
Bibliographic ID of National Diet Library
000007009613
Material type
図書
Author
村上, 昌己, 岡山大学
Publisher
-
Publication date
1995-1997
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
1995-1997
Publication Date (W3CDTF)
1995
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
プログラム変換 プログラムヘンカン
部分計算 ブブンケイサン
並行プロセス ヘイコウプロセス
π計算 パイケイサン
並行論理型言語 ヘイコウロンリガタゲンゴ
CSP CSP
並行化 ヘイコウカ
true concurroncy TRUECONCURRONCY