11212 search results - page 1829 / 2243 » Semi-persistent Data Structures |
155
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
168
click to vote
SEKE
2007
Springer
16 years 13 days ago
2007
Springer
XML diff algorithms proposed in the literature have focused on the structural analysis of the document. When XML is used for data exchange, or when different versions of a documen...
162
click to vote
VMCAI
2007
Springer
16 years 13 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
170
click to vote
WEBI
2007
Springer
16 years 13 days ago
2007
Springer
— We propose a hierarchical approach to document categorization that requires no pre-configuration and maps the semantic document space to a predefined taxonomy. The utilizatio...
169
click to vote
ASAP
2006
IEEE
16 years 12 days ago
2006
IEEE
An increasing computational demand is placed on the image processing capacity of current and future smart cameras. SIMD processor architectures provide an efficient solution becau...