7092 search results - page 554 / 1419 » Parallelizing constraint programs |
247
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
140
click to vote
CASCON
2006
15 years 6 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
132
click to vote
MP
2006
15 years 4 months ago
2006
We consider the vehicle routing problem where one can choose among vehicles with different costs and capacities to serve the trips. We develop six different formulations: the first...
206
click to vote
OPODIS
2010
15 years 2 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
156
Voted
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...