Academic Software for R&D Purposes
University of Nice Sophia Antipolis
: A C++ Data Dependence Graph Library for Optimizing Compilation.
: A rigorous statistical protocole to certify the observed speedups.
: An Independent C-library for Register Pressure Reduction in Data Dependence Graphs.
: An Independent C-library for Register Saturation Computation.
In memory of Vincent Bouchitté :
(Maximal Antichain in Orders, resp. Minimal Chain Decomposition). i
Maximal Stable Set in an Interval Graph
Fuzzy Array Dataflow Analysisi Toolkit
: a C++ implementation.
This document was translated from L