3736 search results - page 75 / 748 » Generative Programming |
123
click to vote
FIW
2009
14 years 12 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
127
click to vote
ESTIMEDIA
2007
Springer
15 years 8 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
119
click to vote
UM
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
108
click to vote
ICDCSW
2000
IEEE
15 years 5 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
VLDB
2001
ACM
15 years 6 months ago
2001
ACM
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...