651 search results - page 100 / 131 » Precise Analysis of Java Programs Using JOANA |
150
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
138
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
121
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...
SAS
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
103
click to vote
EGC
2005
Springer
15 years 7 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...