5159 search results - page 588 / 1032 » Structural Testing of Executables |
276
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
197
click to vote
LCTRTS
2009
Springer
16 years 2 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
233
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
177
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— A novel parallel approach to run standard particle swarm optimization (SPSO) on Graphic Processing Unit (GPU) is presented in this paper. By using the general-purpose computing...
184
click to vote
CLUSTER
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In this paper we focus on optimizing the performance in a cluster of Simultaneous Multithreading (SMT) processors connected with a commodity interconnect (e.g. Gbit Ethe...