WEKO3
アイテム
並行分散計算特論
http://hdl.handle.net/2237/19541
http://hdl.handle.net/2237/1954135bab429-aa5c-41b6-ada2-2f88d230452b
| アイテムタイプ | 教材 / Learning Material(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2014-03-07 | |||||
| タイトル | ||||||
| タイトル | 並行分散計算特論 | |||||
| 言語 | ja | |||||
| 著者 |
結縁, 祥治
× 結縁, 祥治 |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | 本資料は、名古屋大学の教員結縁祥治によって作成され、名大の授業Webサイトに掲載された「並行分散計算特論(2011)」から講義資料のみを登録したものです。 Copyright(C)2011 結縁祥治 | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。 | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | 名古屋大学オープンコースウェア委員会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_e059 | |||||
| タイプ | learning object | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://ocw.nagoya-u.jp/courses/0305-並行分散計算特論-2011/ | |||||
| 書誌情報 |
発行日 2013-01-15 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/19541 | |||||
| 識別子タイプ | HDL | |||||
