Search Sciweavers | Sciweavers

5235 search results - page 72 / 1047

» Analysis of Multithreaded Programs

click to vote

ICSE
2010
IEEE-ACM

183views Software Engineering» more ICSE 2010»

Falcon: fault localization in concurrent programs

15 years 6 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 »

123

click to vote

SAS
1999
Springer

106views Formal Methods» more SAS 1999»

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

15 years 5 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 »

193

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 1 months ago