Sciweavers

281 search results - page 37 / 57
» Concurrent Java Test Generation as a Search Problem
Sort
View
66
Voted
GECCO
2005
Springer
182views Optimization» more  GECCO 2005»
15 years 3 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
14 years 10 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
14 years 11 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...
96
Voted
SOSP
2009
ACM
15 years 6 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»
15 years 1 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, ...