613 search results - page 32 / 123 » An analysis framework for network-code programs |
SCAM
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
CAV
2012
Springer
13 years 3 days ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
66
Voted
CGO
2004
IEEE
15 years 1 months ago
2004
IEEE
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...