• Top
  • Details (Local collection)
自動並列化コンパイラの正当性と性能評価への形式的仕様記述の適用に関する研究

自動並列化コンパイラの正当性と性能評価への形式的仕様記述の適用に関する研究

ジドウ ヘイレツカ コンパイラ ノ セイトウセイ ト セイノウ ヒョウカ エノ ケイシキテキ シヨウ キジュツ ノ テキヨウ ニ カンスル ケンキュウ

高田司郎

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

Thesis / Diss.

Volume No.

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

1

R000060

2

  • [IS]1995(5)

Restricted

Details

Publication year

1995

Form

42p

Series title

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

Note

学位記番号: 修第29号

授与年月日: 1995/03/24

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

学生番号: 0351052

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

高田, 司郎 (タカタ, シロウ)

Subject

形式的仕様記述

Duration Calculi

時間論理

自動並列化コンパイラ

最小実行時間スケジューリング