785 search results - page 140 / 157 » Static Analysis of Android Programs |
TOOLS
1998
IEEE
15 years 1 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
98
Voted
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
CDES
2006
14 years 11 months ago
2006
Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry. Performance ...
C++
1994
14 years 10 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...