1173 search results - page 145 / 235 » Program Derivation Using Analogy |
119
Voted
VECPAR
2004
Springer
15 years 8 months ago
2004
Springer
In this work we investigate how the compiler technique of message strip mining performs in practice on contemporary high performance networks. Message strip mining attempts to redu...
126
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
134
Voted
ISCA
1991
IEEE
15 years 6 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
133
Voted
IPCO
2007
15 years 4 months ago
2007
During the last decades, much research has been conducted deriving classes of valid inequalities for single-row mixed integer programming polyhedrons. However, no such class has ha...
123
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...