ドメイン特化型開発における自動化テストプロセスの提案 (コンピュータシステム)
スポンサーリンク
概要
- 論文の詳細を見る
- 電子情報通信学会の論文
- 2010-03-26
著者
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
森 奈実子
九州大学大学院システム情報科学府
-
Nakanishi Tsuneo
Graduate School/faculty Of Information Science And Electrical Engineering Kyushu University
-
中西 恒夫
九州大学大学院システム情報科学研究院|九州大学大学院統合新領域学府
関連論文
- 無線可視領域通信を支援する相対位置情報を利用した名前解決ミドルウェア(ネットワークミドルウェア・エミュレータ,ネットワークを支えるソフトウェア技術論文)
- 無線LAN位置推定における誤差補正手法の一検討(Work in Progress,ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化,ストリーム技術,信頼性,一般)
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- B-15-9 地理情報システムのためのキャッシュデータの確率的な無効化を実現する放送型プロトコル(B-15.モバイルマルチメディア通信,一般セッション)
- 地理情報のデータ構造を考慮した放送型キャッシュデータ無効化プロトコル(移動通信ワークショップ)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 一時的なサービス利用を考慮したUI配布型機器連携アーキテクチャの提案(セッション3:慶應義塾大学)
- 自動並列化コンパイラの統一的中間表現とインターフェースを用いたコード変換の実装
- 分枝限定法を用いたプログラム分割の下界に対する考察
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- プロダクト・ライン開発方法論に学ぶ整理と再利用 製品のシリーズ展開を考えよう (特集 要求仕様のまとめ方からソフトウェアの品質確保まで トラブらない,バグらない 組み込み製品開発技報)
- 相対位置情報を利用した無線可視領域における通信を支援する名前解決ミドルウェアの設計と評価(ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- WiPS : 無線LAN機器を用いた位置測定システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 無線LANを用いた位置推定システムのためのデバイス正規化手法(位置推定)
- ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
- ドメイン特化型開発における自動化テストプロセスの提案 (コンピュータシステム)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- RASを用いたソフトウェアプロダクトライン開発資産表現
- ホームネットワークのためのセンサ連携を支援するイベント駆動フレームワーク(ネットワーク,システム開発・ソフトウェア開発論文)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 相対位置情報を利用した名前解決ミドルウェアのための負荷分散手法の評価(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信)
- B-15-10 無線LANを用いた位置推定システムにおける推定結果補正手法の評価(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-1 無線可視領域ネットワークのための端末相互認証手法における視覚情報の効果(B-15.モバイルマルチメディア通信,一般セッション)
- 無線可視領域ネットワークにおける端末相互認証手法の評価(移動通信ワークショップ)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- ソフトウエアシミュレーションによるシステムLSI設計・検証ツールの評価
- FPGAによるゲノムシーケンス解析専用プロセッサの設計
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
- 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
- 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
- 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 辞書式コード圧縮支援機構の遺伝的アルゴリズムによる最適化
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- 汎用OSのアプリケーション特化の半自動化
- 汎用OSのアプリケーション特化の半自動化
- 特定用途のための汎用OSのサイズ縮小に関する考察
- 特定用途のための汎用OSのサイズ縮小に関する考察
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- 放送による車載機器向けソフトウェア差分更新方式
- 放送による車載機器向けソフトウェア差分更新方式
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 移動計算機を含むPeer-to-Peer情報共有環境における位置管理方式(マルチメディアコミュニケーションシステム)
- 移動計算機環境における位置情報管理システムの設計と構築
- 移動計算機環境における位置情報管理システムの設計と構築
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムを対象としたメモリ管理
- 組み込みシステムを対象としたメモリ管理
- 無線環境に適した移動計算機位置情報管理機構の評価
- 無線環境に適した移動計算機位置情報管理機構の評価
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組み込み用マイクロカーネルOS lambda
- 組み込み用マイクロカーネルOS lambda
- 周期性を有する配列参照パターンの解析手法について
- セル位置情報に基づくアドホックネットワークルーティングの評価
- セル位置情報に基づくアドホックネットワークルーティングの評価
- 省電力指向符号化アルゴリズムとその予備評価
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境を用いたポストゲノムアプリケーションHMMerの高速化に向けて
- 省電力指向符号化アルゴリズムとその予備評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 2000-HPC-82-17 学振MIRAIコンパイラにおける剰余区間伝播の設計
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用