樋口 昌宏 | 近畿大学理工学部
スポンサーリンク
概要
関連著者
-
樋口 昌宏
近畿大学理工学部
-
多田 知正
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
藤井 護
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学基礎工学部情報工学科
-
多田 知正
大阪大学基礎工学部情報科学科
-
森 亮憲
大阪大学大学院基礎工学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
樋口 昌宏
近畿大学理工学部情報学科
-
加藤 暢
近畿大学理工学部
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
轟木 伸俊
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学 基礎工学部 情報工学科
-
多田 知正
大阪大学 大学院基礎工学研究科
-
轟木 伸俊
大阪大学大学院基礎工学研究科情報数理系専攻
-
樋口 昌宏
近畿大学大学院総合理工学研究科
-
藤井 護
大阪大学大型計算機センター
-
徳田 康平
大阪大学大学院基礎工学研究科
-
吉本 忠司
大阪大学大学院基礎工学研究科
-
千葉 佳史
大阪大学基礎工学部
-
植田 直人
株式会社JSOL
-
加藤 暢
近畿大学理工学部情報学科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
本田 治
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学 基礎工学部
-
藤井 護
大阪大学 教養部
-
李 湘東
大阪大学基礎工学部情報工学科
-
福井 一史
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
本田 治
大阪大学 大学院基礎工学研究科
-
福井 一史
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
大阪大学基礎工学部情報工学科
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
東野 輝夫
大阪大学大学院情報学研究科
-
北道 淳司
会津大学コンピュータ理工学部
-
北道 淳司
大阪大学大学院基礎工学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
奥井 順
松下電器産業 中研
-
奥井 順
松下電器産業(株)研究本部 中央研究所
-
北道 淳司
大阪大学サイバーメディアセンター
-
軍場 大輔
大阪大学 基礎工学部 情報科学科
-
内田 和之
大阪大学大学院基礎工学研究科
-
藤井 謙
大阪大学大学院基礎工学研究科
-
千葉 佳史
大阪大学 基礎工学部 情報科学科
-
真鍋 典行
大阪大学基礎工学部
-
寺崎 泰範
大阪大学基礎工学部情報工学科
-
辻村 俊伸
近畿大学理工学部情報学科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
深田 敦史
大阪大学大学院基礎工学研究科
-
福田 真二
大阪大学基礎工学部情報工学科
著作論文
- Ambient計算に基づく動的な海上物流の監視システム
- 階層的キーワードベースの名前管理におけるキーワード管理手法
- 非階層型名前空間のファイルシステムへの適用に関する実験的評価
- 分散計算における制御フローに基づいたイベントアブストラクション手法(マルチメディアネットワークシステム)
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散データベースにおける通信量を考慮した動的データ配置法
- 逐次化グラフを用いた複合トランザクションの並行制御
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 配送時間を考慮した因果関係を保存するメッセージ配送
- 部分トランザクションの独立性を考慮した入れ子トランザクションモデル
- 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
- 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
- 多重化データベースにおける仮想分割と再生成を用いた一貫性制御
- 書き込み保留を用いた逐次化グラフスケジューリング
- 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
- 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
- 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- 拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法
- 時間付きAmbient Calculus