Counting solutions to Presburger formulas: how and why

Authors:
William Pugh
Affiliations:
Univ. of Maryland, College Park
Venue:
Counting solutions to Presburger formulas: how and why
Year:
1994

Citing 0
Cited 3

Synthesizing Transformations for Locality Enhancement of Imperfectly-Nested Loop Nests

International Journal of Parallel Programming
Data-Centric Transformations for Locality Enhancement

International Journal of Parallel Programming
Toward Symbolic Performance Prediction of Parallel Programs

IPPS '96 Proceedings of the 10th International Parallel Processing Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract