通信-通信方式(開催日:2010/01/14)

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

,  

[発表日]2010/1/14
[資料番号]
目次

,  

[発表日]2010/1/14
[資料番号]
Note

,  

[発表日]2010/1/14
[資料番号]
検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)

中島 震,  谷津 弘一,  野中 哲,  佐原 伸,  

[発表日]2010/1/14
[資料番号]CST2009-37
瞬時電源遮断機構を用いたマルチコアSoC向け省電力ソフトウェア実行環境(組込みシステム,一般)

小野内 雅文,  十山 圭介,  野尻 徹,  佐藤 真琴,  間瀬 正啓,  白子 準,  佐藤 未来子,  高田 雅士,  伊藤 雅之,  水野 弘之,  並木 美太郎,  木村 啓二,  笠原 博徳,  

[発表日]2010/1/14
[資料番号]CST2009-38
車載組込みシステム向けの要求分析手法(組込みシステム,一般)

荒木 円博,  田中 聡,  

[発表日]2010/1/14
[資料番号]CST2009-39
プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)

海津 智宏,  磯部 祥尚,  鈴木 正人,  

[発表日]2010/1/14
[資料番号]CST2009-40
省電力を考慮した市場モデルによるメニーコアプロセッサのコア配分(組込みシステム,一般)

宮城 拓人,  山崎 達志,  

[発表日]2010/1/14
[資料番号]CST2009-41
マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法(組込みシステム,一般)

寺田 早百合,  潮 俊光,  

[発表日]2010/1/14
[資料番号]CST2009-42
大規模分散組込みシステム向け仮想実行環境の開発 : 現状報告(組込みシステム,一般)

中本 幸一,  藪内 健二,  尾崎 辰典,  原 央哉,  岸田 貴成,  阿部 一晴,  北村 章,  

[発表日]2010/1/14
[資料番号]CST2009-43
予防安全システム評価シミュレータSTREET(招待講演)

町田 貴史,  安田 浩志,  小里 明男,  山田 直之,  岩瀬 竜也,  倉橋 哲郎,  森 博子,  北岡 広宣,  

[発表日]2010/1/14
[資料番号]CST2009-44
Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般)

山口 真悟,  濱野 慎司,  黒田 祐樹,  田中 稔,  

[発表日]2010/1/14
[資料番号]CST2009-45
離散事象システムにおける事象駆動制御とスケジュールベース制御の併用手法(一般)

萩原 雅,  高橋 宏治,  

[発表日]2010/1/14
[資料番号]CST2009-46
多種作業が複数混在するシステムにおける作業進捗制御の可視化のためのモデリング(一般)

遠藤 充泰,  高橋 宏治,  

[発表日]2010/1/14
[資料番号]CST2009-47
救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討(一般)

富澤 秀治,  永井 昌寛,  太田 淳,  

[発表日]2010/1/14
[資料番号]CST2009-48
タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)

村田 大二郎,  三部 良太,  磯部 祥尚,  

[発表日]2010/1/14
[資料番号]CST2009-49
Mariaを用いたマルチエージェントネットのモジュラー可達性解析(一般)

堀口 恭太,  宮本 俊幸,  

[発表日]2010/1/14
[資料番号]CST2009-50
同形グラフの節点対応におけるカーネルセットの提案とその性質について(一般)

浮田 三晴,  池田 雄紀,  葛 崎偉,  中田 充,  

[発表日]2010/1/14
[資料番号]CST2009-51
時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化(一般)

野村 雅司,  高井 重昌,  

[発表日]2010/1/14
[資料番号]CST2009-52
アクティビティ図によるコレオグラフィ実現に関する研究(一般)

赤松 賢治,  藤井 拓,  宮本 俊幸,  

[発表日]2010/1/14
[資料番号]CST2009-53
12>> 1-20hit(22hit)