通信-通信方式(開催日：2010/07/26)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2010/7/26
[資料番号]
目次

,  

[発表日]2010/7/26
[資料番号]
動的再構成可能プロセッサの離散シミュレータの開発(コンカレントシステム,離散事象システム及び一般)

沈 忱,  中居 祐輝,  山根 智,  

[発表日]2010/7/26
[資料番号]CST2010-32
OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)

清野 貴博,  中村 正樹,  

[発表日]2010/7/26
[資料番号]CST2010-33
定常連続システムから離散状態システムを得るための一手法(コンカレントシステム,離散事象システム及び一般)

松本 忠,  恐神 正博,  茂呂 征一郎,  

[発表日]2010/7/26
[資料番号]CST2010-34
Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)

神志那 純,  潮 俊光,  木下 佳樹,  

[発表日]2010/7/26
[資料番号]CST2010-35
事象駆動とスケジュールを併用した離散事象システム制御における動的対応後の既定計画への復帰手法(コンカレントシステム,離散事象システム及び一般)

萩原 雅,  高橋 宏治,  

[発表日]2010/7/26
[資料番号]CST2010-36
マルチプロセッサスケジューリングにおけるタスクグラフのブロック分割について(コンカレントシステム,離散事象システム及び一般)

陳 霖,  川淵 美奈,  葛 崎偉,  中田 充,  斗納 宏敏,  岡本 貴子,  穴吹 篤志,  

[発表日]2010/7/26
[資料番号]CST2010-37
複写される方へ

,  

[発表日]2010/7/26
[資料番号]
奥付

,  

[発表日]2010/7/26
[資料番号]
裏表紙

,  

[発表日]2010/7/26
[資料番号]