7167 search results - page 1110 / 1434 » A Technique for Invariant Generation |
215
Voted
IEEEPACT
2000
IEEE
15 years 12 months ago
2000
IEEE
Modern computers have taken advantage of the instruction-level parallelism (ILP) available in programs with advances in both architecture and compiler design. Unfortunately, large...
211
click to vote
VISUALIZATION
2000
IEEE
15 years 12 months ago
2000
IEEE
We present two beneficial rendering extensions to the Projected Tetrahedra (PT) algorithm by Shirley and Tuchman. These extensions are compatible with any cell sorting technique,...
176
Voted
WCRE
2000
IEEE
15 years 12 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
198
click to vote
WCRE
2000
IEEE
15 years 12 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
176
click to vote
CHI
2000
ACM
15 years 12 months ago
2000
ACM
This paper presents a method for generating compact pictorial summarizations of video. We developed a novel approach for selecting still images from a video suitable for summarizi...