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 （組込みシステム） |