2015年度受賞者

2015年度コンピュータサイエンス領域奨励賞受賞者一覧

2015年度   詳細はこちら
受賞者名 論 文 名 研究報告,
シンポジウム略称
(研究会名)
白川 真澄 コルモゴロフ複雑性に基づくIDFの単語N-gramへの適用 DEIM Forum 2015
(データベースシステム)
秋葉 拓哉 ネットワーク上の頂点間特徴量としてのTop-k距離とその高速なクエリ応答 DEIM Forum 2015
(データベースシステム)
切貫 弘之 修正履歴情報を利用したコミット分割支援手法の提案 SES2014
(ソフトウェア工学)
谷田 英生 記号実行エンジンを用いたJavaScriptプログラムの単体テスト自動生成実行 SES2014
(ソフトウェア工学)
小林 誠弥 タグの2段階比較を行う発行キューによる消費エネルギー削減の評価 2014-ARC-213
(システム・アーキテクチャ)
成子 貴洋 FOLCS: FPGAを用いた軽量サイクル・アキュレートNoCシミュレータ 2014-ARC-213
(システム・アーキテクチャ)
福地 開帆 仮想化環境におけるデータベース管理システムのメモリ管理手法 2014-OS-129
(システムソフトウェアとオペレーティング・システム)
石川 幸希 多重OS構成によるカーネルのライブアップデート手法の提案 2014-OS-130
(システムソフトウェアとオペレーティング・システム)
伊藤 直也 外部割込みのハンドラを含むプログラムからの高位合成 DAシンポジウム2014
(システムとLSIの設計技術)
橋本 淳史 ランダムテストによるCコンパイラの算術最適化機会の検出 2015-SLDM-169
(システムとLSIの設計技術)
長坂 侑亮 GPUのキャッシュを考慮した疎行列ベクトル積計算手法の性能評価 2014-HPC-144
(ハイパフォーマンスコンピューティング)
高嵜 祐樹 GPU搭載システムにおける都市気流シミュレーションの大規模化と性能モデル 2015-HPC-148
(ハイパフォーマンスコンピューティング)
新屋 良磨 決定性オートマトンの隣接行列構造について -最小性の必要十分条件- PRO-2014-2
(プログラミング)
佐藤 亮介 Refinement Type Checking via Assertion Checking PRO-2014-5
(プログラミング)
和佐 州洋 K-縮退グラフに含まれる誘導木の列挙 2014-AL-148
(アルゴリズム)
柳橋 宏行 マルチコア周期実行システムにおける省電力タスクスケジューリングの検討 2014-EMB-35
組込みシステム)
飯塚 修平 OSCAR自動並列化コンパイラを用いたリアルタイム動画像アプリケーションのHaswellマルチコア上での低消費電力化 2015-EMB-36
(組込みシステム)