2673 search results - page 225 / 535 » Guided Static Analysis |
166
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
138
click to vote
WSC
2007
15 years 8 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
177
click to vote
CC
2012
Springer
14 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
133
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
We analyze visibility from static sensors in a dynamic scene with moving obstacles (people). Such analysis is considered in a probabilistic sense in the context of multiple sensors...
159
click to vote
IPPS
2007
IEEE
16 years 6 days ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...