651 search results - page 50 / 131 » Precise Analysis of Java Programs Using JOANA |
134
click to vote
TSE
2010
15 years 21 days ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
106
Voted
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
110
click to vote
EMNLP
2006
15 years 3 months ago
2006
Co-occurrence analysis has been used to determine related words or terms in many NLP-related applications such as query expansion in Information Retrieval (IR). However, related w...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
250
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...