22 search results - page 1 / 5 » Low-Level Library Analysis and Summarization |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
ICDAR
2009
IEEE
14 years 10 hour ago
2009
IEEE
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
IWRIDL
2006
ACM
13 years 11 months ago
2006
ACM
Digital Libraries have many forms – institutional libraries for information dissemination, document repositories for recordkeeping, and personal digital libraries for organizing...
DSD
2008
IEEE
13 years 11 months ago
2008
IEEE
Testability is one of the most important factors that are considered during design cycle along with reliability, speed, power consumption, cost and other factors important for a c...