1208 search results - page 171 / 242 » On Counting Generalized Colorings |
216
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
142
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
121
click to vote
PPOPP
2010
ACM
16 years 13 days ago
2010
ACM
In LAPACK many matrix operations are cast as block algorithms which iteratively process a panel using an unblocked algorithm and then update a remainder matrix using the high perf...
133
click to vote
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
140
click to vote
MICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...