4725 search results - page 371 / 945 » Dependence-Based Program Analysis |
212
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
192
click to vote
CAISE
2005
Springer
16 years 26 days ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
219
click to vote
HYBRID
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
198
click to vote
FASE
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
185
click to vote
SCAM
2003
IEEE
16 years 18 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...