Sciweavers

2 search results - page 1 / 1
» Experiences with Enumeration of Integer Projections of Param...
Sort
View
CC
2005
Springer
115views System Software» more  CC 2005»
13 years 10 months ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
ALGORITHMICA
2007
145views more  ALGORITHMICA 2007»
13 years 4 months ago
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...