230 search results - page 22 / 46 » Simultaneous Avoidance Of Generalized Patterns |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The web contains lots of interesting factual information about entities, such as celebrities, movies or products. This paper describes a robust bootstrapping approach to corrobora...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Speciation is an important concept in evolutionary computation. It refers to an enhancements of evolutionary algorithms to generate a set of diverse solutions. The concept is stud...
PROCEDIA
2011
12 years 10 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
HPCA
2005
IEEE
14 years 8 months ago
2005
IEEE
The memory system's large and growing contribution to system performance motivates more aggressive approaches to improving its efficiency. We propose and analyze a memory hie...