3736 search results - page 234 / 748 » Generative Programming |
119
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
214
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
180
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
129
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
133
Voted
ECEASST
2010
15 years 25 days ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...