4月25日(金) 午後 座長: 吉永 努(電通大) 13:00 - 13:50 |
(1) |
13:00-13:50 |
[フェロー記念講演]同期式設計vs.非同期式設計 ~ さまざまな視点からの比較を試みる ~ |
○米田友洋(NII) |
|
13:50-14:00 |
休憩 ( 10分 ) |
4月25日(金) 午後 座長: 新井 雅之(日大) 14:00 - 15:40 |
(2) |
14:00-14:25 |
DDLセルライブラリを用いた非同期式回路設計支援環境の構築 |
○今井 雅・五十嵐大将・工藤三四郎(弘前大) |
(3) |
14:25-14:50 |
投機的シミュレーション実行基盤を用いた実時間経路予測の高速化 |
○渡部修介・尾崎敦夫・澤田めぐみ(三菱電機) |
(4) |
14:50-15:15 |
Tightly Coupled Acceleratorを用いた幅優先探索の高速化 |
○勝田裕貴・宮島敬明・野村鎮平・久原拓也(慶大)・塙 敏博(東大)・天野英晴(慶大)・朴 泰祐(筑波大) |
(5) |
15:15-15:40 |
カラム指向型データベース向けハードウェアキャッシュ機構の検討 |
○濱田耀彦・松谷宏紀(慶大) |
|
15:40-15:55 |
休憩 ( 15分 ) |
4月25日(金) 午後 座長: 松谷 宏紀(慶大) 15:55 - 17:35 |
(6) |
15:55-16:20 |
ストカスティック演算に基づく高信頼論理集積回路の構成に関する一検討 |
○片桐大作・鬼沢直哉・羽生貴弘(東北大) |
(7) |
16:20-16:45 |
車載制御ソフトウェア向けデータ保護機構 |
○武安政明・徳永雄一(三菱電機) |
(8) |
16:45-17:10 |
証明支援系Coqを使ったCCNのモデル化と検証について |
○森嶋 崇・後藤瑞貴・高橋和子(関西学院大) |
(9) |
17:10-17:35 |
ビザンチン故障的に振舞うノードを考慮した構造化P2Pネットワークの探索プロトコル |
○福本 聡・遠藤知輝・大原 衛(首都大東京)・新井雅之(日大) |