スポンサーリンク
大阪大学基礎工学部情報科学科 | 論文
- 非同期共有メモリモデル上の資源割当て分散アルゴリズム
- ユーザインタフェース作成支援システムの設計と試作について
- C++プログラムに対する複雑さメトリクスの提案と大学環境での実験的評価
- 通信プロトコルのリアルタイム性に関する諸性質の検証
- リスポンシブプロトコルのリアルタイム性検証のための時間を考慮した可到達解析法
- 逐次化グラフを用いた複合トランザクションの並行制御
- 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
- 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
- 書き込み保留を用いた逐次化グラフスケジューリング
- 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
- 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
- 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
- 汎用グラフィクスハードウェアを用いた2次元/3次元剛体位置合わせの高速化(コンピュータグラフィックス)
- 汎用グラフィクスハードウェアを用いた2方向投影による2次元/3次元剛体位置合わせ(再構成他, 医用画像一般)
- 汎用グラフィクスハードウェアを用いた2次元/3次元剛体位置合わせの高速化(HPCシステム)
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール
- 1ZK-3 コードクローンのメトリクス値と開発者の相関の調査(リーディングプロジェクト e-society:コードクローン検出によるソフトウェア開発技術,一般セッション,リーディングプロジェクト e-society)
- in-order実行パイプラインCPUの正しさの自動証明例
- 組込みソフトウェアのテストを目的としたCPUエミュレータ上での異常注入手法
- FDTって何?(コンピュータと通信)