713 search results - page 104 / 143 » Using information about functions in selecting test cases |
102
click to vote
JAC
2008
15 years 1 months ago
2008
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the result could actually...
122
click to vote
LWA
2004
15 years 1 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
ICCAD
2003
IEEE
15 years 5 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
101
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
CHI
2007
ACM
16 years 6 days ago
2007
ACM
Biological research in the field is constrained by the speed and difficulty of species determination, as well as by access to relevant information about the species encountered. H...