324 search results - page 2 / 65 » Empirical Study of Object-Layout Strategies and Optimization... |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Fault-localization techniques that utilize information about all test cases in a test suite have been presented. These techniques use various approaches to identify the likely fau...
JMLR
2008
13 years 5 months ago
2008
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
GECCO
2010
Springer
13 years 10 months ago
2010
Springer
The choice of which of the available strategies should be used within the Differential Evolution algorithm for a given problem is not trivial, besides being problem-dependent and...
SAT
2010
Springer
13 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...