10715 search results - page 154 / 2143 » Proofs from Tests |
116
Voted
JCPHY
2011
14 years 3 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
96
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In this paper a new solution is proposed for testing simple stwo stage electronic circuits. It minimizes the number of tests to be performed to determine the genuinity of the circ...
101
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
102
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...
92
Voted
ISVLSI
2008
IEEE
15 years 7 months ago
2008
IEEE
With the advent of nanometer technologies, the design size of integrated circuits is getting larger and the operation speed is getting faster. As a consequence, test cost is becom...