3月 第4回 CSP研究会「CSPモデルを用いたアプリケーションの実装」

「XMOSとWindows PCを結ぶネットワークチャネル」 中原博史　（北海道職業能力開発大学校）
「XMOSとJavaVMを結ぶネットワークチャネルとその通信速度」 中根義人　（北海道職業能力開発大学校）
「並列処理でのエンタープライズシステムの開発」 大森健児　（法政大学）
「XMOSを用いた並行ソートアルゴリズム実装」 長谷川侑輝　（東洋大学）
「並列処理システムのためのNoCの開発」 田中和人　（首都大学東京）
「Fault-Toleranceとoccamハーネス」 松井和人
「CSPプロセスの解析支援ツールの試作〜仕様の自動生成を目指して〜」 磯部祥尚　（産業技術総合研究所）
「Timed CSP検証技法の提案」 山川 武志　（首都大学東京）
「XMOS製品のUpdates !!」 XMOS代理店
「CSP研究会2年目、今後の進め方についてのご相談」 松井和人

< 2009 | 2010