Sciweavers

281 search results - page 37 / 57
» Concurrent Java Test Generation as a Search Problem
Sort
View
GECCO
2005
Springer
182views Optimization» more  GECCO 2005»
14 years 1 months ago
Improving EAX with restricted 2-opt
Edge Assembly Crossover (EAX) is by far the most successful crossover operator in solving the traveling salesman problem (TSP) with Genetic Algorithms (GAs). Various improvements ...
Chen-hsiung Chan, Sheng-An Lee, Cheng-Yan Kao, Hua...
CEC
2010
IEEE
13 years 8 months ago
Smart flight and dynamic tolerances in the artificial bee colony for constrained optimization
This paper presents an adaptation of a novel algorithm based on the foraging behavior of honey bees to solve constrained numerical optimization problems. The modifications focus on...
Efrén Mezura-Montes, Mauricio Damian-Araoz,...
AIPS
2004
13 years 9 months ago
Decision-Theoretic Military Operations Planning
Military operations planning involves concurrent actions, resource assignment, and conflicting costs. Individual tasks sometimes fail with a known probability, promoting a decisio...
Douglas Aberdeen, Sylvie Thiébaux, Lin Zhan...
SOSP
2009
ACM
14 years 4 months ago
ODR: output-deterministic replay for multicore debugging
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
Gautam Altekar, Ion Stoica
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
13 years 12 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...