5762 search results - page 1068 / 1153 » R-tree: A Hardware Implementation |
158
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
214
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
205
click to vote
PET
2010
Springer
15 years 8 months ago
2010
Springer
Mobile smartphone users frequently need to search for nearby points of interest from a location based service, but in a way that preserves the privacy of the users' locations...
161
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
230
click to vote
DAMON
2008
Springer
15 years 8 months ago
2008
Springer
Frequent elements and top-k queries constitute an important class of queries for data stream analysis applications. Certain applications require answers for both frequent elements...