08:40-08:45	開会挨拶　（ 5分 ）
3月27日(木) 午前  マルチコア・マルチプロセッサ 08:45 - 10:15
(1)	08:45-09:05	負荷変動に瞬時適応可能なマルチパフォーマンスプロセッサの設計と評価 DC2007-84 CPSY2007-80	○山口誠一朗・大山裕一郎（九大）・国武勇次（九工大）・松村忠幸・石飛百合子・山口聖貴・李　東勲・金田裕介（九大）・舟木敏正（九工大）・室山真徳・石原　亨・佐藤寿倫（九大）
(2)	09:05-09:30	チップマルチプロセッサ用の優先度付きNon-Uniformキャッシュアーキテクチャ DC2007-85 CPSY2007-81	○坂本伸昭・山崎信行（慶大）
(3)	09:30-09:50	マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化 DC2007-86 CPSY2007-82	○相庭裕史・柴田誠也・古川貴士・本田晋也・冨山宏之・高田広章（名大）
(4)	09:50-10:15	組込み向けマルチコアプロセッサMPCoreを用いた応答性/機能性両立環境評価 ～ 制御処理と情報処理の融合にむけて ～ DC2007-87 CPSY2007-83	○阿部　剛・酒井淳嗣（NEC）
	10:15-10:30	休憩　（ 15分 ）
3月27日(木) 午前  セキュリティ・その他 10:30 - 12:00
(5)	10:30-10:50	文字列に着目した情報フロー追跡によるインジェクション攻撃の検出 DC2007-88 CPSY2007-84	○勝沼　聡・塩谷亮太（東大）・入江英嗣（JST）・五島正裕・坂井修一（東大）
(6)	10:50-11:15	Linux OSのセキュリティプロセッサ向け移植 DC2007-89 CPSY2007-85	○藤松由里恵・春木洋美・橋本幹生（東芝）
(7)	11:15-11:35	Partitioning Behavioral Descriptions Exploiting Function-Level Parallelism DC2007-90 CPSY2007-86	○Yuko Hara・Hiroyuki Tomiyama・Shinya Honda・Hiroaki Takada・Katsuya Ishii（Nagoya Univ.）
(8)	11:35-12:00	AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法 DC2007-91 CPSY2007-87	○滝口真一・乃村能成・田端利宏・谷口秀夫（岡山大）
	12:00-13:00	昼食　（ 60分 ）
3月27日(木) 午後  通信 13:00 - 14:30
(9)	13:00-13:20	AnTオペレーティングシステムにおけるサーバプログラム間通信機構の評価 DC2007-92 CPSY2007-88	○岡本幸大・谷口秀夫（岡山大）
(10)	13:20-13:45	車載センサのネットワーク化を実現するハードウェアの提案と評価 DC2007-93 CPSY2007-89	○河合智之・本田晋也・冨山宏之・高田広章（名大）・石原秀昭・鈴木亨市・手嶋芳徳・松岡俊彦・山田健二（デンソー）
(11)	13:45-14:05	組込みシステム向けハードワイヤードTCP/IPオフロード・エンジンの小型化実装・高性能化手法 DC2007-94 CPSY2007-90	○橋本浩二・モシニャガ ワシリー（福岡大）
(12)	14:05-14:30	Responsive Linkを用いた実時間通信における非周期パケットスケジューリング	○藤田裕士・加藤真平・山﨑信行（慶大）
	14:30-14:45	休憩　（ 15分 ）
3月27日(木) 午後  応用 14:45 - 16:15
(13)	14:45-15:05	車両の位置情報を交換する無線プロトコルの実験 DC2007-95 CPSY2007-91	○戸田賢二（産総研）・佐谷野健二（レクセオン・テクノロジー）
(14)	15:05-15:30	Two-cycleレベルセット法による輪郭抽出処理のハードウェア化 DC2007-96 CPSY2007-92	○米澤　遼・本田郁二（慶大）
(15)	15:30-15:50	投票メモリへのアクセスを局所化した並列ハフ変換回路の構成法 DC2007-97 CPSY2007-93	○後藤正之・中村一博・浅田啓一・高木一義・高木直史（名大）
(16)	15:50-16:15	SDRプロセッサを対象としたソフトウェア自動最適化手法の提案 DC2007-98 CPSY2007-94	○池田裕司・山崎浩輔・前山利幸・武内良男（KDDI研）
	16:15-16:30	休憩　（ 15分 ）
