5964 search results - page 87 / 1193 » A theory of speculative computation |
224
click to vote
APCSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. The perceptron predictor is a highly accurate branch predictor. Unfortunately this high accuracy comes with high complexity. The high complexity is the result of the larg...
111
click to vote
COMPUTE
2010
ACM
15 years 8 months ago
2010
ACM
In the literature, speculation-based protocols have been proposed to improve the performance of read-only transactions (ROTs) over the existing two-phase locking (2PL) and snapsho...
140
click to vote
FCCM
1997
IEEE
15 years 8 months ago
1997
IEEE
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
183
click to vote
Book
"The aim of this book is to present the strongest possible version of
G¨odel's incompleteness theorem, using an information-theoretic approach
based on the size of com...
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...