42507 search results - page 323 / 8502 » On the analysis of |
216
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
178
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
150
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
In these days, many important intangible cultural properties of the world are being lost because of the lack of successive performers. Digital archiving technology is one of the e...
196
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Over the past two decades a significant number of layout analysis (page segmentation and region classification) approaches have been proposed in the literature. Each approach has b...
190
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...