1492 search results - page 83 / 299 » Testing Properties of Constraint-Graphs |
132
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
To evaluate the diversity of search results, test collections have been developed that identify multiple intents for each query. Intents are the different meanings or facets that...
114
Voted
ITC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...
125
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
136
Voted
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
Several methods improving the fault coverage in mixed-mode BIST are presented in this paper. The test is divided into two phases: the pseudo-random and deterministic. Maximum of f...
162
Voted
ECCC
2011
14 years 7 months ago
2011
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important questi...