Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

LCPC
2004
Springer

favoriteEmaildiscussreport

106views System Software» more LCPC 2004»

A Practical MHP Information Analysis for Concurrent Java Programs

13 years 9 months ago

A Practical MHP Information Analysis for Concurrent Java Programs

Download www.sable.mcgill.ca

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 original work. We describe a design that incorporates techniques for aiding a feasible implementation and expanding the range of acceptable inputs. We provide experimental results showing the utility and impact of our approach and optimizations using a variety of concurrent benchmarks.

Lin Li, Clark Verbrugge

Real-time Traffic

Feasible Implementation | Implementation | LCPC 2004 | Practical Implementation Concerns |

claim paper

Related Content

» JaVis A UMLBased Visualization and Debugging Environment for Concurrent Java Programs

» Data Flow Analysis for Checking Properties of Concurrent Java Programs

» Performance analysis of Java concurrent programming a case study of video mining system

» Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs

» Practical static analysis for inference of securityrelated program properties

» Precise Analysis of Java Programs Using JOANA

» ThreadSensitive Pointsto Analysis for Multithreaded Java Programs

» Using Runtime Analysis to Guide Model Checking of Java Programs

» A concise XML binding framework facilitates practical objectoriented document engineering

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	LCPC
Authors	Lin Li, Clark Verbrugge

Comments (0)