47 search results - page 6 / 10 » Symbolic Predictive Analysis for Concurrent Programs |
119
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
109
Voted
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
135
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
94
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
115
Voted
IJHPCA
2002
15 years 1 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...