4167 search results - page 316 / 834 » Regression model checking |
174
Voted
DIS
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge discovery systems are constrained by three main limited resources: time, memory and sample size. Sample size is traditionally the dominant limitation, but in many present...
155
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
154
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
109
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Sp...
173
click to vote
WOODPECKER
2001
15 years 6 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...