1880 search results - page 183 / 376 » A Static Analysis for Beta-Binders |
157
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
175
click to vote
ACSAC
2001
IEEE
15 years 10 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...
153
click to vote
WSC
2007
15 years 9 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...
140
click to vote
ECCV
2004
Springer
16 years 8 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...
167
click to vote
IPPS
2007
IEEE
16 years 28 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...