3872 search results - page 151 / 775 » The Java memory model |
138
Voted
CC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
123
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
138
Voted
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
109
Voted
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
128
click to vote
ASWEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...