スポンサーリンク
東京工業大学大学院情報理工学研究科数理・計算科学専攻 | 論文
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- オーバレイ構築ツールキットOverlay Weaver(インターネットシステム)
- 計算機資源の流通および集約のためのP2Pミドルウェア(グリッドシステム)
- 計算機資源の流通および集約のためのP2Pミドルウェア
- 「計算」応用の開拓 : 情報のWebからの計算・デバイス・ソフトウェアのグリッドへ(インタネットの新しい応用の開拓を目指して)
- (数値計算アルゴリズム)厳密な浮動小数点演算セマンティクスのJava実行時コンパイラへの実装(オブジェクト指向技術)
- Java Just-in-Timeコンパイラのためのコスト効率の良いコンパイル手法
- 会議レポート
- BS-8-10 東京工業大学におけるキャンパス共通認証認可システムを用いた安全なソフトウェア配布機構(BS-8. セキュア、スケーラブルでサステイナブルなキャンパス情報システム,シンポジウムセッション)
- 乗っ取られても安全なコンピュータ (特集 コンピュータセキュリティ)
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- ネットワークの監視技術を用いたファイル更新履歴保存システムの実現(分散ファイルシステム)
- 電子情報通信と離散数学(電子情報通信と数学)
- 計算の複雑さの平均的な解析について(計算量理論の諸相 : その基礎的研究)
- 分散IDSの実行環境の分離による安全性の向上(OS-3:ネットワーク)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 感性を考慮したジョブスケジューリング
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- バッファ溢れ攻撃とその防御(コンピュータセキュリティシリーズ(1))