490 search results - page 39 / 98 » Accuracy of Techniques for the Logical Analysis of Data |
ISSRE
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
ICAS
2006
IEEE
14 years 5 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Soft errors in combinational and sequential elements of digital circuits are an increasing concern as a result of technology scaling. Several techniques for gate and latch hardeni...
SIGMETRICS
2008
ACM
13 years 11 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
MICCAI
2003
Springer
14 years 12 months ago
2003
Springer
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...