1127 search results - page 91 / 226 » The XIS Generative Programming Techniques |
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
IEEEPACT
2003
IEEE
15 years 4 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...
EVOW
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
115
click to vote
DAC
2005
ACM
16 years 14 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...