3736 search results - page 88 / 748 » Generative Programming |
123
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
115
Voted
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
103
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
113
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
111
Voted
CCS
2010
ACM
15 years 7 days ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...