9412 search results - page 1483 / 1883 » An aspect-oriented generative approach |
198
click to vote
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
183
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
194
click to vote
FASE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
169
click to vote
GCB
2005
Springer
16 years 11 days ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
180
Voted
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Like Darwinian-type genetic algorithms, there also exists genetic drift in Univariate Marginal Distribution Algorithm (UMDA). Since the universal analysis of genetic drift in UMDA...