785 search results - page 121 / 157 » Static Analysis of Android Programs |
BMCBI
2006
15 years 2 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
111
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...
122
click to vote
EUROSYS
2007
ACM
15 years 5 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
137
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
128
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...