1596 search results - page 53 / 320 » Quantum property testing |
79
Voted
GD
2004
Springer
15 years 6 months ago
2004
Springer
The upward planarity testing problem consists of testing if a digraph admits a drawing Γ such that all edges in Γ are monotonically increasing in the vertical direction and no e...
102
Voted
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
116
Voted
PROPERTYTESTING
2010
14 years 10 months ago
2010
We give a high-level survey of the "testing by implicit learning" paradigm, and explain some of the property testing results for various Boolean function classes that ha...
100
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Properties of Boolean functions on the hypercube that are invariant with respect to linear transformations of the domain are among some of the most well-studied properties in the ...