Sciweavers

7 search results - page 2 / 2
» User-Controlled Reflection on Join Points
Sort
View
POPL
2004
ACM
14 years 5 months ago
Global value numbering using random interpretation
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
Sumit Gulwani, George C. Necula
CGF
2002
184views more  CGF 2002»
13 years 5 months ago
The 3D Model Acquisition Pipeline
Three-dimensional (3D) image acquisition systems are rapidly becoming more affordable, especially systems based on commodity electronic cameras. At the same time, personal compute...
Fausto Bernardini, Holly E. Rushmeier