1150 search results - page 163 / 230 » Tackling Large State Spaces in Performance Modelling |
107
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
129
click to vote
TSP
2010
14 years 8 months ago
2010
We propose a variance-component probabilistic model for sparse signal reconstruction and model selection. The measurements follow an underdetermined linear model, where the unknown...
101
click to vote
BMCBI
2010
15 years 1 months ago
2010
nd: Although methods based on highly abstract descriptions of protein structures, such as VAST and TOPS, can perform very fast protein structure comparison, the results can lack a...
106
click to vote
SIGMETRICS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...
101
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...