An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas

This publication has 20 references indexed in Scilit:

• On estimating and enhancing cache effectiveness
  Published by Springer Nature ,2006
• Estimation of nested loops execution time by integer arithmetic in convex polyhedra
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Exact analysis of the cache behavior of nested loops
  Published by Association for Computing Machinery (ACM) ,2001
• Cache miss equations
  ACM Transactions on Programming Languages and Systems, 1999
• Counting solutions to linear and nonlinear constraints through Ehrhart polynomials
  Published by Association for Computing Machinery (ACM) ,1996
• Influence of cross-interferences on blocked loops
  ACM Transactions on Programming Languages and Systems, 1995
• A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
  Mathematics of Operations Research, 1994
• Counting solutions to Presburger formulas
  Published by Association for Computing Machinery (ACM) ,1994
• Symbolic analysis: A basis for parallelization, optimization, and scheduling of programs
  Published by Springer Nature ,1994
• Processor allocation and loop scheduling on multiprocessor computers
  Published by Association for Computing Machinery (ACM) ,1992