検索結果
検索結果
文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。
1 件見つかりました。
- 小笠原,秀美 (オガサワラ,ヒデミ) https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=2012030164
| 論文名 | 特殊化生成の分散処理に基づく正当な並列プログラム構築のための枠組 |
| 論文名(欧文) | A Framework for Construction of Correct Parallel Programs based on Distributed Specialization Generation |
| 学位授与年度 | 2011 |
| 学位種別／学位種類 | 1（課程博士） / 094（博士(情報科学)） |
| 報告番号 | 10414 |
| 学位授与年月日 | 2012-03-22 |
| 主査／副査 | 赤間,清 / 栗原,正仁 水田,正弘 棟朝,雅晴 |
| 所在 | |
| 配架番号 | |
| 備考 | |
| 内容の要旨と審査の要旨 | 10414_ogasawara.pdf |