785 search results - page 51 / 157 » Static Analysis of Android Programs |
110
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
137
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
111
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
123
click to vote
HPCN
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...