3579 search results - page 199 / 716 » Transformations of software models into performance models |
128
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
133
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
133
Voted
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
165
click to vote
IJCV
2010
15 years 3 months ago
2010
Abstract We review the evolution of the nonparametric regression modeling in imaging from the local Nadaraya-Watson kernel estimate to the nonlocal means and further to transform-d...
145
Voted
SPLC
2008
15 years 6 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...