Search Sciweavers | Sciweavers

5235 search results - page 72 / 1047

» Analysis of Multithreaded Programs

130

click to vote

ICSE
2010
IEEE-ACM

183views Software Engineering» more ICSE 2010»

Falcon: fault localization in concurrent programs

15 years 11 months ago

Download vuduc.org

Concurrency fault are diﬃcult to ﬁnd because they usually occur under speciﬁc thread interleavings. Fault-detection tools in this area ﬁnd data-access patterns among threa...

Sangmin Park, Richard W. Vuduc, Mary Jean Harrold

claim paper

Read More »

167

click to vote

SAS
1999
Springer

106views Formal Methods» more SAS 1999»

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

15 years 10 months ago

Download www.cs.cmu.edu

This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...

Jonathan Aldrich, Craig Chambers, Emin Gün Si...

claim paper

Read More »

260

click to vote

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

An abstract Monte-Carlo method for the analysis of probabilistic programs

16 years 6 months ago