1127 search results - page 101 / 226 » The XIS Generative Programming Techniques |
121
click to vote
CPAIOR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
COMPSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
86
Voted
BIRTHDAY
2010
Springer
15 years 14 days ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
102
click to vote
FPL
2007
Springer
15 years 3 months ago
2007
Springer
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. These custom instructions are selected through an analys...
104
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propo...