2947 search results - page 503 / 590 » Analyzing Program Analyses |
128
click to vote
NDSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
SRDS
2003
IEEE
15 years 4 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
86
Voted
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
SIGSOFT
2003
ACM
15 years 4 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ADAEUROPE
2003
Springer
15 years 4 months ago
2003
Springer
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...