1620 search results - page 13 / 324 » Testing Polymorphic Properties |
STOC
2001
ACM
16 years 8 hour ago
2001
ACM
COLT
2007
Springer
15 years 5 months ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...
ECCC
2010
14 years 11 months ago
2010
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad "...
TCAD
2010
14 years 6 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
COCO
2005
Springer
15 years 5 months ago
2005
Springer
A property tester with high probability accepts inputs satisfying a given property and rejects inputs that are far from satisfying it. A tolerant property tester, as defined by P...