1127 search results - page 25 / 226 » The XIS Generative Programming Techniques |
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...
IJON
2007
13 years 9 months ago
2007
— This paper, presents a feasability study of a central pattern generator-based analog controller for an autonomous robot. The operation of a neuronal circuit formed of electroni...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
DAGSTUHL
2003
13 years 11 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...