2673 search results - page 307 / 535 » Guided Static Analysis |
147
Voted
SAS
2000
Springer
15 years 9 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
173
click to vote
CGF
2010
15 years 6 months ago
2010
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
167
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
148
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Most biological systems employ visually acquired information for their locomotion. In the course of evolutionary history, the visual system of organisms has evolved to be adapted ...
173
click to vote
ASPDAC
2009
ACM
16 years 18 days ago
2009
ACM
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...