692 search results - page 31 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
168
click to vote
INFSOF
2010
15 years 1 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
130
click to vote
IJPP
2010
15 years 2 months ago
2010
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
124
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
127
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
135
click to vote
CIARP
2004
Springer
15 years 9 months ago
2004
Springer
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...