1880 search results - page 233 / 376 » A Static Analysis for Beta-Binders |
182
click to vote
RTCSA
2005
IEEE
16 years 3 days ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
197
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
158
click to vote
SAS
2000
Springer
15 years 10 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...
184
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 ...
183
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We consider a visual scene analysis scenario where objects (e.g. people, cars) pass through the viewing field of a static camera and need to be detected and segmented from the bac...