Lines Matching full:title
6 title = {Transitive Closure of Infinite Graphs and Its Applications},
27 title = {Computing the Transitive Closure of a Union of Affine Integer Tuple Relations},
40 title = "Theory of Linear and Integer Programming",
51 title = {Depth-First Search and Linear Graph Algorithms},
59 title = "The {Omega} Calculator and Library",
67 title = "The {Omega} Library",
75 title = "An integer set library for program analysis",
84 title = {Maximal Static Expansion},
98 title = "Parametric Integer Programming",
108 title = {Dataflow analysis of array and scalar references},
123 TITLE = {Communication Pre-evaluation in {HPF}},
151 TITLE = {{E}xperiences with enumeration of integer projections of parametric polytopes},
165 title = {Simplify: a theorem prover for program checking},
179 title = {Techniques for program verification},
192 title = {{Short rational generating functions for lattice point
200 title = {{\texttt{barvinok}}, version 0.22},
206 title = "Three Kinds of Integer Programming Algorithms based on Barvinok's Rational Functions",
219 title = {Solving systems of affine (in)equalities},
226 …title = "Some Efficient Solutions to the Affine Scheduling Problem. {P}art {II}. Multidimensional …
239 title = {Static {WCET} Analysis based on Abstract Interpretation and Counting of Elements},
248 …title = {Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analy…
257 title = {Polynomial Approximations in the Polytope Model: Bringing the Power
267 title = "personal communication",
274 title = "The {Parma Polyhedra Library}",
280 TITLE={An Implementation of the Generalized Basis Reduction Algorithm for Integer Programming},
291 title={ Affine Relationships Among Variables of a Program },
302 title = "Multidimensional Periodic Scheduling",
310 …TITLE = {Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes…
319 title = "personal communication",
326 title = {Integer Set Coalescing},
351 title = "Presburger Formulas and Polyhedral Compilation",
358 title = "Equivalence checking of static affine programs using widening to handle recurrences",
369 title = {isl: An Integer Set Library for the Polyhedral Model},
383 title = "Polyhedral process networks",
396 title = {Counting Affine Calculator and Applications},
406 title = {Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations},
421 title={Polyhedral parallel code generation for {CUDA}},
435 title = {Schedule Trees},
457 title = "Polyhedral {AST} generation is more than scanning polyhedra",
478 title = "Live-Range Reordering",