3月2日(金) 午後 設計環境
座長: 戸川 望 (早大)
13:00 - 14:00 |
| (1) |
13:00-13:30 |
QEMUとSystemCを用いたNoC向け仮想プラットフォームの開発
○中島啓太・稗田拓路・谷口一徹・冨山宏之（立命館大） |
| (2) |
13:30-14:00 |
組込みシステム向けメニーコア用OpenCL環境
○稗田拓路・西山直樹・谷口一徹・冨山宏之（立命館大）・井上弘士（九大） |
| |
14:00-14:15 |
休憩 （ 15分 ） |
3月2日(金) 午後 設計技術
座長: 稗田 拓路 (立命館大)
14:15 - 16:15 |
| (3) |
14:15-14:45 |
2コアプロセッサL1キャッシュ構成の正確で高速なシミュレーション手法
○多和田雅師・柳澤政生・戸川望（早大） |
| (4) |
14:45-15:15 |
RDRアーキテクチャを対象とした部分2重化フォールトセキュア高位合成手法
○田中翔・柳澤政生・戸川望（早大） |
| (5) |
15:15-15:45 |
論理関数の充足不可能性に注目した論理回路デバッグ手法の検討
○李在城・松本剛史（東大)・藤田昌宏(東大/JST CREST) |
| (6) |
15:45-16:15 |
経年劣化を考慮した統計的遅延解析の一手法
○築山修治（中大）・福井正博（立命館大） |
| |
16:15-16:30 |
休憩 （ 15分 ） |
3月2日(金) 午後 設計事例
座長: 松本 剛史 (東大)
16:30 - 18:00 |
| (7) |
16:30-17:00 |
セレクタ論理を利用した高速補間演算器設計
○岩田愛実・吉原弘峰・柳澤政生・戸川望（早大） |
| (8) |
17:00-17:30 |
負論理実装を可能とする新型光再構成型ゲートアレイVLSI
○森脇烈・渡邊実(静岡大） |
| (9) |
17:30-18:00 |
ユビキタスプロセッサチップの開発設計
○内海晴信・深瀬政秋・佐藤友暁(弘前大） |
3月2日(金) 午後 組込みシステム開発手法
座長: 中本 幸一（兵庫県立大）
13:00 - 15:00 |
| (10) |
13:00-13:30 |
階層型状態遷移図に基づく安全分析手法
○金周慧・松原豊・高田広章(名大） |
| (11) |
13:30-14:00 |
ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法
○松原正裕・櫻井康平・成沢文雄・山中久光（日立） |
| (12) |
14:00-14:30 |
SysMLを用いたシステム開発における制約の充足可能性検証
○福田哲志・久住憲嗣・福田晃(九大） |
| (13) |
14:30-15:00 |
組込みシステムにおける消費エネルギー削減のためのスラック時
間の活用
○三輪遼平・高瀬英希・曾剛・高田広章（名大） |
| |
15:00-15:15 |
休憩 （ 15分 ） |
3月2日(金) 午後 GPUとマルチコア
座長: 天野 英晴（慶大）
15:15 - 17:15 |
(14)
CPSY |
15:15-15:45 |
プロファイルに基づくGPGPUのためのソースコード変換コンパイラ  CPSY2011-83 DC2011-87 |
○湯本厚史・杉野暢彦（東工大） |
(15)
CPSY |
15:45-16:15 |
ヘテロジニアスなマルチコアプロセッサ向け分散TLB機構の設計と実装 CPSY2011-84 DC2011-88 |
○川瀬大樹・水頭一壽・松谷宏紀・山崎信行（慶大） |
(16)
CPSY |
16:15-16:45 |
ヘテロジニアスなマルチコアプロセッサ向けI/O制御機構の設計と実装 CPSY2011-85 DC2011-89 |
○川口雄輝・水頭一壽・松谷宏紀・山崎信行（慶大） |
(17)
CPSY |
16:45-17:15 |
グラフ後方依存への重み付けによるマルチコアタスク配置手法 CPSY2011-86 DC2011-90 |
○鈴木紀章・久村孝寛・中村祐一（NEC） |
| |
17:15-17:30 |
休憩 （ 15分 ） |
3月3日(土) 午前 車載システム
座長: 木村 啓二（早大）
09:00 - 10:00 |
| (18) |
09:00-09:30 |
Cloudia：車載データ統合プラットフォーム －基本コンセプト－
○佐藤健哉(同志社大)・勝沼聡・山口晃広・島田秀輝(同志社大)・本田晋也(名大)・中本幸一(兵庫県立大)・高田広章(名大） |
| (19) |
09:30-10:00 |
ハードリアルタイム性を考慮したFlexRayのバス帯域幅の最小化技術
○杉原真・岩永明人（九大） |
| |
10:00-10:15 |
休憩 （ 15分 ） |
3月3日(土) 午前 組込みシステムソフトウェア
座長: 早川 栄一（拓殖大）
10:15 - 11:45 |
| (20) |
10:15-10:45 |
Androidにおける遠隔サービス呼出し機能の開発
○中尾和弘・中本幸一(兵庫県立大） |
| (21) |
10:45-11:15 |
オブジェクトファイルの細分化機構と応用
○河合夏輝・笹田耕一(東大） |
| (22) |
11:15-11:45 |
JISX0180:2011「組込みソフトウェア向けコーディング規約の作成方法」を用いたParallelizable Cの定義
○木村啓二・間瀬正啓・笠原博徳（早大） |
| |
11:45-13:00 |
昼食 （ 75分 ） |
3月3日(土) 午後 組込みアーキテクチャ
座長: 武内 良典（阪大）
13:00 - 14:30 |
| (23) |
13:00-13:30 |
組み込みシステムのGPGPU適用のためのアーキテクチャ提案
○山木戸伸行・長谷川修（東工大） |
| (24) |
13:30-14:00 |
Responsive Linkを用いた分散リアルタイムシステムにおけるルーティング手法
○吉住修・松谷宏紀・山崎信行(慶大) |
| (25) |
14:00-14:30 |
不揮発性ＣＰＵを用いた待機電力ゼロの電子システムの検討
○根橋竜介・辻幸秀・崎村昇・渡邊義和・壬生 亮太・森岡あゆ香・宮村信・杉林直彦（NEC）・中本幸一（兵庫県立大） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
3月3日(土) 午後 ソフトウェア／ハードウェア協調設計
14:45 - 16:15 |
| (26) |
14:45-15:15 |
SLDS機構を用いたSytemC-Verilog HDLトランスレータの開発
○佐藤賢文・三井浩康(東京電機大） |
| (27) |
15:15-15:45 |
ADLからの精度変更可能な 命令セットシミュレータ生成手法の提案
○井田健太・坂主圭史・武内良典・今井正治（阪大） |
| (28) |
15:45-16:15 |
FPGA上で動作可能なマルチプロセッサ向けのRTOSの提案
○古谷拓之・北道淳司(会津大） |
3月3日(土) 午前 設計ツールとフレームワーク
座長: 緑川 博子（成蹊大）
09:00 - 11:30 |
(29)
CPSY |
09:00-09:30 |
Cell Broadband Engineクラスタ向けスレッド仮想化環境におけるMapReduceフレームワークの実装と評価 CPSY2011-87 DC2011-91 |
○山田昌弘・中浜徹也（慶大）・吉見真聡（同志社大）・天野英晴（慶大） |
(30)
CPSY |
09:30-10:00 |
Cell/B.E.クラスタにおけるMPI自動拡張ツールの実装と評価 CPSY2011-88 DC2011-92 |
○中浜徹也・山田昌弘（慶大）・吉見真聡（同志社大）・天野英晴（慶大） |
| (31) |
10:00-10:30 |
キャンセル |
(32)
CPSY |
10:30-11:00 |
マルチスレッドプロセッサ向け組込みJava VMの実装 CPSY2011-89 DC2011-93 |
○伊藤康人・千代浩之・松谷宏紀・山崎信行（慶大） |
(33)
CPSY |
11:00-11:30 |
JITコンパイル方式による動的言語処理系の自動並列化の一手法 CPSY2011-90 DC2011-94 |
○池田涼太郎・杉野暢彦（東工大） |
| |
11:30-13:00 |
昼食 （ 90分 ） |
3月3日(土) 午後 ディペンダビリティと評価
座長: 米田 友洋(NII)
13:00 - 15:00 |
(34)
CPSY |
13:00-13:30 |
FPGAを用いたUltra-Android用性能評価システムの開発 CPSY2011-91 DC2011-95 |
○戸田賢二・森川 治（産総研）・森本智之・萩本有哉・内田裕之・引地信之・日比康守・松本祐教（トプスシステムズ） |
(35)
CPSY |
13:30-14:00 |
システムの高信頼化に向けたSupervisor Processorの一検討 CPSY2011-92 DC2011-96 |
○藤野 誠・一ノ宮佳裕・田中宏樹・吉浦紗也加・久我守弘・尼崎太樹・飯田全広・末吉敏則（熊本大） |
(36)
DC |
14:00-14:30 |
ソフトウェアによる時分割処理可能なRAM診断手法 CPSY2011-93 DC2011-97 |
○市岡怜也（三菱電機） |
(37)
DC |
14:30-15:00 |
パイプラインプロセッサ向けカスケードTMRにおける遺伝的アルゴリズムを用いた構成探索 CPSY2011-94 DC2011-98 |
新井雅之・○井出 創・岩崎一彦（首都大東京） |
t
m
aist
: 
io
ulty
ba-u
g
s