C-006 実行可能UMLにおけるアサーションベースの動的検証(ハードウェア・アーキテクチャ,一般論文)

スポンサーリンク

概要

• 論文の詳細を見る
• 2008-08-20

著者

• 松本 倫子

  埼玉大学

• 吉田 紀彦

  埼玉大学

• 吉田 紀彦

  埼玉大学大学院理工学研究科

• 松本 倫子

  埼玉大学大学院理工学研究科

• 菅井 雅仁

  埼玉大学

関連論文

• 車載向けソフト仕様書記述方式の研究と有効性実証
• RC-007 実行可能UMLのリファクタリングに基づく段階的詳細化設計(ハードウェア・アーキテクチャ,査読付き論文)
• C-005 実行可能UMLのアスペクト指向記述に基づくシステムレベル設計(ハードウェア・アーキテクチャ,一般論文)
• LC_004 システムレベル設計へのアスペクト指向技術の応用(C分野:ハードウェア)
• 柔軟な構成変更を可能とする広帯域配信システムの構築(超高速ネットワーク及びインターネット一般,省エネルギーと超高速ネットワーク,一般)
• M_026 制御ネットワークの段階的詳細化設計のUML記述(M分野:アーキテクチャ・ユビキタス・セキュリティ)
• L-004 適応型階層構造を形成するピアツーピアGridシステム(L.インターネット)
• システムレベル設計における通信仕様の探索(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
• システムレベル設計における通信仕様の探索(システム設計手法,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• システムレベル設計における通信仕様の探索(システム設計手法,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
• C_007 システムレベル設計におけるリファクタリング規則の定式化とカタログ化(C分野:ハードウェア)
• シーケンス制御システムの設計効率向上に向けたシステムレベル設計の応用
• LC-007 システムレベル設計に基づくシーケンス制御システムの段階的詳細化設計(C分野:アーキテクチャ・ハードウェア)
• LC-006 抽象的システムレベル設計へのリファクタリング技術の適用(C分野:アーキテクチャ・ハードウェア)
• リファクタリング技術を応用したHW/SW分割(コデザイン)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
• リファクタリング技術を応用したHW/SW分割(コデザイン)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• リファクタリング技術を応用したHW/SW分割(コデザイン)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• リファクタリング技術を応用したHW/SW分割(コデザイン)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• C-007 抽象仕様の再構成に基づくオブジェクト指向システムレベル設計(C.アーキテクチャ・ハードウェア)
• 並行処理デザインパターンのアスペクト指向による記述
• L-023 アドホックネットワークにおける適応型経路制御の設計(L.インターネット)
• LL-001 適応型ピアツーピアシステムにおける動的検索誘導(L. インターネット)
• LM-3 インデクスサーバを動的生成配置するP2PシステムAmorphicNet(M. ネットワーク・モバイルコンピューティング)
• 並行処理デザインパターンのアスペクト指向による記述
• システム・バリエーションのアスペクト指向による部品化
• C-006 実行可能UMLにおけるアサーションベースの動的検証(ハードウェア・アーキテクチャ,一般論文)
• O-003 デザインパターンの実行可能UMLによる記述 : 分散システム用パターンによる試行(O分野:情報システム)
• M-069 ワイヤレスメッシュネットワークにおける傾斜型クラスタを用いた経路制御(M分野:ユビキタス・モバイルコンピューティング)
• M-068 アドホックネットワーク上のマルチキャストにおける動的負荷分散型の経路制御(M分野:ユビキタス・モバイルコンピューティング)
• M-049 スケールフリーP2Pネットワークにおけるハブの分散的検出と検索効率化(M分野:ユビキタス・モバイルコンピューティング)
• M-048 ネットワークDDoS攻撃に耐性を持つP2Pネットワーク(M分野:ユビキタス・モバイルコンピューティング)
• C-002 システムレベル設計における通信仕様モデルの探索(C分野:ハードウェア・アーキテクチャ)
• LM-011 P2Pネットワークにおけるノード信頼性評価の効率化(ユビキタス・モバイルコンピューティング)
• LM-010 複数キーワード検索に対応した分散ハッシュ型P2Pネットワーク(ユビキタス・モバイルコンピューティング)
• L-039 ピアツーピアシステムにおけるコンテンツ複製配置の最適化(L分野:ネットワークコンピューティング)
• P2Pネットワークにおけるコンテンツの人気度を反映した複製配置
• 3.システムのモデル化と計算モデル(システムレベルデザイン)
• 2ZP-1 Webサービスのインタフェース変換の動的アスペクト記述(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 動的輪郭モデル Snakes の分散協調による高精度化
• I-025 分散協調型の動的輪郭モデルSnakesの評価(I分野:画像認識・メディア理解)
• I-051 動的輪郭モデルSnakesの分散協調による高精度化(I.画像認識・メディア理解)
• C-006 システムレベル設計のシーケンス制御システム設計への応用(C.アーキテクチャ・ハードウェア)
• A-5 並列分散型遺伝的アルゴリズムVLSI"GAP/D"における動的移住調整(並列処理,A.アルゴリズム・基礎)
• M-081 XMLを用いたWebコンテンツ共有のためのP2Pプロトコルの提案と実装(M.ネットワーク・モバイルコンピューティング)
• L-053 アドホックネットワークの経路制御における動的クラスタリング(L分野:ネットワークコンピューティング)
• B-011 Worker Threadデザインパターンの分散化(B分野:ソフトウェア)
• LL-013 ピアツーピアシステムにおける不正ノードの動的回避(L分野:ネットワークコンピューティング)
• L-012 モバイルスレッドとタプル空間を用いた随伴エージェントシステム(L.インターネット)
• L-005 P2P-based Self-Coordination of CDN Surrogates

もっと見る 閉じる

スポンサーリンク