2686 search results - page 140 / 538 » Testing metric properties |
149
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
150
click to vote
ERSHOV
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
147
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We consider the problem of testing functions for the property of being a k-junta (i.e., of depending on at most k variables). Fischer, Kindler, Ron, Safra, and Samorodnitsky (J. Co...
162
click to vote
ARITH
1999
IEEE
15 years 9 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
156
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...