スポンサーリンク
東京工業大学情報理工学研究科数理・計算科学専攻 | 論文
- 異種アクセラレータを持つTSUBAMEスーパーコンピュータのLinpack評価(GPGPUコンピューティングの数理)
- 5.理論研究の役割(情報処理技術の未来地図,50周年記念特集号)
- 20aEA-10 疎なランダム行列の第1固有値に関するcavity解析(20aEA 情報統計力学,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)
- 準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- XenLASY : XenのI/O処理を追跡するためのアスペクト指向プロファイラ
- アスペクト指向を用いたアジャイル分散ソフトウェア開発のための環境
- 例外処理のためのアスペクト指向言語
- OSカーネル用アスペクト指向システムKLASY
- アスペクト指向プログラミングとDependency Injectionの融合
- 分散ソフトウェアのテストに適したアスペクト指向言語(プログラミング言語の設計)
- アスペクト指向を用いたカーネルプロファイラ(性能評価)
- リフレクションの高速化技術
- 通信処理のカーネル内競合を検出するアスペクト指向カーネルレベルロガー(OS-2:モニタリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 豊富な情報を基にしたpointcutを記述できるアスペクト指向言語
- 分散Javaプログラミングのためのアスペクト指向言語
- ポスト・オブジェクト指向技術の応用としての高信頼ソフトウェア(ディペンダブルコンピュータシステム及び一般)
- 5アスペクト指向ソフトウェア開発とそのツール(モデリングとツールを駆使したこれからのソフトウェア開発技法 : モデル駆動開発手法を中心として)
- Addistant : アスペクト指向の分散プログラミング支援ツール
- ハッシュ関数の認証プロトコルへの応用