スポンサーリンク
東京大学理学部情報科学科 | 論文
- セキュリティプロトコルの略式記法からspi計算への変換
- 医用画像データベースシステムの推移的閉包を利用した検索
- 断層画像からの幾何的な情報と輝度を用いた三次元物体再構成
- ライティングスイッチフォトメトリー法を用いた顔の向きの判定
- ライティングスイッチフォトメトリー法を用いた顔画像からの構成要素自動抽出法
- DisC : ごみ集め機構を備えたC++の分散記憶並列拡張言語
- 頑健なHPSGパーザの出力からTDL意味表現への変換手法(推論・意味)
- 双対変数を用いたA^*両方向探索アルゴリズムと経路誘導における最短路問題
- 経路誘導における最短路問題の解法について
- MK-6 東京大学理学部生物情報科学学部教育特別プログラム(大型プロジェクト紹介,学術系企画)
- オペレーティングシステムの組み換えを伴う後方エラーリカバリー機構の実装
- オペレーションシステムの組み換えによる設計フォールトトレランス機構
- 簡潔データ構造による全文検索のハードウェアを用いた高速化(ハードウェアアクセラレーション,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- 分散共有メモリアクセスの優先度制御(ARC-9:並列処理2,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- トランザクショナルメモリのための性能評価手法(ARC-9:並列処理2,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 対話的整形による幾何学的図形の高速描画(次世代ヒューマンインタフェース・インタラクション)
- 自動認識整形機能をもったペンによる描画システム
- 並列自己反映言語システムの部分計算によるコンパイル技法
- 最適化問題への応用のための並列制約論理型言語の拡張
- 並列オブジェクト指向言語ABCL/fのメタレベルアーキテクチャ