207
Voted
TACAS
2012
Springer
14 years 2 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...
223
Voted
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
224
Voted
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
223
Voted
SWQD
2012
14 years 2 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
211
Voted
SWARM
2012
SPRINGER
14 years 2 months ago
2012
SPRINGER
370
Voted
SWARM
2012
SPRINGER
14 years 2 months ago
2012
SPRINGER
Applying parameter adaptation means operating on parameters of an algorithm while it is tackling an instance. For ant colony optimization, several parameter adaptation methods have...
193
Voted
STACS
2012
Springer
14 years 2 months ago
2012
Springer
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...
169
Voted
STACS
2012
Springer
14 years 2 months ago
2012
Springer
207
click to vote
STACS
2012
Springer
14 years 2 months ago
2012
Springer
A mode of a multiset S is an element a ∈ S of maximum multiplicity; that is, a occurs at least as frequently as any other element in S. Given an array A[1 : n] of n elements, we...