3736 search results - page 81 / 748 » Generative Programming |
130
click to vote
EUROGP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...
111
click to vote
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
118
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, the application of a cycle accurate binary translator for rapid prototyping of SoCs will be presented. This translator generates code to run on a rapid prototyping ...
108
click to vote
ENTCS
2007
15 years 2 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
151
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...