文献

J-GLOBAL ID：201702290651560272   整理番号：17A0182091

記号性能適応【Powered by NICT】

Symbolic Performance Adaptation

著者 (3件)： Incerto Emilio ,  Tribastone Mirco ,  Trubiani Catia
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： SEAMS  ページ： 140-150  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 性能と信頼性のようなサービス品質属性は,ソフトウェアが実行される実行時間条件に強く依存する(例えば,作業負荷変動と資源アベイラビリティ)。,これらの実行時変動による設定と挙動を適応できる設計システムに重要である。本論文では,定量的モデルをシステム構成を表現するとして待ち行列ネットワークに基づく新しいアプローチを提案した。実行時条件での連続変化に適合するモデルを見つけるために,記号解析と充足可能性モジュロ理論(SMT)の革新的な組み合わせに依存している。記号解析を通して,非線形実制約の集合として全ての可能なシステム構成を示した。SMT問題を定式化することにより,少ない計算コストで実現可能なシステム構成を考案することができた。は,異なるレベルの冗長性を特徴とする三層Webシステム上で提案アプローチの有効性とスケーラビリティを調べた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 定式化 ,  *待ち行列網 ,  信頼性 ,  アベイラビリティ ,  品質特性 ,  冗長性 ,  制約条件 ,  ソフトウェア
準シソーラス用語： Webシステム ,  計算コスト ,  システム構成 ,  実行時間 , 【Automatic Indexing@JST】

分類 (1件)： 待ち行列  (KA03050I)

タイトルに関連する用語 (2件)： 記号 ,  適応