土屋 達弘 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
土屋 達弘
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学大学院 情報科学研究科
-
菊野 亨
大阪大学 基礎工学部
-
菊野 亨
大阪大学基礎工学部
-
菊野 亨
大阪大学基礎工学部情報工学科
-
土屋 達弘
大阪大学
-
牧川 文紀
大阪大学大学院情報科学研究科
-
松尾 尚文
大阪大学大学院情報科学研究科
-
小島 英春
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学
-
中村 匡秀
神戸大学大学院工学研究科
-
門野 雅弥
大阪大学基礎工学部
-
鷲崎 弘宜
早稲田大学
-
岸 知二
早稲田大学
-
羽生田 栄一
株式会社豆蔵
-
石黒 正揮
株式会社三菱総合研究所
-
田中 崇浩
大阪大学大学院情報科学研究科
-
寺澤 雅樹
大阪大学大学院情報科学研究科
-
肥後 芳樹
大阪大学大学院情報科学研究科
-
川口 真司
奈良先端科学技術大学院大学
-
池田 伸一
大阪大学大学院情報科学研究科
-
奥山 拓矢
大阪大学大学院情報科学研究科
-
森崎 修司
奈良先端科学技術大学院大学情報科学研究科
-
中村 匡秀
神戸大学大学院 工学研究科
-
岸 知二
北陸先端科学技術大学院大学情報科学研究科
-
岸 知二
北陸先端科学技術大学院大学 情報科学研究科
-
岸 知二
Necマイコンソフト開発環境研究所
-
岸 知二
Jaist:nec
-
岸 知二
北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
-
岸 知二
日本電気(株)ソフトウェア生産技術開発本部
-
中鉢 欣秀
産業技術大学院大学
-
岸 知二
北陸先端科学技術大学院大学大学情報科学研究科
-
梅村 晃広
株式会社NTTデータ
-
鷲崎 弘宜
早稲田大学:国立情報学研究所graceセンター
-
岸 知二
早稲田大
-
岸 知二
日本電気株式会社
-
岸 知二
日本電気(株)
-
岸 知二
早稲田大学経営システム工学科
-
中村 匡秀
神戸大学大学院システム情報学研究科
-
長野 伸一
(株)東芝研究開発センター
-
紀本 眞
大阪大学大学院情報科学研究科
-
中村 匡秀
神戸大学大学院工学研究科情報知能学専攻
-
長野 伸一
(株)東芝
-
南川 恭洋
大阪大学大学院情報科学研究科
-
中鉢 欣秀
慶應義塾大学sfc研究所
-
中鉢 欣秀
長岡技術科学大学経営情報系:科学技術振興機構
-
高村 達史
大阪大学大学院情報科学研究科
-
パイディ ロハユ
(株)マレーシア松下電器
-
肥後 芳樹
大阪大学
-
濱松 雅
大阪大学大学院情報科学研究科
-
森崎 修司
奈良先端科学技術大学院大学 情報科学研究科
-
ウォン テンライ
大阪大学大学院情報科学研究科
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
川口 真司
奈良先端科学技術大学院大学情報科学研究科
-
榊原 孝夫
パナソニックエレクトロニックデバイス株式会社
-
橋本 幸司
大阪大学大学院基礎工学研究科情報数理系専攻
-
Namiki Mikio
Department Of Urology Kanazawa University Graduate School Of Medical Science
-
恵南 慶宣
大阪大学大学院 基礎工学研究科 情報数理系専攻
-
Naoi Makito
Department Of Urology Toho University Sakura Medical Center
-
鷲崎 弘宜
早稲田大学基幹理工学部情報理工学科
-
中村 匡秀
神戸大学大学院システム情報学研完科
-
藤本 哲
大阪大学大学院情報科学研究科
-
森崎 修司
奈良先端科学技術大学院大学
-
桑原 寛明
立命館大学情報理工学部
-
中村 匡秀
奈良先端科学技術大学院大学情報科学研究科
-
木本 雅博
大阪大学大学院情報科学研究科
-
野田 夏子
NECサービスプラットフォーム研究所
-
位野木 万里
東芝ソリューション(株)
-
野田 夏子
日本電気株式会社共通基盤ソフトウェア研究所
-
大森 隆行
立命館大学理工学研究科
-
寺田 博文
大阪大学大学院基礎光化学研究科情報数理系専攻
-
佐藤 裕
(株)日立メディコ技術研究所
-
野田 夏子
Nec共通基盤ソフトウェア研究所
-
野田 夏子
Microcomputer Software Development Laboratories Nec Corporation
-
市原 浩司
大阪大学大学院基礎工学研究科情報数理系専攻
-
位野木 万里
東芝ソリューション(株)it技術研究所
-
位野木 万里
東芝ソリューション株式会社:早稲田大学
-
野口 達也
大阪大学大学院情報科学研究科
-
緒方 彰吾
大阪大学大学院情報科学研究科
-
赤井 和幸
大阪大学大学院情報科学研究科
-
飯島 正
慶應義塾大学理工学部首理工学科
-
関澤 俊弦
大阪学院大学
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
リーラープルット パッタラ
大阪大学大学院情報科学研究科
-
仲田 善満
大阪大学大学院情報科学研究科
-
中井 亮介
大阪大学大学院情報科学研究科
-
秀島 健太郎
大阪大学大学院情報科学研究科
-
天嵜 聡介
岡山県立大学
-
野田 夏子
Nec
-
野田 夏子
日本電気株式会社サービスプラットフォーム研究所
-
飯島 正
慶応大
-
森 真佐也
大阪大学大学院基礎工学研究科情報数理系
-
位野木 万里
東芝ソリューション
-
大森 隆行
立命館大学情報理工学部
-
大森 隆行
立命館大学
-
五十嵐 大輔
大阪大学大学院情報科学研究科情報システム工学専攻
-
佐原 伸
株式会社CSK
-
飯島 正
慶應義塾大学
-
芦田 英二
大阪大学大学院基礎工学研究科情報数理系専攻
-
西本 哲
大阪大学大学院情報科学研究科
-
山本 浩司
大阪大学大学院情報科学研究科情報システム工学専攻
-
小林 慎和
大阪大学大学院基礎工学研究科情報数理系専攻
-
徳山 瞬
大阪大学
-
柴 俊明
大阪大学 大学院情報科学研究科
-
柴 俊明
大阪大学大学院情報科学研究科
-
井上 裕之
大阪大学
-
崔 銀恵
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
崔 銀恵
大阪大学大学院基礎工学研究科情報数理系専攻
-
桑原 寛明
立命館大学
-
大森 隆行
立命館大学情報理工学部情報システム学科
-
大森 隆行
立命館大学情報理工部情報システム学科
-
平崎 靖博
大阪大学大学院情報科学研究科
-
田中 真吾
大阪大学基礎工学部
-
重岡 大樹
大阪大学基礎工学部
-
松井 佑記
大阪大学大学院情報科学研究科
-
寺田 博文
(株)日立製作所横浜研究所
著作論文
- ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
- 3状態相互排他アルゴリズムの安定時間の下限について
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ペアワイズテスト : ソフトウェアテストの効率化を求めて
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)
- 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
- ペトリネットに対する充足可能性判定を利用した検証手法の提案(コンカレント工学一般)
- ペトリネットに対するSATを利用したモデル検査の効率化
- 充足可能性判定を用いたモデル検査ツールの実装
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ウインターワークショップ2010・イン・倉敷開催報告
- ウインターワークショップ2010・イン・倉敷開催報告
- GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
- Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- ウインターワークショップ2010・イン・倉敷開催報告
- ゴシップ型ブロードキャストの高信頼化のための適応的再送手法の提案(ネットワーク,SWoPP2006)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- AT-3-3 モデル検査のためのコンカレントシステムの仕様記述(AT-3.コンカレントシステム理論の新しい流れ,チュートリアルセッション,ソサイエティ企画)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- C-010 アドホックネットワークに対するゴシップ型ブロードキャストプロトコルの信頼性の分析(C.アーキテクチャ・ハードウェア)
- システム特性を考慮したペアワイズテストの改良
- サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 (ソフトウェアサイエンス)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- マルチプロセッサスケジューリングのGA解法に対する精度向上
- C-009 ゴシップ型マルチキャストにおけるメンバーシップビューの構造化が信頼性に及ぼす影響に関する研究(C.アーキテクチャ・ハードウェア)
- ウィンターワークショップ2011・イン・修善寺開催報告
- リンク故障を考慮したkコテリーの信頼性評価手法
- アドホックネットワークにおける可変送信出力を用いた省電力ブロードキャスト手法の提案(解析・省電力,SWoPP2006)
- 無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置手法の提案
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
- IRISソフトリアルタイムタスクの複数サーバ上への効果的なスケジューリング法の提案
- [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)
- A-042 p-median問題に対するアントアルゴリズムの適用(A.モデル・アルゴリズム・プログラミング)
- 記号モデル検査を用いたステートチャートの検証
- マルチプロセッサシステムのためのプログラム構造を考慮したフォールトトレラントスケジューリング
- あるマルチプロセッサ上でのフォールトトレラントスケジューリングアルゴリズムの提案
- 充足可能性判定を用いたモデル検査ツールの実装
- メタヒューリスティックを用いた組合せテスト用テストセットの生成法(安全性及び一般)
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- 分散システムにおける信頼性最大の資源配置について
- ペトリネットに対する充足可能性判定を用いた検証法の提案
- ワークステーションクラスタを用いた耐故障並列分枝限定法の実装
- 充足可能性判定を利用したモデル検査
- ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成
- 制御システム分野におけるモデル検査の応用
- パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法(ネットワーク環境でのディペンダビリティー)
- 鉄道車両制御の分散処理のための車上アプリケーション再構築とワークフロー管理方式の提案(ソフトウェアシステム,システム開発論文)
- パラメータ値に関する制約を考慮したランダムテストの不具合検出率について(テスト)
- 多数決投票を用いた分散システムの可用性の最大化
- パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)
- パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)