5964 search results - page 87 / 1193 » A theory of speculative computation |
285
click to vote
APCSAC
2007
IEEE
16 years 1 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...
151
click to vote
COMPUTE
2010
ACM
15 years 11 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...
178
click to vote
FCCM
1997
IEEE
15 years 11 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...
229
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...
135
Voted
CIE
2007
Springer
16 years 28 days 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...