3736 search results - page 409 / 748 » Generative Programming |
143
Voted
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
169
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
118
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
159
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
123
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...