6800 search results - page 488 / 1360 » Testing with Functions as Specifications |
198
click to vote
TIT
2010
15 years 2 months ago
2010
This work provides asymptotic properties of the autocorrelation functions of the wavelet packet coefficients of a fractional Brownian motion. It also discusses the convergence spe...
235
click to vote
RECOMB
2005
Springer
16 years 8 months ago
2005
Springer
Background: Most cellular processes are carried out by multi-protein complexes, groups of proteins that bind together to perform a specific task. Some proteins form stable complex...
161
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
192
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
We present a study comparing usability testing of a single interface versus three functionally equivalent but stylistically distinct designs. We found that when presented with a s...
191
click to vote
PDCAT
2009
Springer
16 years 2 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...