isl

swMATH9841MaRDI QIDQ21820FDOQ21820

Author name not available (Why is that?)

Official website: http://freecode.com/projects/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
• An algorithm for solving parametric integer program
• isl: An integer set library for the polyhedral model
• IML - Integer Matrix Library
• cddplus
• barvinok
• FADAlib
• Omega+
• PolyLib
• ALICe
• Omega
• FME-IT
• TRACO
• PipLib
• Verimag Polyhedra Library
• 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