4107 search results - page 107 / 822 » The Generalized Lambda Test |
104
click to vote
APPROX
2008
Springer
15 years 3 months ago
2008
Springer
We consider testing directed graphs for being Eulerian in the orientation model introduced in [15]. Despite the local nature of the property of being Eulerian, it turns out to be ...
147
click to vote
ET
2010
14 years 11 months ago
2010
Modern mixed-signal/RF circuits with a digital calibration capability could achieve significant performance improvement through calibration. However, the calibration process often ...
118
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
DAC
2009
ACM
16 years 2 months ago
2009
ACM
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
179
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...