5762 search results - page 988 / 1153 » R-tree: A Hardware Implementation |
157
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
181
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
The recent investigation of privacy-preserving data mining and other kinds of privacy-preserving distributed computation has been motivated by the growing concern about the privacy...
142
click to vote
WISA
2004
Springer
15 years 12 months ago
2004
Springer
Content protection mechanisms are intended to enforce the usage rights on the content. These usage rights are carried by a license. Sometimes, a license even carries the key that i...
151
click to vote
ASAP
2003
IEEE
15 years 12 months ago
2003
IEEE
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...
176
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...