9067 search results - page 1624 / 1814 » Adaptive Model Checking |
222
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
173
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
173
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
132
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
217
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...