2312 search results - page 48 / 463 » Invariance in Property Testing |
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
JMIV
1998
13 years 9 months ago
1998
Singular points of scalar images in any dimensions are classified by a topological number. This number takes integer values and can efficiently be computed as a surface integral ...
BMVC
2000
13 years 11 months ago
2000
A new object recognition method, the Invariant Pixel Set Signature (IPSS), is introduced. Objects are represented with a probability density on the space of invariants computed fr...
CRV
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we make use of the idea that a robot can autonomously discover objects and learn their appearances by poking and prodding at interesting parts of a scene. In order t...
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...