4167 search results - page 336 / 834 » Regression model checking |
145
click to vote
IWPSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
175
click to vote
JMLR
2002
15 years 4 months ago
2002
A central problem in learning is selection of an appropriate model. This is typically done by estimating the unknown generalization errors of a set of models to be selected from a...
138
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
Abstract: This paper introduces a novel data-driven methodology named Evolutionary Polynomial Regression (EPR), which permits the multi-purpose modelling of physical phenomena, thr...
143
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
172
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...