229 search results - page 4 / 46 » How Efficient Can Memory Checking Be |
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
Background subtraction is a popular algorithm for video object segmentation. It identifies foreground objects by comparing the input images with a pure background image. In camera...
147
Voted
CC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
112
Voted
PLDI
2009
ACM
15 years 9 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...
103
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
108
Voted
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
Bulk memory copies incur large overheads such as CPU stalling (i.e., no overlap of computation with memory copy operation), small register-size data movement, cache pollution, etc...