1550 search results - page 219 / 310 » Optimizing search by showing results in context |
178
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
143
click to vote
CIDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Scheme-specific attribute selection with the wrapper and variants of forward selection is a popular attribute selection technique for classification that yields good ...
188
click to vote
GECCO
2009
Springer
16 years 29 days ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
156
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
A new mutation concept is proposed to generalize local selection based Differential Evolution algorithm to work in general multimodal problems. Three variations of the proposed me...
147
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
The artificial immune system approach for self-nonself discrimination and its application to anomaly detection problems in engineering is showing great promise. A seminal contribu...