5762 search results - page 988 / 1153 » R-tree: A Hardware Implementation |
170
click to vote
SAT
2004
Springer
16 years 11 days 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., ...
198
Voted
SDMW
2004
Springer
16 years 11 days 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...
156
click to vote
WISA
2004
Springer
16 years 10 days 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...
165
click to vote
ASAP
2003
IEEE
16 years 9 days 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...
194
click to vote
CGO
2003
IEEE
16 years 9 days 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...