スポンサーリンク
東京大学大学院理学系研究科情報科学専攻 | 論文
- 汎用超並列オペレーティングシステムSSS-CORE上の非対称分散共有メモリにおけるコンパイル技法
- 自動チューニング機能付き並列数値計算ライブラリ構築の試み : 対称疎行列用の連立一次方程式ソルバを列にして
- 自動チューニング機能付き並列疎行列連立一次方程式ソルバの性能
- AND/OR木探索における証明数・反証数を用いた新しい探索法の提案とその評価
- 認知的負荷の少ないインタラクティブ描画方式の提案 (インタラクティブソフトウェア)
- 強正規化性とPER Model
- Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)
- A Study of Abramsky's Linear Chemical Abstract Machine
- 並列OSの性能予測を可能にするシミュレーションモデル
- 一般化した二重指数分割に基づく数値表現法
- 金ナノ粒子触媒を用いた無電解バリア/シード層のCu-TSVへの応用(電子デバイスの高速・高密度実装とインテグレーション技術論文)
- 汎用超並列オペレーティングシステムカーネルSSS-COREの基本構想
- 共有メモリ型並列計算機におけるメモリアクセスの局所化技法
- 合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)
- 大規模疎行列係数連立一次方程式に対する前処理つき共役勾配法の並列化
- 短距離力分子動力学法の並列化
- SF-046-2 超重症体幹部外傷に必要な手術手技と治療成績(SF-046 サージカルフォーラム(46)救急 治療,第112回日本外科学会定期学術集会)
- 3次元実装TSVへのコンフォーマル無電解バリアメタルの形成(配線・実装技術と関連材料技術)
- 改良されたメッセージ通信機構を使用した並列化コンパイル技法
- 共有メモリvs.メッセージパッシング