isl
From MaRDI portal
Software:21820
swMATH9841MaRDI QIDQ21820FDOQ21820
Author name not available (Why is that?)
Cited In (11)
- Using basis dependence distance vectors to calculate the transitive closure of dependence relations by means of the Floyd-Warshall algorithm
- Computing invariants with transformers: experimental scalability and accuracy
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
- Generation of parallel synchronization-free tiled code
- An algebraic algorithm for solving parametric integer programs
- An algorithm for solving parametric integer program
- isl: An integer set library for the polyhedral model
- 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
