4276 search results - page 54 / 856 » Techniques for Empirical Validation |
173
click to vote
CLUSTER
2008
IEEE
16 years 23 days ago
2008
IEEE
—This paper describes the application of various search techniques to the problem of automatic empirical code optimization. The search process is a critical aspect of auto-tuning...
152
click to vote
OHS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
158
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
170
click to vote
FLAIRS
2006
15 years 7 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
172
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...