Sciweavers

46 search results - page 10 / 10
» Quantum Logic Implementation of Unary Arithmetic Operations
Sort
View
POPL
2004
ACM
14 years 8 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