7103 search results - page 294 / 1421 » Components and Generative Programming |
212
Voted
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
127
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
107
click to vote
ISCAS
2005
IEEE
15 years 7 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...
117
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
125
click to vote
ROBOCUP
1997
Springer
15 years 6 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...