Computing Average Response Time

Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan

doi:10.1007/978-3-319-95246-8_9

Cited by 2 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nevertheless, operations like average for response time or power consumption cannot be described within the algebraic structure of semirings. Such operations are important for practical applications and have been investigated for weighted automata in [4][5][6]. In [7,8] the authors provided valuation monoids as a general algebraic framework, which describe several operations that cannot fit in the structure of semirings.…”

Section: Introductionmentioning

confidence: 99%

“…More recently, in [15] nested weighted automata have been considered under probabilistic semantics for expressing properties such as "the long-run average resource consumption is below a threshold". Also, the authors in [6] presented algorithms which are designed specifically for computing the average response time on graphs, game graphs, and Markov chains.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Weighted PCL over Product Valuation Monoids

Karyoti¹,

Paraponiari²

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We introduce a weighted propositional configuration logic over a product valuation monoid. Our logic is intended to serve as a specification language for software architectures with quantitative features such as the average of all interactions' costs of the architecture and the maximum cost among all costs occurring most frequently within a specific number of components in an architecture. We provide formulas of our logic which describe well-known architectures equipped with quantitative characteristics. Moreover, we prove an efficient construction of a full normal form which leads to decidability of equivalence of formulas in this logic.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Weighted PCL over Product Valuation Monoids

Karyoti¹,

Paraponiari²

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Nevertheless, operations like average for response time or power consumption cannot be described within the algebraic structure of semirings. Such operations are important for practical applications and have been investigated for weighted automata in [1,2,3]. In [5,6] the authors provided valuation monoids as a general algebraic framework, which describe several operations that cannot fit in the structure of semirings.…”

Section: Introductionmentioning

confidence: 99%

“…More recently, in [11] nested weighted automata have been considered under probabilistic semantics for expressing properties such as "the long-run average resource consumption is below a threshold". Also, the authors in [3] presented algorithms which are designed specifically for computing the average responce time on graphs, game graphs, and Markov chains.…”

Section: Introductionmentioning

confidence: 99%