N-025 3×3分割表を用いたテスト項目関連構造の分析(教育・人文科学,一般論文)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2008-08-20
著者
-
中田 明夫
広島市立大学大学院情報科学研究科
-
中田 明夫
広島市立大学情報科学研究科
-
中田 明夫
広島市立大学 大学院情報科学研究科
-
島 和之
広島市立大学
-
北山 竜太
広島市立大学情報科学研究科
-
大場 充
広島市立大学情報科学研究科
-
大場 充
広島市大
-
島 和之
広島市立大学大学院情報科学研究科
-
大場 充
広島市立大学
関連論文
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- ネットワークオンチップにおける回路面積と配線コストを考慮したチップ内通信構造最適化の一手法(コンピュータシステムの設計・検証及び一般,デザインガイア2007-VLSI設計の新しい大地を考える研究会)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 時間オートマトンのモデル検査
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法(VLSI設計技術とCAD)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- ソフトウェアオーバホール手法の実験的評価(テスト技法・保守技術,新しいパラダイムの中での分散システム/インターネット運用・管理)
- ソフトウェアオーバーホール手法の評価実験
- ソースコードの並び替えによるソフトウェアの問題発見手法
- 脳波データを用いたユーザビリティ評価実験の考察
- 脳波計測装置を用いたユーザインタフェースの評価
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- N-025 3×3分割表を用いたテスト項目関連構造の分析(教育・人文科学,一般論文)
- 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
- 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- ソフトウェア開発期間推定における作業時間分布の考察
- ユーザの振る舞いによる Web ユーザビリティの低いページの検出
- Webページ閲覧者の視線に基づいた情報探索モデルの提案(一般セッション, インタラクション・メディアおよび一般)
- WebTracer:視線を利用したWebユーザビリティ評価環境(ユーザビリティ)(「インタラクション:理論,技術,応用,評価」)
- 視線情報を用いたWebユーザビリティ評価の実験的検討
- 一定次数のオーバレイネットワークにおける最適経路長の経路決定方法の考察(分散処理,シームレスコンピューティングとその応用技術)
- M_032 ミラー・レービン素数判定アルゴリズムの高速化(M分野:アーキテクチャ・ユビキタス・セキュリティ)
- 電子自治体の構築・運用に関する実態調査と地域別特徴分析
- 分散環境における協調的問題解決支援に関する実験
- 自治体行政情報システム導入へ向けての検討事例
- 自治体行政情報システム導入へ向けての検討事例(「マルチメディアサービスのニーズの研究-個人・家庭ニーズ研究の最前線」)
- 地域情報化のニーズ(「マルチメディアサービスのニーズの研究-個人・家庭ニーズ研究の最前線」)
- 学習する組織 : ソフトウェア・プロセス改善に基づく組織の継続学習
- ソフトウェアCALS : なぜインターネットのソフトウェア調達への利用か?
- プロセス・モデリングと高信頼性システム
- パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法 (計算機科学基礎理論とその応用)
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 安全な多重帰属制御を実現するVPN分散管理プロトコルの提案(ネットワークプロトコル,シームレスコンピューティングとその応用技術)
- 統計的分析手法によるJava言語の理解順序に関する研究
- Java言語の理解順序に関する関連構造の統計的分析
- Webページデザインに対する印象の日中比較
- L-024 認証手続きを効率化する3つ組暗号の改善(L分野:ネットワーク・セキュリティ,一般論文)
- ブラウザに依存しない WWW ぺージの記述を目的とした HTML エディタの作成
- ブラウザに依存しない WWW ぺージの記述を目的とした HTML エディタの作成
- 様々な故障生起頻度のフォールトを含むソフトウェアの信頼性に関する考察
- ソフトウェア開発者の運動情報に基づく特徴的行動の検索方法の提案
- ソフトウェアフォールトごとの故障生起頻度の違いについての考察
- モジュール交換手法によるマルチバージョンソフトウェアの信頼性向上
- ソフトウェア開発実験における開発行動の観測データの統合的表示方式
- オブジェクト指向分析・設計ドキュメント計測システムの作成
- データ付時間オートマトンの双模倣等価性の記号的検証法
- あるクラスの時間オートマトンに対する適合性試験系列生成の一手法(マルチメディア通信と分散処理)
- M-020 オーバレイネットワークにおける遅延時間のシミュレーションとPlanetLabの比較(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案(設計技術と設計自動化)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案(アプリケーションI, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- マルチランデブに基づくグループ通信機能を提供する Java ミドルウェアの提案
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 文脈自由プロセスに対するプロトコル合成の一手法
- 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作
- リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法
- B-18-10 ICカードとオーバレイネットワークによる災害時の安否確認システム(B-18.ネットワークソフトウェア,一般セッション)
- ソフトウェアフォールトの故障生起頻度分布について
- 飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価
- 変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討
- 2-B-11 利用率を考慮した分散環境におけるサービス最適配置法の研究(離散最適化(7))
- B-3-18 災害対応用衛星インターネットの降雨減衰によるパケット損失に関する考察(B-3.衛星通信,一般セッション)
- ユーザの振る舞いの判別分析による主観的満足度の低い Web ページの検出
- 飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価