1511 search results - page 198 / 303 » Relational Parametricity for Computational Effects |
132
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...
173
click to vote
HPCA
2001
IEEE
16 years 6 months ago
2001
IEEE
fipical translation lookaside buffers (TLBs)can map a far smaller region of memory than application footprints demand, and the cost of handling TLB misses therefore limits the per...
136
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
In this paper, we present findings and design decisions arisen while designing a review sheet within the confines of a pre-existing digital textbook, AdaptiveBook. Through user st...
203
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
As an increasing number of eukaryotic genomes are being sequenced, comparative studies aimed at detecting regulatory elements in intergenic sequences are becoming more prevalent. M...
161
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Identifying gene functional modules is an important step towards elucidating gene functions at a global scale. In this paper, we introduce a simple method to construct ge...