樋口 昌宏 | 大阪大学 基礎工学部 情報工学科
スポンサーリンク
概要
関連著者
-
樋口 昌宏
大阪大学 基礎工学部 情報工学科
-
樋口 昌宏
近畿大学理工学部
-
藤井 護
大阪大学 教養部
-
多田 知正
大阪大学大学院基礎工学研究科
-
多田 知正
大阪大学 大学院基礎工学研究科
-
藤井 護
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
本田 治
大阪大学大学院情報科学研究科
-
本田 治
大阪大学 大学院基礎工学研究科
-
原 圭吾
大阪大学基礎工学部情報工学科
-
佐野 順子
(株)リコー
-
片倉 健一
大阪大学基礎工学部
-
原 圭吾
大阪大学 基礎工学部 情報工学科
-
片倉 健一
大阪大学 基礎工学部 情報工学科
-
軍場 大輔
大阪大学 基礎工学部 情報科学科
-
千葉 佳史
大阪大学基礎工学部
-
千葉 佳史
大阪大学 基礎工学部 情報科学科
著作論文
- ECFSMモデルの通信プロトコルの検証のための不変式の自動生成システムの開発
- ECFSMモデルの通信プロトコルへの故障耐性機能の半自動生成
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散データベースにおける通信量を考慮した動的データ配置法
- 多重化データベースにおける仮想分割と再生成を用いた一貫性制御