5964 search results - page 34 / 1193 » A theory of speculative computation |
154
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
120
click to vote
ALGORITHMS
2010
15 years 1 months ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
139
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
133
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
121
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
This paper explores a new technique called coherence decoupling, which breaks a traditional cache coherence protocol into two protocols: a Speculative Cache Lookup (SCL) protocol ...