1642 search results - page 170 / 329 » SPINning Parallel Systems Software |
124
click to vote
LCPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
124
click to vote
HPCA
2011
IEEE
14 years 6 months ago
2011
IEEE
Queues are commonly used in multithreaded programs for synchronization and communication. However, because software queues tend to be too expensive to support finegrained paralle...
113
Voted
ICDCS
1990
IEEE
15 years 6 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
130
click to vote
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
102
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...