981 search results - page 24 / 197 » Symbolic pointer analysis |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
In online handwritten math expression recognition, one-pass dynamic programming can produce highquality symbol graphs in addition to best symbol sequence hypotheses [3], especiall...
DAC
2004
ACM
14 years 2 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
ENGL
2007
13 years 8 months ago
2007
— Using computer simulated tests, this study examined direction-of-motion stereotypes and response times for different configurations of lever controls and circular displays. Qua...
ICDAR
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the specifications for our ground-truthed mathematical character and symbol