2012年度受賞者
2012年度コンピュータサイエンス領域奨励賞受賞者一覧
◆2012年度  詳細はこちら |
||
| 受賞者名 | 論 文 名 | 研究報告， シンポジウム略称 （研究会名） |
| 上田 高徳 | マルチコア環境における低レイテンシストリーム処理のためのスレッド割り当て手法 | DEIM2012 （データベースシステム） |
| 川本 公章 | ソフトウェアモジュールにおける識別子の語長と不具合出現に関する分析 | 2011-SE-173 （ソフトウェア工学） |
| 畑 秀明 | 開発履歴メトリクスに基づくFault-proneモジュール予測の細粒度モジュールへの適用 | SES2011 （ソフトウェア工学） |
| 小林 弘明 | OSにおける細粒度パワーゲーティング向けオブジェクトコードの実行時管理機構の研究 | 2011-ARC-195 （計算機アーキテクチャ） |
| 穐山 空道 | 都鳥: メモリ再利用による連続するライブマイグレーションの最適化 | ComSys2011 （システムソフトウェアとオペレーティング・システム） |
| 壬生 亮太 | キャッシュインジェクションを用いた受信キューのキャッシュ制御方式の提案 | 2011-SLDM-149 （システムLSI設計技術） |
| 太田 雄也 | トランジェントグリッチエネルギーを低減するパワーゲーティングの回路方式の検討 | 2011-SLDM-153 （システムLSI設計技術） |
| 思 敏 | メニーコア並列計算機における通信機構の設計 | 2012-HPC-133 （ハイパフォーマンスコンピューティング） |
| 都築 怜理 | 複数ノードのGPU による大規模パッシブスカラー粒子計算の強スケーリングと動的負荷分散 | 2012-HPC-133 （ハイパフォーマンスコンピューティング） |
| 上里 友弥 | Hoare State Monad Transformerを用いたCoq上でのtotal parser combinatorの実装 | PRO-2011-3 （プログラミング） |
| 渡辺 敬介 | May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics | PRO-2011-5 （プログラミング） |
| 吉仲 祐史 | 組合せ剛性理論に基づく冗長性を有する剛堅な2次元フレームワークの生成手法 | 2012-AL-139 （アルゴリズム） |
| 関口 智樹 | 確率的 Slow Feature Analysis における観測ノイズの影響 | 2012-MPS-87 （数理モデル化と問題解決） |
| 小崎 信明 | CMA:超低電力再構成アクセラレータ | ESS2011 （組込みシステム） |