1620 search results - page 210 / 324 » Testing Polymorphic Properties |
165
click to vote
DIS
2007
Springer
15 years 11 months ago
2007
Springer
We describe a technique for comparing distributions without the need for density estimation as an intermediate step. Our approach relies on mapping the distributions into a reprodu...
139
click to vote
APPROX
2005
Springer
15 years 10 months ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...
142
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
130
click to vote
FCCM
2003
IEEE
15 years 10 months ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...
139
click to vote
DBPL
1999
Springer
15 years 9 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...