1242 search results - page 176 / 249 » Benchmark Analysis with FaCT |
ESORICS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
KDD
2006
ACM
14 years 10 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
HPCA
2003
IEEE
14 years 10 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...