1880 search results - page 77 / 376 » A Static Analysis for Beta-Binders |
PVLDB
2010
14 years 10 months ago
2010
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...
95
Voted
MVA
1990
15 years 27 days ago
1990
A technique for building a three-dimensional description of a static scene from a spatiotemporal image is presented. This technique utilizes Homocentric Spherical Spatiotemporal I...
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
116
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...