1242 search results - page 9 / 249 » Benchmark Analysis with FaCT |
IJON
2007
13 years 7 months ago
2007
The Double Vector Quantization (DVQ) method, a long-term forecasting method based on the self-organizing maps algorithm, has been used to predict the 100 missing values of the CAT...
BMCBI
2008
13 years 7 months ago
2008
Background: The Golden Spike data set has been used to validate a number of methods for summarizing Affymetrix data sets, sometimes with seemingly contradictory results. Much less...
CC
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
EPEW
2007
Springer
14 years 1 months ago
2007
Springer
Message-oriented middleware (MOM) is at the core of a vast number of financial services and telco applications, and is gaining increasing traction in other industries, such as man...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...