785 search results - page 125 / 157 » Static Analysis of Android Programs |
113
click to vote
ASE
2007
15 years 2 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
159
click to vote
HIPEAC
2011
Springer
14 years 1 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
136
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
121
click to vote
CGF
2010
15 years 2 months ago
2010
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
109
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...