シオノ　ヤスノリ   塩野　康徳    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   専任講師
言語種別	日本語
発行・発表の年月	2012/07
形態種別	学術論文
査読	査読あり
標題	［ジャーナル論文］ Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
執筆形態	共著
掲載誌名	Journal of Information Processing
巻・号・頁	Vol. 20(No. 3),559-569頁
著者・共著者	（著者）Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida and Yasunori Shiono．
概要	副筆 ソーティングの並列化を開発事例として、CSP（Communicating Sequential Processes）の有用性を考察した。CSPをベースとし、ソーティングを並行処理システムとして設計・実装・検証を行い評価した。 スター型とリング型の実装例を用いて有用性を示した。 本人は、設計分析におけるアルゴリズムの改善と議論、それらの部分を主とした執筆作業を行った。