スポンサーリンク
東京工業大学大学院情報理工学研究科数理・計算科学専攻 | 論文
- シミュレーションによる勾配推定の手法 (シミュレーションの数理 : 最近の動向)
- シミュレーションによる稀少事象推定のための測度変換アルゴリズムについて
- 待ち行列モデルに対する摂動解析法(待ち行列の数理)
- 確率的なシステムに対するOrdinal Optimizationの考え方 (待ち行列と性能評価理論の新たな展開特集号)
- 摂動解析法による確率離散事象システムの勾配推定
- 骨肉腫におけるOB-カドヘリン遺伝子の発現
- 一級継続の並行言語への導入
- MAX-2SAT問題の平均時間計算量の解析
- MAX-2SAT問題の平均時間計算量の解析
- A Message Passing Algorithm for MAX2SAT(New Trends in Theory of Computation and Algorithm)
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- メモリ管理の性能評価基盤
- 半正定値計画に対する行列補完型主双対内点法の並列化(錘計画問題と相補正問題)
- 半正定値計画問題を解くソフトウェアのPCクラスタ上における並列実装(最適化(2))
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)