458 search results - page 14 / 92 » Symbolic Object Code Analysis |
DOCENG
2009
ACM
13 years 6 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
POS
2000
Springer
14 years 13 hour ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
TIT
2011
13 years 3 months ago
2011
— This paper presents new lower and upper bounds for the compression rate of binary prefix codes optimized over memoryless sources according to various nonlinear codeword length...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
CIARP
2007
Springer
14 years 2 months ago
2007
Springer
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...