MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Counting Solutions to Presburger Formulas How and Why." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Optimizing Supercompilers for  
  • by Supercomputers The Mit, S. Tjiang, M. E. Wolf, M. Lam, K. Pieper, J. Hennessy Integrating Scalar, Parallelization In U. Banerjee, D. Gelernter, A. Nicolau, Marc Tremblay
  • …. Counting solutions to presburger formulas: How and why. In Proceedings of the SIGPLAN '94 Conference…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB