14244 search results - page 696 / 2849 » Modeling Program Predictability |
184
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Power-aware processors operate in various power modes to reduce energy consumption with a corresponding decrease in peak processor throughput. Recent work has shown power-aware cl...
195
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
199
click to vote
APIN
2004
15 years 7 months ago
2004
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
173
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- During needle-based procedures, transitions between tissue layers often involve puncture events that produce substantial deformation and tend to drive the needle off cou...
169
click to vote
LANMR
2007
15 years 8 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...