2673 search results - page 458 / 535 » Guided Static Analysis |
108
click to vote
DOLAP
1999
ACM
15 years 8 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
141
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
123
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
153
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
153
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...