谷口 健一 | 大阪大学基礎工学部情報科学科
スポンサーリンク
概要
関連著者
-
谷口 健一
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
谷口 健一
大阪大学基礎工学部情報工学科
-
森岡 澄夫
大阪大学基礎工学部情報学科
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
北道 淳司
大阪大学大学院基礎工学研究科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
北道 淳司
大阪大学基礎工学部情報工学科
-
中田 明夫
大阪大学基礎工学研究科情報数理系
-
松浦 敏雄
大阪市立大学大学院創造都市研究科
-
松浦 敏雄
大阪大学基礎工学部情報工学科
-
安本 慶一
大阪大学基礎工学部情報工学科
-
今城 広志
大阪大学基礎工学部情報工学科
-
李 湘東
大阪大学基礎工学部情報工学科
-
島谷 肇
大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝
-
北嶋 暁
大阪電気通信大学総合情報学部メディアコンピュータシステム学科
-
北嶋 暁
大阪大学基礎工学部情報科学科
-
島谷 肇
大阪大学基礎工学部情報工学科
-
後藤 和裕
大阪大学基礎工学部情報科学科
-
松浦 敏雄
大阪市立大
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
安倍 広多
大阪市立大学大学院創造都市研究科
-
山口 弘純
大阪大学基礎工学部情報科学科
-
柴田 直樹
大阪大学大学院基礎工学研究科情報数理系専攻
-
水野 健太郎
大阪大学基礎工学部情報科学科
-
嵩 忠雄
大阪大学基礎工学部
-
森岡 澄夫
日本電気システムIPコア研究所
-
柴田 直樹
大阪大学基礎工学部情報工学科
-
中田 明夫
広島市立大学大学院情報科学研究科
-
樋口 昌宏
近畿大学理工学部
-
中田 明夫
広島市立大学 大学院情報科学研究科
-
鍛 忠司
日立製作所システム開発研究所
-
伊東 達雄
大阪大学基礎工学部情報工学科
-
西川 清史
大阪大学大学院基礎工学研究科情報数理系専攻
-
杉山 裕二
大阪大学基礎工学部
-
西川 清史
大阪大学基礎工学部情報工学科
-
梶本 雅人
大阪大学基礎工学部情報工学科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
寺島 芳樹
大阪大学大学院基礎工学研究科
-
寺島 芳樹
大阪大学基礎工学部情報科学科
-
西川 清史
大阪大学大学院基礎工学研究科
-
鍛 忠司
大阪大学基礎工学部情報科学科:(現)株式会社日立製作所
-
深田 敦史
大阪大学基礎工学部情報科学科
-
深田 敦史
大阪大学大学院基礎工学研究科
-
辰本 比呂記
大阪大学大学院基礎工学研究科情報数理系専攻
-
辰本 比呂記
大阪大学基礎工学部情報科学科
-
鍛 忠司
(株)日立製作所横浜研究所
-
山本 亮
大阪大学大学院基礎工学研究科情報数理系専攻
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
島村 栄
大阪大学基礎工学部情報工学科
-
森 將豪
滋賀大学経済学部情報管理学科
-
下條 真司
大阪大学大型計算機センター
-
寺西 裕一
大阪大学大学院情報科学研究科:独立行政法人情報通信研究機構
-
関 浩之
大阪大学基礎工学部
-
安倍 広多
大阪大学基礎工学部情報工学科
-
鈴木 一郎
大阪大学基礎工学部
-
岩崎 元昭
大阪大学基礎工学部
-
伊藤 実
大阪大学基礎工学部
-
葛山 善基
滋賀大学
-
松浦 敏雄
大阪大学情報処理教育センター
-
伊藤 実
大阪大 基礎工
-
竹中 崇
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
大阪大学基礎工学部情報工学科
-
村上 尚
大阪大学基礎工学部情報工学科
-
竹中 崇
大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
-
葛山 善基
滋賀大学経済学部情報管理学科
-
森 将豪
滋賀大学経済学部情報管理学科
-
城島 貴弘
大阪大学基礎工学部情報工学科
-
中村 亨
大阪大学基礎工学部情報工学科
-
増田 澄男
大阪大学基礎工学部情報工学科
-
杉山 裕二
岡山大学工学部通信ネットワーク工学科
-
服部 哲
大阪大学基礎工学部情報工学科
-
服部 哲
神奈川工科大学情報学部
-
服部 哲
北陸先端科学技術大学院大学情報科学研究科
-
山本 亮
大阪大学基礎工学部情報科学科
-
寺西 裕一
大阪大学基礎工学部情報工学科
-
横山 剛
滋賀大学
-
黄 莉
大阪大学基礎工学部情報工学科
-
杉山 裕二
岡山大学工学部
-
谷口 健一
大阪大学
-
松石 航也
大阪大学基礎工学部情報工学科
-
尹 達雄
大阪大学基礎工学部情報工学科
-
由雄 宏明
大阪大学基礎工学部情報工学科
-
阿倍 広多
大阪市立大学学術情報総合センター
-
塩屋 佳美
大阪大学基礎工学部情報工学科
-
福田 真二
大阪大学基礎工学部情報工学科
-
住谷 忠雄
大阪大学基礎工学部情報工学科
-
関 浩之
大阪大学基礎工学情情報工学科
-
松石 航也
大阪大学基礎工学部情報工学科:(現)富士通株式会社
-
竹中 崇
日本電気株式会社システムIPコア研究所
-
竹中 崇
日本電気株式会社
著作論文
- BSD UNIXの下でのポータブルマルチスレッドライブラリPTLの実現
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- シストリックアレーによる回路設計の正しさの一証明法
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行
- 遷移条件が状態訪問回数に依存する有限状態機械の生存性検証
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (コンカレント・コラボレーション技術論文小特集)
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- リンクの故障を考慮に入れた分散システムの動作仕様の自動導出
- ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
- レジスタを持つ自由選択ネットで記述された分散システムの要求仕様から各ノードの動作仕様の導出
- 協調計算システムの動作仕様群の分散実行系
- ASLプログラム開発システムにおける検証の自動化について
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述
- 対話型アニメーション用サーバの実現
- ワークステーション上での実時間アニメーションの方法とその評価
- 概形表示および部分拡大表示機能を有する木構造グラフエディタの作成とその評価
- X Window上での実時間アニメーション法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- QoSを考慮したマルチメディアシナリオ記述言語
- 文章作成作業を効率よく行うためのユーザーインタフェースについて
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- マルチランデブを用いたLOTOS仕様の実行の可視化 (マルチメディア通信と分散処理)
- LOTOSで記述されたプロトコルの実行の可視化
- イベントとアニメーション表示の対応付けによるLOTOSプログラムの実行の可視化
- 入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験に一手法
- 複数個のFSMからなるプロトコル機械に対する適合性試験の一手法
- あるクラスの時間オートマトンに対する適合性試験系列生成の一手法(マルチメディア通信と分散処理)
- 並行EFSM群でモデル化された通信プロトコル動作仕様のハードウェア実現とマルチランデブ制御機構
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 代数的仕様から関数型プログラムの導出とその実行 (関数型プログラミングとその応用)
- 分散環境でのLOTOS仕様の実現とその評価(マルチメディア通信と分散処理)
- 周期スレッドを用いた実時間LOTOSコンパイラの設計
- マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現 (マルチメディア分散・協調コンピューティング)
- マルチランデブを用いた分散システムの記述とバス結合ネットワーク上での実行
- in-order実行パイプラインCPUの正しさの自動証明例
- バス結合型ネットワーク上でのマルチランデブの実現法
- 時間制約の記述されたLOTOS仕様からのプロトコル合成 (マルチメディア通信と分散処理)
- 時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究)
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- マルチスレッド化目的コードを生成するLOTOSコンパイラの機能拡張
- 隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- マルチスレッド化目的コードを生成するLOTOSコンパイラの評価
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成
- LOTOSによるソフトウェアプロセスの記述とその実行
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- マルチスレッド化されたオブジェクトコードを生成するLOTOSコンパイラの試作
- 拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法
- LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成
- 時間制約付LOTOSの等価性の証明(計算量理論)
- 代数的手法を用いた同期式順序回路の段階的設計法
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- 並列実行される動作におけるデータ代入の衝突の判定
- データを含むLOTOS記述に対するテスト系列の自動生成の一手法
- 整数上の線形制約の処理と応用 (制約論理プログラミング)
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 整数データを含むLOTOS仕様の等価性の証明について
- LOTOSによる分散システムの全体記述と各ノードの動作記述 : 等価性と変換アルゴリズムについて(理論計算機科学とその周辺)
- 優先度付きトークンリング方式LANの「進行性」の検証について(計算アルゴリズムの基礎理論)