1102 search results - page 44 / 221 » Generalizing Updates: From Models to Programs |
101
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
111
Voted
TSE
2010
14 years 10 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
128
Voted
NIPS
1997
15 years 1 months ago
1997
We study on-line generalized linear regression with multidimensional outputs, i.e., neural networks with multiple output nodes but no hidden nodes. We allow at the final layer tra...
102
Voted
TSMC
2010
14 years 7 months ago
2010
A generalized or tunable-kernel model is proposed for probability density function estimation based on an orthogonal forward regression procedure. Each stage of the density estimat...
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...