2673 search results - page 176 / 535 » Guided Static Analysis |
130
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
160
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
123
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
141
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
162
click to vote
ENTCS
2002
15 years 4 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...