2470 search results - page 372 / 494 » Liveness-Preserving Simulation Relations |
108
click to vote
HPCA
2002
IEEE
16 years 4 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...
146
click to vote
HPCA
2001
IEEE
16 years 4 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...
159
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
158
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
We present an original approach to identifying sequence variants in a mixed DNA population from sequence trace data. The heart of the method is based on parsimony: given a wildtyp...
124
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
As devices become more reliant on battery power, it is essential to design energy efficient protocols. While there is a vast amount of research into power save protocols for unicas...