Syntax Tree, indicating that the intermediate format to represent
programs also contains information encoded as polyhedra). The
Omega-library 97 is used extensively to simplify Presburger formula
and to convert them into sets of disjoint polytopes. The Polylib 138,
187 library is used to perform operations on polytopes, such as intersection,
union, and Clauss' interpolation method for enumerating
50. Furthermore, the analytical enumeration method described in section
4.4 has been...
%0 Generic
%1 citeulike:822228
%A Beyls, K.
%D 2004
%K cache locality performance
%T Software Methods to Improve Data Locality and Cache Behavior
%U http://citeseer.ist.psu.edu/beyls04software.html
%X Syntax Tree, indicating that the intermediate format to represent
programs also contains information encoded as polyhedra). The
Omega-library 97 is used extensively to simplify Presburger formula
and to convert them into sets of disjoint polytopes. The Polylib 138,
187 library is used to perform operations on polytopes, such as intersection,
union, and Clauss' interpolation method for enumerating
50. Furthermore, the analytical enumeration method described in section
4.4 has been...
@misc{citeulike:822228,
abstract = {Syntax Tree, indicating that the intermediate format to represent
programs also contains information encoded as polyhedra). The
Omega-library [97] is used extensively to simplify Presburger formula
and to convert them into sets of disjoint polytopes. The Polylib [138,
187] library is used to perform operations on polytopes, such as intersection,
union, and Clauss' interpolation method for enumerating
[50]. Furthermore, the analytical enumeration method described in section
4.4 has been...},
added-at = {2007-03-17T15:34:03.000+0100},
author = {Beyls, K.},
biburl = {https://www.bibsonomy.org/bibtex/27cad1b0b2d4a506693053fd7c0f0a03b/yijunyu},
citeulike-article-id = {822228},
interhash = {cb67658179010f9f9d144a910bf6d8eb},
intrahash = {7cad1b0b2d4a506693053fd7c0f0a03b},
keywords = {cache locality performance},
priority = {0},
timestamp = {2007-03-17T15:34:08.000+0100},
title = {Software Methods to Improve Data Locality and Cache Behavior},
url = {http://citeseer.ist.psu.edu/beyls04software.html},
year = 2004
}