1011 search results - page 169 / 203 » Exception Analysis for Java |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
CGO
2003
IEEE
14 years 2 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...
SIGDOC
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
A fundamental problem of finding applications that are highly relevant to development tasks is the mismatch between the high-level intent reflected in the descriptions of these ...