3736 search results - page 281 / 748 » Generative Programming |
166
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
130
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
166
click to vote
CC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
116
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
223
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...