A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
スポンサーリンク
概要
著者
関連論文
-
無線センサネットワークの時刻同期と位置同定の統合化手法(ネットワーク)
-
2B-1 モデル駆動開発によるシステム性能評価手法の提案(組込み,品質,一般セッション,ソフトウェア科学・工学)
-
高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
-
モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
-
SIPアダプテーションを適用したNGNにおけるQoS制御の実現(ブロードバンドアクセス、電灯線通信、ホームネットワーク、一般)
-
センサネットワークにおける無線通信を利用した効率的ソフトウェア配布方式(セッションB-7:センサネットワーク,無線方式)
-
形式手法を用いたシステム設計検証技術
-
形式手法を用いたシステム設計検証技術
-
接点電流の制御によるディジタル入力装置の低消費電力化
-
階層型PCIシステムの性能対策
-
非同期回路の品質評価方法
-
リアルタイムマルチプロセッサシステムにおけるリカバリポイントの設定条件
-
フォールトトレラントシステムのメモリ制御
-
無線センサネットワークの時刻同期における中継スケジューリング手法(ネットワーク)
-
大規模センサネットワークの持続的時刻同期手法(RFID・センサネットワーク,ホームネットワーク,オーバーレイネットワーク,RFID及び一般)
-
高精度時刻同期手法を用いた振動発生源の検出(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
-
高精度時刻同期手法を用いた振動発生源の検出(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
-
センサノードの低消費電力方式 (特集 近距離無線/無線LANシステム)
-
無線センサネットワークにおける高精度時刻同期ノードの設計(センサネットワーク, 無線ネットワーク, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
-
ワイヤレスセンサ端末の開発 (特集 センサネットワーク技術とその応用システム)
-
B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
-
C-12-16 センサーネットワークノードの低消費電力化方式
-
無線センサネットワークにおける時刻および位置の同時同定手法(センサネットワーク)
-
無線センサネットワークにおけるMultilateration位置推定法の精度向上手法(計測・探査)
-
B-006 UML MARTE Profileを用いた性能シミュレーション手法の提案(B分野:ソフトウェア,一般論文)
-
モデル駆動による組込みシステムの性能検証手法の提案
-
D-6-7 動的周波数/電圧制御によるプロセッサの低電圧力方式
-
D-6-4 プラントコントローラの耐電磁ノイズ強化方式
-
2Z-3 ローカライゼーションとルーティングプロトコルの融合手法の提案(センサネットワーク,学生セッション,ネットワーク)
-
2Z-2 パイプライニングを用いたWSNにおけるソフトウェア配送の効率化に関する検討(センサネットワーク,学生セッション,ネットワーク)
-
B-7-46 プロセスバスにおけるリアルタイム通信方式
-
センサネットワークにおける無線通信を利用した効率的ソフトウェア配布方式(セッションB-7:センサネットワーク,無線方式)
-
WSNにおける無線通信を利用したソフトウェア更新効率化の検討(セッション6:アドホックネットワーク・センサーネットワーク)
-
WSNにおける無線通信を利用したソフトウェア更新効率化の検討(セッション6:アドホックネットワーク・センサーネットワーク)
-
センサネットワーク向け送信出力制御による電力削減手法(無線ネットワーク,アドホックネットワーク,センサネットワーク及び一般)
-
B-20-48 多数のセンサを用いた監視手法に関する考察(B-20.ユビキタス・センサネットワーク,一般セッション)
-
制御ソフトウェア向けテストケース生成方式の提案
-
A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
-
制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)
もっと見る
閉じる
スポンサーリンク