6800 search results - page 1116 / 1360 » Testing with Functions as Specifications |
120
click to vote
LSGRID
2004
Springer
15 years 10 months ago
2004
Springer
In this study, a new Genetic Algorithm (GA) using the Tabu · Local Search mechanism is proposed. The GA described in this paper is considered a Mega Process GA, which has an effe...
146
click to vote
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
139
Voted
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Different credit assignment strategies are investigated in a two level co-evolutionary model which involves a population of Gaussian neurons and a population of radial basis funct...
140
Voted
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Multi-objective optimization methods are essential to resolve real-world problems as most involve several types of objects. Several multi-objective genetic algorithms have been pro...
137
Voted
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...