16513 search results - page 332 / 3303 » Numerical Analysis Methods |
165
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
179
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
198
click to vote
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
The amount of textual data that is available for researchers and businesses to analyze is increasing at a dramatic rate. This reality has led IS researchers to investigate various...
153
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an approach for analysis of system state differences observable through the scan chain for the debug of functional failures. A novel methodology for Latch Dive...
166
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we experimentally evaluated the effect of outlier detection methods to improve the prediction performance of fault-proneness models. Detected outliers were removed ...