1492 search results - page 7 / 299 » Testing Properties of Constraint-Graphs |
73
Voted
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we show that the already known method of using multiplexers for making the inputs and outputs of the embedded blocks accessible by the primary ports of the Integrate...
STOC
2001
ACM
15 years 9 months ago
2001
ACM
84
Voted
COLT
2007
Springer
15 years 3 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...
82
Voted
ECCC
2010
14 years 9 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 "...
88
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...