3月27日(木) 午後  組込システム 16:30 - 18:10
(17)	16:30-16:55	組込みコンポーネントシステム向け保護機構の開発 DC2007-99 CPSY2007-95	○山田晋平・中本幸一（兵庫県立大）・安積卓也・高田広章（名大）・大山博司（オークマ）
(18)	16:55-17:20	A Realization of RPC in Embedded Component Systems DC2007-100 CPSY2007-96	○Takuya Azumi（Nagoya Univ.）・Hiroshi Oyama（OKUMA）・Hiroaki Takada（Nagoya Univ.）
(19)	17:20-17:45	携帯端末におけるカスタマイズ可能なユーザインターフェイスの構築と評価 DC2007-101 CPSY2007-97	○岡田英悟・孫　暁瑾・中本幸一（兵庫県立大）
(20)	17:45-18:10	マルチタスク環境におけるスクラッチパッドメモリ領域活用法 DC2007-102 CPSY2007-98	○高瀬英希・冨山宏之・高田広章（名大）
	-	懇親会
3月28日(金) 午前  モデル・回路 08:45 - 10:15
(21)	08:45-09:05	準形式的モデル検査のハードウェア実装による高速化の検討 DC2007-103 CPSY2007-99	○森下賢志・吉田浩章・藤田昌宏（東大）
(22)	09:05-09:30	自動車制御の実装設計向けモデルベース開発技術	○兵頭章彦・加藤直樹・於保　茂（日立）
(23)	09:30-09:50	nMOSレベルシフタ回路の性能比較手法について DC2007-104 CPSY2007-100	○大津　誠・高橋真吾・築山修治（中大）・橋本昌宜（阪大）・白川　功（兵庫県立大）
(24)	09:50-10:15	非同期式設計によるFPGA向けIEEE754準拠単精度浮動小数点除算器 DC2007-105 CPSY2007-101	○廣本正之・越智裕之（京大）・中村行宏（立命館大）
	10:15-10:30	休憩　（ 15分 ）
3月28日(金) 午前  SoC・解析 10:30 - 12:00
(25)	10:30-10:50	システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法 DC2007-106 CPSY2007-102	○小島慶久・西原　佑・松本剛史・藤田昌宏（東大）
(26)	10:50-11:15	統計的タイミング解析のための遅延およびスリューの分布表現手法について DC2007-107 CPSY2007-103	○高橋真吾・築山修治（中大）
(27)	11:15-11:35	Eclipse上に実装した組込みシステムのコード品質解析システム DC2007-108 CPSY2007-104	○中村祐一・撫原恒平（NEC）
(28)	11:35-12:00	マルチコアSoCの高度な観測を可能とするプログラマブルなデバッグ支援ハードウェアの開発 DC2007-109 CPSY2007-105	○鈴木紀章・酒井淳嗣・鳥居　淳（NEC）
	12:00-13:00	昼食　（ 60分 ）
3月28日(金) 午後  テスト・高信頼 13:00 - 14:15
(29)	13:00-13:25	モデル検査器NuSMVを利用したテストケース自動生成 DC2007-110 CPSY2007-106	○門野雅弥・土屋達弘・菊野　亨（阪大）
(30)	13:25-13:50	Synthesis for Detection of Transient Faults DC2007-111 CPSY2007-107	○Goerschwin Fey（Univ of Bremen/Univ of Tokyo）・Rolf Drechsler（Univ of Bremen）
(31)	13:50-14:15	少品種高信頼セルによる演算器の提案と評価 DC2007-112 CPSY2007-108	○鈴木一範・中田　尚・中西正樹・山下　茂・中島康彦（奈良先端大）
	14:15-14:25	休憩　（ 10分 ）
