Sunder Phani Kumar Nookala Nookala and Tanguy Risset. A library for doing Z-polyhedral computations. Technical Report 1330, Institut de Recherche en Informatique et Systemes Aleatoires, May 2000. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Storage Size Reduction by In-place Mapping of Arrays - Tronçon.. (2002) (1 citation) (Correct)
....seen, there is a strong correlation between the estimated number of emptiness checks and the time for the liveness analysis. It has to be noted that there are libraries around which are better suited for the problems described in this paper, such as Polylib [20] with its Z polyhedra extensions [14], the Parma Polyhedra Library[1] We expect much better runtimes when using these libraries. 6 Discussion About the assumptions. Our analysis can be applied to programs that are designed within the DTSE methodology [4] However, other programs will not meet the strong assumptions stated in ....
Sunder Phani Kumar Nookala Nookala and Tanguy Risset. A library for doing Z-polyhedral computations. Technical Report 1330, Institut de Recherche en Informatique et Systemes Aleatoires, May 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC