谷口 健一 | 大阪大学 大学院基礎工学研究科 情報数理系専攻
スポンサーリンク
概要
関連著者
-
谷口 健一
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
谷口 健一
大阪大学基礎工学部情報工学科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
山口 弘純
大阪大学大学院情報科学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
山口 弘純
大阪大学大学院情報学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
廣森 聡仁
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
廣森 聡仁
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
東野 輝夫
大阪大学大学院情報学研究科
-
安本 慶一
奈良先端科学技術大学院大学情報科学研究科
-
安本 慶一
奈良先端科学技術大学院大学
-
牧寺 彩
大阪大学大学院情報科学研究科
-
長井 栄吾
大阪大学大学院情報科学研究科
-
長井 栄吾
大阪大学基礎工学部情報科学科
-
内山 彰
大阪大学大学院情報科学研究科
-
小西 一樹
大阪大学大学院情報科学研究科
-
中村 嘉隆
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構,CREST
-
谷口 健一
大阪大学 基礎工学部
-
水本 明
大阪大学大学院情報科学研究科コンピュータサイエンス専攻
-
才村 徹也
大阪大学大学院情報科学研究科
-
森 一夫
大阪大学情報科学研究科
-
中村 嘉隆
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
中村 嘉隆
奈良先端科学技術大学院大学
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学理工学部
-
山口 弘純
大阪大学 大学院情報科学研究科
-
佐藤 秀則
大阪大学 大学院情報科学研究科
-
竹中 崇
大阪大学大学院基礎工学研究科情報数理系専攻
-
假家 直樹
大阪大学 大学院情報科学研究科
-
竹中 崇
大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
-
森 亮憲
大阪大学大学院基礎工学研究科
-
徳田 康平
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
佐藤 秀則
大阪大学大学院情報科学研究科
-
假家 直樹
大阪大学大学院情報科学研究科
-
安本 慶一
奈良先端技術大学院大学情報科学研究科
-
岡野 浩三
大阪大学情報科学研究科
-
谷口 健一
大阪大学情報科学研究科
-
森 一夫
大阪大学大学院情報科学研究科
-
山口 成基
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
竹中 崇
日本電気株式会社システムIPコア研究所
-
竹中 崇
日本電気株式会社
著作論文
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- 関数型言語ML向け形式的検証支援システムの試作
- 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
- 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
- マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
- MANETにおける位置情報マルチキャストルーティングMgCastの提案と性能評価(無線・モバイルネットワーク)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減(ネットワーク品質・制御)
- 動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト
- エンドホストの動画像フィルタリングによるアプリケーション層でのQoSマルチキャストプロトコルの提案(ネットワークプロトコル)(ブロードバンドネットワークサービス)
- モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- MANETにおける位置情報マルチキャストルーティングMgCastの性能評価と応用に関する検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- データ転送プロトコルに関する性能要求からのプロトコルパラメータの決定
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)