1941 search results - page 335 / 389 » On the Hardness of Approximate Reasoning |
KDD
2004
ACM
16 years 7 days ago
2004
ACM
Data cube pre-computation is an important concept for supporting OLAP(Online Analytical Processing) and has been studied extensively. It is often not feasible to compute a complet...
HPCA
2008
IEEE
16 years 6 days ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
104
click to vote
HPCA
2002
IEEE
16 years 6 days ago
2002
IEEE
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although c...
207
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
199
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...