1492 search results - page 62 / 299 » Testing Properties of Constraint-Graphs |
181
click to vote
APPROX
2004
Springer
15 years 11 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...
144
click to vote
APLAS
2007
ACM
15 years 10 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...
222
click to vote
TON
2010
15 years 21 days 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...
159
click to vote
CVPR
2012
IEEE
13 years 8 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 ...
174
click to vote
ITC
2003
IEEE
15 years 11 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-...