422 search results - page 1 / 85 » Automatic Generation of Program Families by Model Restrictio... |
SPLC
2004
13 years 8 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
UM
2001
Springer
13 years 12 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 ...
KBSE
2002
IEEE
14 years 11 days ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
AVI
2004
13 years 8 months ago
2004
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...