1210 search results - page 19 / 242 » Formal Techniques for Java Programs |
126
click to vote
SAS
1999
Springer
15 years 6 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...
164
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
136
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
118
click to vote
APSEC
2002
IEEE
15 years 6 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
102
click to vote
ENTCS
2006
15 years 1 months ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...