5964 search results - page 314 / 1193 » A theory of speculative computation |
173
click to vote
SIGMOD
2008
ACM
15 years 7 months ago
2008
ACM
Jim Gray spent a decade as a student and researcher at Berkeley. In action, he is remembered for his breath, his depth, and his generosity. Categories and Subject Descriptors K.1 ...
160
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define sever...
194
click to vote
SYMMETRY
2010
15 years 2 months ago
2010
: The theory of elasticity is used to predict the response of a material body subject to applied forces. In the linear theory, where the displacement is small, the stress tensor wh...
179
Voted
PODC
2009
ACM
16 years 8 months ago
2009
ACM
Transactional memories are typically speculative and rely on contention managers to cure conflicts. This paper explores a complementary approach that prevents conflicts by schedul...
194
Voted
HPCA
2006
IEEE
16 years 7 months ago
2006
IEEE
Allowing loads to issue out-of-order with respect to earlier unresolved store addresses is very important for extracting parallelism in large-window superscalar processors. Blindl...