スポンサーリンク
大阪大学基礎工学部情報科学科 | 論文
- B-7-99 広域・広帯域ネットワークにおけるIP-SANプロトコルのためのスループット最大化機構(B-7.情報ネットワーク,一般セッション)
- B-7-138 異種のTCPフローが混在するネットワークに対応したフローレベルシミュレータ(B-7. 情報ネットワーク,一般セッション)
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム
- D-12-88 レーザセンサと単眼カメラを用いた台車型3次元計測センサ(D-12.パターン認識・メディア理解,一般セッション)
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 変形股関節を対象とした多階層統計的形状モデルによる3次元CT画像からの大腿骨領域の半自動抽出(一般セッション,センシング技術とその応用)
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- デブルーイン系列と Belief-Propagation を用いた高密度ラインパターン検出による高速動体の3次元計測手法
- CUDAによる全点対最短経路問題の高速化(アプリケーション高速化,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- 統合開発環境CUDAを用いたGPUでの配列アライメントの高速化手法(メモリアクセス,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- CUDAによる全点対最短経路問題の高速化(アプリケーション高速化,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- CUDAによる高速なコーンビーム再構成の実装と性能評価(プログラミング環境,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- 統合開発環境CUDAを用いたGPUでの配列アライメントの高速化手法(メモリアクセス,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- シストリックアレーによる回路設計の正しさの一証明法
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- レーザ光2平面交差による直線刺入術具誘導方式の理論的有効範囲解析と検証実験(CAS)(関連学会との共催によるバイオメディカルイメージング連合フォーラム)
- レーザ光2平面交差による直線刺入術具誘導方式の理論的有効範囲解析