1242 search results - page 155 / 249 » Benchmark Analysis with FaCT |
IEEEPACT
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
KES
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
PKDD
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents an interdisciplinary investigation of statistical information retrieval (IR) techniques for protein identification from tandem mass spectra, a challenging probl...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Much of the computational complexity in employing evolutionary algorithms as optimization tool is due to the fitness function evaluation that may either not exist or be computat...