1210 search results - page 45 / 242 » Formal Techniques for Java Programs |
112
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
133
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
114
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
104
Voted
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
A common method to localize defects is to compare the coverage of passing and failing program runs: A method executed only in failing runs, for instance, is likely to point to the ...
133
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...