968 search results - page 61 / 194 » Evaluating Benchmark Subsetting Approaches |
FOCI
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, a time varying jumping rate (TVJR) model for Opposition-Based Differential Evolution (ODE) has been proposed. According to this model, the jumping rate changes l...
SIGADA
1998
Springer
14 years 2 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
AIPS
2009
13 years 11 months ago
2009
This paper explores the use of an oft-ignored information source in heuristic search: a search-distance-to-go estimate. Operators frequently have different costs and cost-to-go is...
RV
2010
Springer
13 years 8 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...