164 search results - page 25 / 33 » Equivalent Transformation by Safe Extension of Data Structur... |
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
IEEEPACT
1999
IEEE
15 years 1 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
156
click to vote
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
To enable efficient similarity search in large databases, many indexing techniques use a linear transformation scheme to reduce dimensions and allow fast approximation. In this re...
115
click to vote
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...