2421 search results - page 336 / 485 » Integrity Assurance Technique Using Determinant Approach |
147
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
142
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
132
Voted
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
Clock network power in field-programmable gate arrays (FPGAs) is considered and two complementary approaches for clock power reduction in the Xilinx R VirtexTM -5 FPGA are presen...
133
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
Observing the evolution of very large software systems is difficult because of the sheer amount of information that needs to be analyzed and because the changes performed in the s...
173
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...