On MovieTome: Whedon makes an offer on Terminator
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

jPredictor is a tool for detecting concurrency errors in Java programs. The Java program is instrumented to emit property-relevant events at runtime and then executed. The resulting execution trace is collected and analyzed by jPredictor, which extracts a causality relation sliced using static analysis and refined with lock-atomicity information. The resulting abstract model, a hybrid of a partial order and atomic blocks, is then exhaustively analyzed against the property and errors with counter-examples are reported to the user. Thus, jPredictor can "Predict" errors that did not happen in the observed execution, but which could have happened under a different thread scheduling. The analysis technique employed in jPredictor is fully automatic, generic (works for any trace property), sound (produces no false alarms) but it is incomplete (may miss errors).

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:407 KB
Date:Jan 2008
Pages:10

Top results from Software Engineering

White Paper Practical Approaches for Securing Web Applications across the Software Delivery Lifecycle
White Paper CRM Media - Best Practices: Software-as-a-Service
White Paper Social CRM Comes of Age
White Paper Retailers' Response to the Global Economy Downturn — Enabling Immersive Shopping Experiences
Webcast On Demand Webcast: A Smarter way to Successful SOA - Information as a trusted strategic asset

» View all Software Engineering listings

Top results from Programming Languages

White Paper Designing High Availability for Internet Information Services
White Paper Citizants: Bringing IT In-House
White Paper Surviving and Thriving in the Customer-Driven Age
White Paper The Pursuit of a Standardized Solution for Secure Enterprise RBAC
White Paper Supporting Employees Anytime, Anywhere

» View all Programming Languages listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

Meet Doc

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).