2024-03-29T11:37:01Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00017458
2023-12-19T02:31:42Z
312:1331:1332
並行分散計算特論
結縁, 祥治
open access
本資料は、名古屋大学の教員結縁祥治によって作成され、名大の授業Webサイトに掲載された「並行分散計算特論(2011)」から講義資料のみを登録したものです。 Copyright(C)2011 結縁祥治
並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。
名古屋大学オープンコースウェア委員会
2013-01-15
jpn
learning object
http://hdl.handle.net/2237/19541
https://nagoya.repo.nii.ac.jp/records/17458
https://ocw.nagoya-u.jp/courses/0305-並行分散計算特論-2011/
https://nagoya.repo.nii.ac.jp/record/17458/files/1st.pdf
application/pdf
163.0 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/2nd.pdf
application/pdf
93.0 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/3rd.pdf
application/pdf
80.3 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/4th.pdf
application/pdf
74.2 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/5th.pdf
application/pdf
54.6 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/6th.pdf
application/pdf
65.8 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/7th.pdf
application/pdf
61.4 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/8th.pdf
application/pdf
95.8 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/9th.pdf
application/pdf
47.5 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/10th.pdf
application/pdf
81.6 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/11th.pdf
application/pdf
89.0 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/12th.pdf
application/pdf
75.2 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/13th.pdf
application/pdf
165.6 kB
2018-02-21
https://nagoya.repo.nii.ac.jp/record/17458/files/14th.pdf
application/pdf
80.8 kB
2018-02-21