Supplemental Material
Available for Download
- 1.Intel Corporation, IA-64 Application Developer's Architecture Guide, May 1999.Google Scholar
- 2.J. C. Park and M. S. Schlansker, On predicated execution, Tech. Rep. HPL-91-58, Hewlett Packard Laboratories, Palo Alto, CA, May 1991.Google Scholar
- 3.S. A. Mahlke, D. C. Lin, W. Y. Chen, R. E. Hank, R. A. Bringmann, and W. W. Hwu, Effective compiler support for predicated execution using the hyperblock, in Proceedings of the 25th International Symposium on Microarchitecture, pp. 45-54, December 1992. Google ScholarDigital Library
- 4.A. E. Eichenberger and E. S. Davidson, Register allocation for predicated code, in Proceedings of the 28th Annual International Symposium on Microarchitecture, pp. 180-191, December 1995. Google ScholarDigital Library
- 5.D. M. Gillies, D. R. Ju, R. Johnson, and M. Schlansker, Global predicate analysis and its application to register allocation, in Proceedings of the 29th International Symposium on Microarchitecture, pp. 114-125, December 1996. Google ScholarDigital Library
- 6.D. I. August, W. W. Hwu, and S. A. Mahlke, A framework for balancing control flow and predication, in Proceedings of the 30th Annual International Symposium on Microarchitecture, pp. 92-103, December 1997. Google ScholarDigital Library
- 7.D. I. August, D. A. Connors, S. A. Mahlke, J. W. Sias, K. M. Crozier, B. Cheng, P. R. Eaton, Q. B. Olaniran, and W. W. Hwu, Integrated predication and speculative execution in the IMPACT EPIC architecture,in Proceedings of the 25th International Symposium on Computer Architecture, pp. 227-237, June 1998. Google ScholarDigital Library
- 8.L. Carter, B. Simon, B. Calder, L. Carter, and J. Ferrante, Predicated single static assignment, in Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, October 1999. Google ScholarDigital Library
- 9.R. Johnson and M. Schlansker, Analysis techniques for predicated code, in Proceedings of the 29th International Symposium on Microarchitecture, pp. 100-113, December 1996. Google ScholarDigital Library
- 10.D. I. August, J. W. Sias, J. Puiatti, S. A. Mahlke, D. A. Connors, K. M. Crozier, and W. W. Hwu, The program decision logic approach to predicated execution, in Proceedings of the 26th International Symposium on Computer Architecture, pp. 208-219, May 1999. Google ScholarDigital Library
- 11.A. Srivastava, Vulcan, Tech. Rep. TR-99-76, Microsoft Research, September 1999.Google Scholar
- 12.V. Kathail, M. S. Schlansker, and B. R. Rau, HPL PlayDoh architecture specification: Version 1.0, Tech. Rep. HPL-93-80, Hewlett- Packard Laboratories, Palo Alto, CA, February 1994.Google Scholar
- 13.M. S. Schlansker, S. A. Mahlke, and R. Johnson, Control CPR: A branch height reduction optimization for EPIC architectures, in Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pp. 155-168, May 1999. Google ScholarDigital Library
- 14.A. Aho, R. Sethi, and J. Ullman, Compilers: Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1986. Google ScholarDigital Library
- 15.R. E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transaction on Computers, vol. C-35, pp. 677-691, August 1986. Google ScholarDigital Library
- 16.F. Somenzi, CUDD: Colorado University Decision Diagram package, release 2.30, University of Colorado at Boulder, http://vlsi.colorado.edu/fabio/CUDD/, 1998.Google Scholar
- 17.K. S. Brace, R. R. Rudell, and R. E. Bryant, Efficent implementation of a BDD package, in Proc. of the 27th ACM/IEEE Design Automation Conference, pp. 40-45, January 1990. Google ScholarDigital Library
- 18.J. W. Sias, Condition awareness support for predicate analysis and optimization, Master's thesis, University of Illinois, Urbana, IL, 1999.Google Scholar
- 19.R. E. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, Tech. Rep. CMU-CS-92-160, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, October 1992. Google ScholarDigital Library
- 20.P. Tu and D. Padua, Gated SSA-based demand-driven symbolic analysis for parallelizing compilers, in Conference proceedings of the 1995 International Conference on Supercomputing, pp. 414-423, 1995. Google ScholarDigital Library
- 21.S. B. Akers, Binary decision diagrams, IEEE Transaction on Computers, ol. C-27, pp. 509-516, June 1978.Google Scholar
- 22.S. J. Friedman and K. J. Supowit, Finding the optimal variable ordering for binary decision diagrams, in Proc. 24th Annual ACM/IEEE DAC, pp. 348-355, June 1987. Google ScholarDigital Library
- 23.C. L. Berman, Circuit width, register allocation, and ordered binary decision diagrams, IEEE Transactions on Computer-Aided Design, vol. 10, pp. 1059-1066, August 1991.Google ScholarCross Ref
- 24.R. Rudell, Dynamic variable ordering for ordered binary decision diagrams, in Proceedings of the International Conference on Computer-Aided Design, pp. 42-47, November 1993. Google ScholarDigital Library
Index Terms
- Accurate and efficient predicate analysis with binary decision diagrams
Recommendations
Factorization using binary decision diagrams
We address the factorization problem in this paper: Given an integer N=pq$N=pq$, find two factors p$p$ and q$q$ of N$N$ such that p$p$ and q$q$ are of same bit-size. When we say integer multiplication of N$N$, we mean expressing N$N$ as a product of two ...
An efficient query learning algorithm for ordered binary decision diagrams
In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries. Our algorithm uses at most n equivalence queries and at most 2n(@?log"2m@?+3n) ...
Binary Decision Diagram (BDD)
ICFCC '09: Proceedings of the 2009 International Conference on Future Computer and Communicationthe primary aim of computer science is invention of new data structures and algorithms. Those data structures and algorithms could significantly help us to solve unsolved problems or let us give much better solutions for the already solved problems. In ...
Comments