785 search results - page 88 / 157 » Static Analysis of Android Programs |
146
click to vote
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
137
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
154
Voted
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
109
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
101
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...