713 search results - page 93 / 143 » Saving Space by Algebraization |
156
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Previous proposals for power-aware thread-level parallelism on chip multiprocessors (CMPs) mostly focus on multiprogrammed workloads. Nonetheless, parallel computation of a single...
149
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Recently, a technique called quotient cube was proposed as a summary structure for a data cube that preserves its semantics, with applications for online exploration and visualiza...
158
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we present HOPI, a new connection index for XML documents based on the concept of the 2?hop cover of a directed graph introduced by Cohen et al. In contrast to most o...
177
click to vote
CASC
2009
Springer
16 years 20 days ago
2009
Springer
We present lazy and forgetful algorithms for adding, multiplying and dividing multivariate polynomials. The lazy property allows us to compute the i-th term of a polynomial withou...
183
click to vote
SPIN
2009
Springer
16 years 19 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...