並列プログラムの検証体系に関する論理学的研究
名古屋大学博士学位論文 学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日
Main Authors: | 村上, 昌己, Murakami, Masaki |
---|---|
Language: | ja |
Published: |
1985
|
Online Access: | http://hdl.handle.net/2237/12489 |
Similar Items
-
データ並列プログラムのための自動並列化コンパイラの研究
by: 窪田, 昌史
Published: (2010) -
計算機クラスタ環境におけるプログラム並列化処理に関する研究
by: 朝倉, 宏一, et al.
Published: (2002) -
プログラムの制御依存を緩和し並列性を引き出すプロセッサに関する研究
by: 小林, 良太郎, et al.
Published: (2001) -
静的解析による並列論理型言語KL1の実行最適化に関する研究
by: 大野, 和彦
Published: (2009) -
2分決定グラフの処理技術と論理回路の設計/検証技術に関する研究
by: 藤井, 洋重
Published: (2014)