4107 search results - page 73 / 822 » The Generalized Lambda Test |
140
click to vote
APPROX
2010
Springer
15 years 1 months ago
2010
Springer
We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing properties of the hy...
201
click to vote
PODS
2009
ACM
16 years 2 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
114
click to vote
ISESE
2006
IEEE
15 years 7 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
KI
2006
Springer
15 years 1 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
107
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
The test time for core-external interconnect shorts/opens is typically much less than that for core-internal logic. Therefore, prior work on test infrastructure design for core-ba...