1140 search results - page 129 / 228 » Generating compilers for generated datapaths |
105
Voted
PEPM
1994
ACM
15 years 7 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
146
click to vote
TSE
2008
15 years 3 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
141
Voted
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
108
click to vote
ICS
2003
Tsinghua U.
15 years 8 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
162
Voted
EGH
2010
Springer
15 years 1 months ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...