651 search results - page 34 / 131 » Index Sets and Universal Numberings |
119
click to vote
INFOSCALE
2007
ACM
15 years 1 months ago
2007
ACM
Large-scale Parallel Web Search Engines (WSEs) needs to adopt a strategy for partitioning the inverted index among a set of parallel server nodes. In this paper we are interested ...
107
click to vote
SIGMOD
2001
ACM
15 years 12 months ago
2001
ACM
The bit-sliced index (BSI) was originally defined in [ONQ97]. The current paper introduces the concept of BSI arithmetic. For any two BSI's X and Y on a table T, we show how ...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper the workspace optimization of translational 3-UPU parallel platforms with prismatic and universal joint constraints is performed. The workspace is parameterized usin...
106
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Packet forwarding is a memory-intensive application requiring multiple accesses through a trie structure. The efficiency of a cache for this application critically depends on the ...
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...