7311 search results - page 181 / 1463 » Time in State Machines |
144
click to vote
IJCAI
2007
15 years 6 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
146
Voted
JMLR
2012
13 years 7 months ago
2012
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...
148
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
138
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
173
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...