スポンサーリンク
大阪大学基礎工学部情報科学科 | 論文
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述
- 対話型アニメーション用サーバの実現
- ワークステーション上での実時間アニメーションの方法とその評価
- 概形表示および部分拡大表示機能を有する木構造グラフエディタの作成とその評価
- X Window上での実時間アニメーション法
- D-11-79 位置情報を伴う屋外遠隔地映像の収集・検索システムの提案(D-11.画像工学C)
- 汎用テキスト分類フィルタを利用した不具合を含むソースコードの予測
- A-16-36 ネットワーク共有型ウェアラブル拡張現実感システム開発用ライブラリ(A-16. マルチメディア・仮想環境基礎)
- Webサーバの高速・高機能化のためのソケットバッファ管理方式の実装と評価
- 通信プロトコルにおけるレジスタ操作の適合性試験系列生成手法の実験評価
- あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
- 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
- Paced TCPがルータのバッファサイズ設定に与える影響(トラヒック解析・制御(1))
- 通信距離の最適化による無線ネットワーク容量の向上(無線ネットワーク)
- UMLモデルを対象としたリファクタリング候補検出の試み
- 無線通信網のリンクスケジューリング問題に対する二段階近似解法の提案
- 1Q-5 コーディングパターンとキーワードを用いて生成したコードスニペットの推薦(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 非同期共有メモリモデル上の資源割当て分散アルゴリズム