1210 search results - page 37 / 242 » Formal Techniques for Java Programs |
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
138
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
100
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
128
click to vote
BIRTHDAY
2010
Springer
15 years 1 hour ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
106
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...