5762 search results - page 979 / 1153 » R-tree: A Hardware Implementation |
166
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
158
click to vote
CEAS
2005
Springer
16 years 3 days ago
2005
Springer
Spam has become a serious problem of Internet, and the current defense is limited to the filters deployed at the recipient side. Little known research has been applied to reduce ...
134
click to vote
CHES
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
205
click to vote
DMG
2005
Springer
16 years 3 days ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
169
click to vote
ECMDAFA
2005
Springer
16 years 3 days ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...