13:00-14:50 | 9:00-17:00 |
企画セッション:スマートタブレットの省電力 中島震(NII)、山本英雄(早稲田大)、三輪忍(東大) |
ロボットチャレンジ:デモセッション |
15:00-15:50 | |
チュートリアル 「PyCoRAMによるPythonを用いたポータブルなFPGAアクセラレータ開発」 |
|
16:00-16:50 | |
チュートリアル 「Synthesijerを使ったJavaによるFPGA開発のはじめ方」 |
|
9:50-10:00 | |
オープニング |
|
10:00-11:00 | |
基調講演1 「ゲノム情報からのビッグデータの解析」 |
|
11:10-12:30 | |
■モデル検査 (R1) 回路分割機構を備えた高位合成ツールによる検証回路の生成(R) (R2) 組込みアセンブリプログラムのモデル構築によるモデル検査(R)
(R3) 組込みアセンブリプログラム解析によるSMTモデル検査(RS)
| |
13:30-15:00 | 13:30-15:20 |
■性能モデリング (R4) 車載ソフトウェアに対するレンジ解析手法の提案(R)
(R5) 周期タスクのジッタを軽減するリアルタイムスケジューリング(R)*
(R6) 主成分分析によるSimulinkモデルの品質評価の試み(R)
|
■ロボチャレ1 分野・地域を越えた実践的情報教育恊働ネットワーク組込みシステム分野PBL成
果報告 |
15:30-16:40 | |
■ロボチャレ2 パネル「ESSロボットチャレンジ10周年:10年を振り返り、今後を語ろう」 | |
16:40-17:50 | |
ポスター展示(コアタイム) |
|
18:00-20:00 | |
情報交換会 |
|
9:40-10:50 | 9:40-10:50 |
■アプリケーション1 (R7) Android Movie Player System Combined with Automatically Parallelized and Power Optimized Code by OSCAR Compiler (P) (R8) WSNにおける効率的なエージェント位置管理機構(RS) (R9) 曲線道路を滑らかに接続する道路ネットワーク整形手法(RS)
|
■組込み開発支援 (R13)LRTS: LDMリアルタイムシミュレータの開発と評価(P)
(R14)コンテキスト指向プログラミング実現に向けた実行時プログラム書き換えフレームワークの提案(RS)
(R15)Fortranによる高性能計算のハードウェア化と高位合成ツールFortRock(PS)
|
11:00-11:40 | 11:00-12:00 |
■アプリケーション2 (R10)歩行通路形状を考慮した可視グラフに基づく屋内環境ナビゲーションシステム(RS) (R11)迷いにくい可視ランドマークに基づく屋外歩行者ナビゲーションシステム(RS) |
■組込み環境 (R16)組込み制約下での複数OS実行環境の設計(RS) (R17)組込み仮想化のための高機能割込みコントローラ(RS) (R18)3bOS: A Flexible and Lightweight Embedded OS Operated Using Only Three Buttons (PS) |
11:40-12:00 | |
■組込み教育 (R12)初学者向けの振舞に関する概念モデリング教育へのモデル駆動開発方法論に基づく学習環境導入の効果(PS) | |
13:30-14:30 | |
基調講演2 「ゼッタバイト時代のビッグデータ利活用技術」 |
|
14:40-16:20 | |
パネル 「ビッグデータ時代にグローバルなキャリア形成を目指して!」 |
|
16:20-16:40 | |
クロージング |
|
論文タイトル末尾の記号は,P:実践報告, R:研究報告, *:優秀論文賞候補, S:ショートペーパー
■ポスター論文一覧
(P1) Androidデバイス向けデータストリーム管理システムについて |