3736 search results - page 109 / 748 » Generative Programming |
135
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Speed and Accuracy of programming large floating gate array is limited by precision of current measurement and pulse generator. In this paper a novel floating gate programming m...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
131
click to vote
SOFTVIS
2006
ACM
15 years 10 months ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...
125
click to vote
Publication
_1990.jpg "Arity Raiser and its Use in Program Specialization")
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
144
click to vote
ROBOCUP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we explain how we applied genetic programming to behavior-based team coordination in the RoboCup Soccer Server domain. Genetic programming is a promising new method f...