isl
From MaRDI portal
Software:21820
swMATH9841MaRDI QIDQ21820FDOQ21820
Author name not available (Why is that?)
Cited In (11)
- Computing invariants with transformers: experimental scalability and accuracy
- isl: An Integer Set Library for the Polyhedral Model
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
- Generation of parallel synchronization-free tiled code
- Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm
- An algebraic algorithm for solving parametric integer programs
- An algorithm for solving parametric integer program
- Title not available (Why is that?)
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
- Plethysm and lattice point counting
- Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
This page was built for software: isl
