Den polyhedral modellen är en välkänd kompilatoroptimering ram för analys och omvandling av affin loop bon. Vi presenterar en ny metod för att lösa en svår geometrisk operation som höjs av denna modell: heltal affin transformation av parametriska Z-polytoper. Resultatet av en sådan omvandling ges av en i värsta fall exponentiell förening av Z-polytoper. Vi föreslår också en polynomalgoritm (för fast dimension), för att räkna punkter i godtyckliga unioner av ett fast antal parametriska Z-polytoper. Vi implementerade dessa algoritmer och jämförde dem med andra befintliga algoritmer, för en uppsättning applikationer för analys och optimering av loopboet.
REF föreslår en lattice skärningspunkt för att räkna heltal i Z-polytoper.
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization
{'venue': 'TACO', 'journal': None, 'mag_field_of_study': ['Computer Science']}