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
(組込みシステム)