2947 search results - page 27 / 590 » Analyzing Program Analyses |
95
Voted
CSMR
2000
IEEE
15 years 3 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
85
Voted
FSTTCS
2008
Springer
14 years 12 months ago
2008
Springer
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
SIGMETRICS
1992
ACM
15 years 2 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
98
Voted
APLAS
2006
ACM
15 years 2 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
72
Voted
METRICS
2003
IEEE
15 years 4 months ago
2003
IEEE
