Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
CST2010-32
動的再構成可能プロセッサの離散シミュレータの開発
○沈 忱・中居佑輝・山根 智（金沢大）
pp. 1 - 6
CST2010-33
OTS/CafeOBJ法に基づく並行システムの実装とテスト生成
○清野貴博（産総研）・中村正樹（金沢大）
pp. 7 - 12
CST2010-34
定常連続システムから離散状態システムを得るための一手法
○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大）
pp. 13 - 18
CST2010-35
Mealyオートマトンのスーパバイザ制御の余代数による解析
○神志那 純・潮 俊光（阪大）・木下佳樹（産総研）
pp. 19 - 24
CST2010-36
事象駆動とスケジュールを併用した離散事象システム制御における動的対応後の既定計画への復帰手法
○萩原 雅・高橋宏治（東工大）
pp. 25 - 30
CST2010-37
マルチプロセッサスケジューリングにおけるタスクグラフのブロック分割について
陳 霖・○川淵美奈・葛 崎偉・中田 充（山口大）・斗納宏敏・岡本貴子・穴吹篤志（富士通テン）
pp. 31 - 34
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．