2501 search results - page 486 / 501 » Logics with Rank Operators |
SSDBM
2003
IEEE
14 years 19 days ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
DOLAP
2003
ACM
14 years 19 days ago
2003
ACM
Motivated by the need for more flexible OLAP systems, this paper presents work on logical integration of external data in OLAP databases, carried out in cooperation between the D...
PLDI
2003
ACM
14 years 19 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
SC
2003
ACM
14 years 19 days ago
2003
ACM
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...
ISCA
2010
IEEE
14 years 14 days ago
2010
IEEE
SIMD organizations amortize the area and power of fetch, decode, and issue logic across multiple processing units in order to maximize throughput for a given area and power budget...