情報・システム-ディペンダブルコンピューティング(開催日:2007/03/09)

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

,  

[発表日]2007/3/9
[資料番号]
目次

,  

[発表日]2007/3/9
[資料番号]
動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)

木谷 友哉,  中橋 亮,  中田 明夫,  安本 慶一,  東野 輝夫,  

[発表日]2007/3/9
[資料番号]CPSY2006-85,DC2006-99
FPGAの自己動的部分再構成を利用したセキュアなコンテンツ配信システムの構築(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)

堀 洋平,  横山 浩之,  坂根 広史,  戸田 賢二,  

[発表日]2007/3/9
[資料番号]CPSY2006-86,DC2006-100
SAに基づくFPGA配置アルゴリズムの領域分割による並列化(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)

岡嶋 知宏,  有内 雄司,  久我 守弘,  飯田 全広,  末吉 敏則,  

[発表日]2007/3/9
[資料番号]CPSY2006-87,DC2006-101
組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)

瀬戸 敏喜,  金川 太俊,  鵜林 尚靖,  鷲見 毅,  平山 雅之,  

[発表日]2007/3/9
[資料番号]CPSY2006-88,DC2006-102
HW/SWコデザインにおける共有アドレス空間を介した統一的なモジュール間インタフェースの実現法(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)

山脇 彰,  岩根 雅彦,  

[発表日]2007/3/9
[資料番号]CPSY2006-89,DC2006-103
ARM7TDMIボードへのLinux Kernel 2.6.14の移植と性能評価(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)

金子 雄,  石山 政浩,  

[発表日]2007/3/9
[資料番号]CPSY2006-90,DC2006-104
優先度付きSMTにおけるデッドラインからの遅延時間を保証可能なソフトリアルタイムスケジューリング(スケジューリング,組込技術とネットワークに関するワークショップETNET2007)

武田 瑛,  船岡 健司,  加藤 真平,  山崎 信行,  

[発表日]2007/3/9
[資料番号]CPSY2006-91,DC2006-105
マルチプロセッサにおけるスケジュール可能性を向上するための動的優先度スケジューリングアルゴリズム(スケジューリング,組込技術とネットワークに関するワークショップETNET2007)

加藤 真平,  山崎 信行,  

[発表日]2007/3/9
[資料番号]CPSY2006-92,,DC2006-106
マルチプロセッサ用実時間スケジューリングにおける周波数制御手法(スケジューリング,組込技術とネットワークに関するワークショップETNET2007)

船岡 健司,  加藤 真平,  山崎 信行,  

[発表日]2007/3/9
[資料番号]CPSY2006-93,DC2006-107
C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証,組込技術とネットワークに関するワークショップETNET2007)

松本 剛史,  瀬戸 謙修,  藤田 昌宏,  

[発表日]2007/3/9
[資料番号]CPSY2006-94,DC2006-108
論理回路のSATベース形式的検証の高速化のためのBDDを用いたCNF式生成手法(検証,組込技術とネットワークに関するワークショップETNET2007)

中村 一博,  成瀬 智啓,  高木 一義,  高木 直史,  

[発表日]2007/3/9
[資料番号]CPSY2006-95,DC2006-109
回路変更を用いたプロトタイプ設計検証における高速化(検証,組込技術とネットワークに関するワークショップETNET2007)

井上 敬太,  〓 唯頡,  木村 晋二,  

[発表日]2007/3/9
[資料番号]CPSY2006-96,DC2006-110
複写される方へ

,  

[発表日]2007/3/9
[資料番号]
奥付

,  

[発表日]2007/3/9
[資料番号]