スポンサーリンク
大阪大学 大学院基礎工学研究科 情報数理系専攻 | 論文
- 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
- 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
- マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
- 正則な項書換え系のマルチプロセッサ上での一実現法
- TCPデータ通信との公平性を考慮したMPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮したMPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮したMIPEG-4動画像通信のための品質調整機構
- TCPデータ通信との公平性を考慮した輻輳適応型レート制御によるMPEG-4動画像通信
- CQ2000-35 / TM2000-33 TCPデータ通信との公平性を考慮した輻輳適応型レート制御による動画像通信の実装
- CQ2000-35 / TM2000-33 TCPデータ通信との公平性を考慮した輻輳適応型レート制御による動画像通信の実装
- オーバーサンプリングを用いた効率的品質管理のための変数選択手法
- オーバーサンプリングを用いた効率的品質管理のための変数選択手法
- 相関ルールマイニングを用いた混乱プロジェクトの特徴分析ランダムサンプリングデータへの適用
- 分割統治法アルゴリズムの効率的な並列化手法とそのコンパイラの実装
- 分割統治法プログラムを並列実行するコンパイル手法の提案と評価
- λコンピューティング環境におけるOpenMPライブラリの設計と実装(フォトニックネットワークシステム,光ルーチング,ブロードバンドアプリケーション,一般)
- 余剰計算力を用いるグリッドのジョブスケジューリングにおける優先度制御の一手法(セッション2)
- A_002 企業イントラグリッドでのジョブ割当てアルゴリズムの比較評価(A分野:モデル・アルゴリズム・プログラミング)
- WebプロキシサーバにおけるTCP受信バッファの動的割り当て方式