2673 search results - page 219 / 535 » Guided Static Analysis |
136
click to vote
CACM
2006
15 years 4 months ago
2006
: Traditional methods of digital forensics analyze a static disk image--a bitstream copy of a disk created while the system is offline. Recent trends--including greatly increased d...
138
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a new approach for Handwritten Word Recognition based on Hidden Markov Model theory and the sliding window technique. The new approach uses specific singularit...
139
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Shape skeleton extraction is a fundamental preprocessing task in shape-based pattern recognition. This paper presents a new algorithm for fast and precise extraction of kinematic ...
126
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
129
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...