7167 search results - page 1362 / 1434 » A Technique for Invariant Generation |
126
click to vote
SAS
2001
Springer
15 years 2 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
VISUALIZATION
2000
IEEE
15 years 2 months ago
2000
IEEE
We introduce a new subdivision-surface wavelet transform for arbitrary two-manifolds with boundary that is the first to use simple lifting-style filtering operations with bicubi...
VISUALIZATION
2000
IEEE
15 years 2 months ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...
VR
2000
IEEE
15 years 2 months ago
2000
IEEE
Previous interactive works have used springs, heuristics, and dynamics for surface placement applications. We present an analytical technique for kilohertz rate manipulation of CA...
ASPLOS
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...