• Top
  • Details (Local collection)
異なる並列度をもつ並列プロセス間の変換手法

異なる並列度をもつ並列プロセス間の変換手法

コトナル ヘイレツド オ モツ ヘイレツ プロセスカン ノ ヘンカン シュホウ

喜家村奨

生駒 : 奈良先端科学技術大学院大学, 2000.9

Thesis / Diss.

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R001727

2

  • [IS]2000(13)

Restricted

Details

Publication year

2000

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2000年9月

Note

学位記番号: 修第1454号

授与年月日: 2000/09/29

学位の種類: 修士(工学)

学生番号: 9851202

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

喜家村, 奨 (キヤムラ, ススム)

Subject

並列システム

遷移システム(LTS)

要求仕様

実装レベル仕様

双模倣等価