352 search results - page 2 / 71 » Evaluating the imprecision of static analysis |
FLAIRS
2000
13 years 6 months ago
2000
Today there are numerous tools for decision analysis, suitable both for human and artificial decision makers. Most of these tools require the decision maker to provide precise num...
ESEM
2008
ACM
13 years 7 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
FCCM
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
Effective buffer management is crucial for efficient inmemory and streaming XQuery processing. We propose a buffer management scheme which combines static and dynamic analysis to ...
ICFP
2004
ACM
14 years 5 months ago
2004
ACM