isl
From MaRDI portal
Isl
Cited in
(23)- 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
- IML - Integer Matrix Library
- cddplus
- barvinok
- FADAlib
- Omega+
- PolyLib
- ALICe
- Omega
- FME-IT
- TRACO
- PipLib
- Verimag Polyhedra Library
- An algorithm for solving parametric integer program
- isl: An integer set library for the polyhedral model
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
- Plethysm and lattice point counting
- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
This page was built for software: isl
