Sciweavers

968 search results - page 61 / 194
» Evaluating Benchmark Subsetting Approaches
Sort
View
126
Voted
FOCI
2007
IEEE
15 years 9 months ago
Opposition-Based Differential Evolution (ODE) with Variable Jumping Rate
— 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...
Shahryar Rahnamayan, Hamid R. Tizhoosh, Magdy M. A...
SIGADA
1998
Springer
15 years 7 months ago
The Rendezvous is Dead - Long Live the Protected Object
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 ...
Dragan Macos, Frank Mueller
88
Voted
AIPS
2009
15 years 4 months ago
Using Distance Estimates in Heuristic Search
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...
Jordan Tyler Thayer, Wheeler Ruml
RV
2010
Springer
171views Hardware» more  RV 2010»
15 years 1 months ago
Runtime Verification for Software Transactional Memories
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
Vasu Singh
PLDI
2006
ACM
15 years 9 months ago
SAFECode: enforcing alias analysis for weakly typed languages
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 ...
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve