785 search results - page 133 / 157 » Static Analysis of Android Programs |
106
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
109
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
127
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
120
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
118
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
While usability methods such as user studies and inspections can reveal a wide range of problems, they do so for only a subset of an application’s features and states. We presen...