4107 search results - page 174 / 822 » The Generalized Lambda Test |
144
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
174
click to vote
DDECS
2006
IEEE
16 years 17 days ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
145
click to vote
ADC
2004
Springer
15 years 12 months ago
2004
Springer
In information retrieval, queries can fail to find documents due to mismatch in terminology. Query expansion is a well-known technique addressing this problem, where additional q...
271
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
163
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces the Patent Mining Task of the Seventh NTCIR Workshop and the test collections produced in this task. The task's goal was the classification of research ...