3月28日(金) 午後  タスクスケジューリング 14:20 - 16:00
(32)	14:20-14:45	タスク優先度を考慮した時間保護スケジューリングアルゴリズム DC2007-113 CPSY2007-109	○松原　豊・本田晋也・冨山宏之・高田広章（名大）
(33)	14:45-15:10	再構成オーバヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案 DC2007-114 CPSY2007-110	○西　圭祐（阪大）・木谷友哉（奈良先端大）・中田明夫（広島市大）・東野輝夫（阪大）
(34)	15:10-15:35	RTミドルウェア用の優先度によるオブジェクト管理機構 DC2007-115 CPSY2007-111	○千代浩之・武田　瑛・上山真生・加藤真平・山崎信行（慶大）
(35)	15:35-16:00	マルチプロセッサにおけるグローバルRMに基づくリアルタイムスケジューリングアルゴリズム DC2007-116 CPSY2007-112	○武田　瑛・船岡健司・加藤真平・山崎信行（慶大）
	16:00-16:15	休憩　（ 15分 ）
3月28日(金) 午後  OS・ミドルウェア 16:15 - 17:45
(36)	16:15-16:35	時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境 DC2007-117 CPSY2007-113	○石郷岡　祐・伊丹悠一・横山孝典（武蔵工大）
(37)	16:35-17:00	高精度なロボット制御のための時間管理機構の設計と実装 DC2007-118 CPSY2007-114	○上山真生・水頭一壽・山崎信行（慶大）
(38)	17:00-17:20	多様なセンサを考慮した組込み機器用ミドルウェアの開発 DC2007-119 CPSY2007-115	○川原貴裕・松浦知史・洞井晋一・藤川和利・砂原秀樹（奈良先端大）
(39)	17:20-17:45	携帯端末向けサスペンド機能利用型マルチOS環境におけるOS間通信方式 DC2007-120 CPSY2007-116	○江口悠利・中川智尋・太田　賢・竹下　敦（NTTドコモ）
	17:45-17:50	閉会挨拶　（ 5分 ）

問合先と今後の予定
DC	電子情報通信学会 ディペンダブルコンピューティング研究会（DC）   [今後の予定はこちら]
	問合先	ETNET事務局（戸田、永作） 〒305-8568 茨城県つくば市梅園1-1-1 中央第二 産業技術総合研究所 情報技術研究部門 TEL: 029-861-5875、3445 FAX: 029-861-5909 E-: ettmaist ETNET2008の懇親会のご案内 ========================= 懇親会場は、ワークショップ会場の近くにあります田代別館です。 懇親会終了後、近隣の宿泊施設にはバスでお送りします。 （ただし、安房など遠くには行けません） お申し込みは、以下のメール形式で、3/25（火）17時までに お送り下さい。 （人数把握のため早めにお申込みいただけると助かります。） 記 日時： 3/27（木） 18:30開始 懇親会場： 田代別館（会場から徒歩５分） （ 〒８９１－４２０５鹿児島県熊毛郡上屋久町宮之浦２３３０－１ TEL ０１２０－５２－１８１８ FAX ０９９７４－２－２４１９ http://www.tashirobekkan.co.jp/ websrbekn ） 会費： ５０００円程度 （ETNET2008懇親会申込書） ---------------------------------------------------------------- To: ettmaist Subject: ETNET2008-reception 懇親会申込 ========= 氏名（複数の場合、代表者に○）: 所属: Email: 電話: 連絡欄（送迎バスでの送り先などありましたら）: （3/25（火）17時までにお申し込み下さい） ----------------------------------------------------------------
CPSY	電子情報通信学会 コンピュータシステム研究会（CPSY）   [今後の予定はこちら]
	問合先	久我 守弘（熊本大） TEL 096-342-3647, FAX 096-342-3599 E-: -u
IPSJ-SLDM	システムLSI設計技術研究会（IPSJ-SLDM）   [今後の予定はこちら]
	問合先
IPSJ-EMB	組込みシステム研究会（IPSJ-EMB）   [今後の予定はこちら]
	問合先

Last modified: 2008-03-20 21:18:41