1399 search results - page 153 / 280 » Verification of Test Suites |
149
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Topics form a crucial component of a test collection. We show, through visualization, that the INEX 2008 topics have shortcomings, which questions their validity for evaluating XM...
175
click to vote
EDCC
2005
Springer
16 years 14 days ago
2005
Springer
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
161
click to vote
ASYNC
2002
IEEE
15 years 12 months ago
2002
IEEE
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
187
click to vote
DAC
1990
ACM
15 years 11 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
171
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...