6 search results - page 2 / 2 » Automated Formal Methods Enter the Mainstream |
SAS
1999
Springer
13 years 10 months ago
1999
Springer
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...