1492 search results - page 62 / 299 » Testing Properties of Constraint-Graphs |
148
Voted
APPROX
2004
Springer
15 years 9 months ago
2004
Springer
In standard property testing, the task is to distinguish between objects that have a property P and those that are ε-far from P, for some ε > 0. In this setting, it is perfec...
114
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
175
Voted
TON
2010
14 years 10 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
124
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We introduce the problem of scene viewpoint recognition, the goal of which is to classify the type of place shown in a photo, and also recognize the observer’s viewpoint within ...
143
click to vote
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...