22018 search results - page 4237 / 4404 » or 2004 |
159
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Today’s world of increasingly dynamic computing environments naturally results in more and more data being available as fast streams. Applications such as stock market analysis,...
189
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
It is well established that bitmap indices are efficient for read-only attributes with low attribute cardinalities. For an attribute with a high cardinality, the size of the bitma...
170
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
The DB2 Design Advisor in IBM® DB2® Universal Database™ (DB2 UDB) Version 8.2 for Linux®, UNIX® and Windows® is a tool that, for a given workload, automatically recommends ...
186
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
163
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...