{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T16:22:22Z","timestamp":1774542142285,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008069920230","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:45:23Z","timestamp":1040543123000},"page":"179-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":79,"title":["Parametric Analysis of Polyhedral Iteration Spaces"],"prefix":"10.1007","volume":"19","author":[{"given":"Philippe","family":"Clauss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Loechner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1998,7,1]]},"reference":[{"key":"167705_CR1","doi-asserted-by":"crossref","unstructured":"W. Pugh, \u201cCounting solutions to Presburger formulas: How and why,\u201d Proc. of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, 1994.","DOI":"10.1145\/178243.178254"},{"key":"167705_CR2","doi-asserted-by":"crossref","unstructured":"J. Ferrante, V. Sarkar, and W. Thrash, \u201cOn estimating and enhancing cache effectiveness,\u201d Advances in Languages and Compilers for Parallel Processing, The MIT Press, pp. 328-343, 1991.","DOI":"10.1007\/BFb0038674"},{"key":"167705_CR3","doi-asserted-by":"crossref","unstructured":"H.S. Stone and D. Thiebaut, \u201cFootprints in the cache,\u201d Proc. ACM SIGMETRICS 1986, pp. 4-8, 1986.","DOI":"10.1145\/317499.317533"},{"key":"167705_CR4","doi-asserted-by":"crossref","unstructured":"N. Tawbi and P. Feautrier, \u201cProcessor allocation and loop scheduling on multiprocessor computers,\u201d Proc. of the 1992 International Conference on Supercomputing, pp. 63-71, 1992.","DOI":"10.1145\/143369.143387"},{"key":"167705_CR5","doi-asserted-by":"crossref","unstructured":"M. Haghighat and C. Polychronopoulos, \u201cSymbolic analysis: A basis for parallelization, optimization and scheduling of programs,\u201d Languages and Compilers for Parallel Computing, U. Banerjee et al. (Ed.), Springer-Verlag, 1993. LNCS768, Proc. of the 6th Annual Workshop on Programming Languages and Compilers for Parallel Computing.","DOI":"10.1007\/3-540-57659-2_32"},{"key":"167705_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence Analysis for Supercomputing","author":"U. Banerjee","year":"1988","unstructured":"U. Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Boston\/Dordrecht\/London, 1988."},{"issue":"1","key":"167705_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"P. Feautrier, \u201cDataflow analysis of scalar and array references,\u201d Int. J. of Parallel Programming, Vol. 20, No.1, pp. 23-53, 1991.","journal-title":"Int. J. of Parallel Programming"},{"key":"167705_CR8","volume-title":"Geometry of Numbers","author":"P.M. Gruber","year":"1987","unstructured":"P.M. Gruber and C.G. Lekkerkerker, Geometry of Numbers. North-Holland, Amsterdam, 1987."},{"key":"167705_CR9","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"A. Schrijver, Theory of Linear and Integer Programming, Wiley, New York, 1986."},{"key":"167705_CR10","volume-title":"Nonlinear Programming, Theory and Algorithms","author":"M.S. Bazaraa","year":"1993","unstructured":"M.S. Bazaraa, H.D. Sherali, and C.M. Shetty, Nonlinear Programming, Theory and Algorithms, 2nd edition, Wiley, New York, 1993.","edition":"2nd edition"},{"key":"167705_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-6752-7","volume-title":"Combinatorics and Commutative Algebra","author":"R.P. Stanley","year":"1983","unstructured":"R.P. Stanley, Combinatorics and Commutative Algebra, Birkh\u00e4user, Boston, 1983."},{"key":"167705_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-9763-6","volume-title":"Enumerative Combinatorics","author":"R.P. Stanley","year":"1986","unstructured":"R.P. Stanley, Enumerative Combinatorics, Vol. I, Wadsworth & Brooks\/Cole, Monterey, California, 1986."},{"issue":"2","key":"167705_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1287\/moor.5.2.167","volume":"5","author":"T.H. Mattheiss","year":"1980","unstructured":"T.H. Mattheiss and D. Rubin, \u201cA survey and comparison of methods for finding all vertices of convex polyhedral sets,\u201d Mathematics of Operations Research, Vol. 5, No.2, pp. 167- 185, 1980.","journal-title":"Mathematics of Operations Research"},{"key":"167705_CR14","first-page":"1","volume":"226","author":"E. Ehrhart","year":"1967","unstructured":"E. Ehrhart, \u201cSur un probl\u00e8me de g\u00e9om\u00e9trie diophantienne lin\u00e9aire I,\u201d J. Reine Angew. Math., Vol. 226, pp. 1-29, 1967.","journal-title":"J. Reine Angew. Math."},{"key":"167705_CR15","series-title":"International Series of Numerical Mathematics","volume-title":"Polyn\u00f4mes arithm\u00e9tiques et M\u00e9thode des Poly\u00e8dres en Combinatoire","author":"E. Ehrhart","year":"1977","unstructured":"E. Ehrhart, Polyn\u00f4mes arithm\u00e9tiques et M\u00e9thode des Poly\u00e8dres en Combinatoire, International Series of Numerical Mathematics, Vol. 35, Birkh\u00e4user Verlag, Basel\/Stuttgart, 1977."},{"key":"167705_CR16","doi-asserted-by":"crossref","unstructured":"V. Loechner and D.K. Wilde, \u201cParameterized polyhedra and their vertices,\u201d Int. J. of Parall. Progr. Vol. 25, No.6, 1997. Research Report ICPS 96-09, 1996. http:\/\/icps.ustrasbg.fr\/pub-95\/pub-96-09.ps.gz","DOI":"10.1023\/A:1025117523902"},{"key":"167705_CR17","first-page":"616","volume":"254","author":"E. Ehrhart","year":"1962","unstructured":"E. Ehrhart, \u201cSur les poly\u00e8dres rationnels homoth\u00e9tiques \u00e0 n dimensions,\u201d C.R. Acad. Sci. Paris, Vol. 254, pp. 616-618, 1962.","journal-title":"C.R. Acad. Sci. Paris"},{"key":"167705_CR18","first-page":"25","volume":"227","author":"E. Ehrhart","year":"1967","unstructured":"E. Ehrhart, \u201cSur un probl\u00e8me de g\u00e9om\u00e9trie diophantienne lin\u00e9aire II,\u201d J. Reine Angew. Math., Vol. 227, pp. 25-49, 1967.","journal-title":"J. Reine Angew. Math."},{"key":"167705_CR19","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1017\/S0305004100003716","volume":"59","author":"I.G. Macdonald","year":"1963","unstructured":"I.G. Macdonald, \u201cThe volume of a lattice polyhedron,\u201d Proc. Camb. Phil. Soc., Vol. 59, pp. 719-726, 1963.","journal-title":"Proc. Camb. Phil. Soc."},{"issue":"2","key":"167705_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1112\/jlms\/s2-4.1.181","volume":"4","author":"I.G. Macdonald","year":"1971","unstructured":"I.G. Macdonald, \u201cPolynomials associated with finite cell-complexes,\u201d J. London Math. Soc., Vol. 4, No.2, pp. 181-192, 1971.","journal-title":"J. London Math. Soc."},{"key":"167705_CR21","doi-asserted-by":"crossref","unstructured":"D.E. Maydan, S.P. Amarasingue, and M.S. Lam, \u201cArray dataflow analysis and its use in array privatization,\u201d Proc. of ACM Conf. on Principles of Programming Languages, pp. 2-15, 1993.","DOI":"10.1145\/158511.158515"},{"key":"167705_CR22","doi-asserted-by":"crossref","unstructured":"E. Duesterwald, R. Gupta, and M.-L. Soffa, \u201cA practical data-flow framework for array reference analysis and its use in optimization,\u201d ACM SIGPLAN'93 Conf. on Prog. Lang. Design and Implementation, pp. 68-77, 1993.","DOI":"10.1145\/155090.155097"},{"key":"167705_CR23","unstructured":"N. Tawbi, \u201cEstimation of nested loop execution time by integer arithmetics in convex polyhedra,\u201d Proc. of the 1994 International Parallel Processing Symposium, 1994."},{"key":"167705_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00930616","volume":"4","author":"P. Clauss","year":"1992","unstructured":"Ph. Clauss, C. Mongenet, and G.-R. Perrin, \u201cCalculus of space-optimal mappings of systolic algorithms on processor arrays,\u201d Journal of VLSI Signal Processing, Vol. 4, pp. 27-36, 1992.","journal-title":"Journal of VLSI Signal Processing"},{"key":"167705_CR25","first-page":"257","volume-title":"Int. Conf. PARCELLA'94","author":"P. Clauss","year":"1994","unstructured":"Ph. Clauss, \u201cAn efficient allocation strategy for mapping affine recurrences into space and time optimal regular processor arrays,\u201d in Int. Conf. PARCELLA'94, C. Jesshope, V. Jossifov and W. Wilhelmi (Eds.), Potsdam, Germany, Akademie Verlag, pp. 257-266, 1994. http:\/\/icps.u-strasbg.fr\/pub-94\/pub-94-15.ps.Z"},{"key":"167705_CR26","first-page":"224","volume-title":"Int. Conf. on Application-Specific Array Processors, ASAP'94","author":"P. Clauss","year":"1994","unstructured":"Ph. Clauss and G.-R. Perrin, \u201cOptimal mapping of systolic algorithms by regular instruction shifts,\u201d Int. Conf. on Application-Specific Array Processors, ASAP'94, San Francisco, CA, IEEE Computer Society Press, pp. 224- 235, 1994. http:\/\/icps.u-strasbg.fr\/pub-94\/pub-94-08.ps.Z"},{"key":"167705_CR27","volume-title":"A library for doing polyhedral operations","author":"D.K. Wilde","year":"1993","unstructured":"D.K. Wilde, \u201cA library for doing polyhedral operations,\u201d Master's thesis, Oregon State University, Corvallis, Oregon, 1993. Also published as IRISA Technical Report PI 785, Rennes, France, 1993."},{"key":"167705_CR28","doi-asserted-by":"crossref","unstructured":"M. Haghighat and C. Polychronopoulos, \u201cSymbolic analysis: A basis for parallelization, optimization and scheduling of programs,\u201d Technical Report 1317, CSRD, Univ. of Illinois, August 1993.","DOI":"10.1007\/3-540-57659-2_32"},{"key":"167705_CR29","unstructured":"Ph. Clauss, \u201cThe volume of a lattice polyhedron to enumerate processors and parallelism,\u201d Research Report ICPS 95-11, 1995. http:\/\/icps.u-strasbg.fr\/pub-95\/pub-95-11.ps.gz"},{"key":"167705_CR30","doi-asserted-by":"crossref","unstructured":"Ph. Clauss, \u201cCounting solutions to linear and nonlinear constraints through Ehrhart polynomials: Applications to analyze and transform scientific programs,\u201d Proc. 10thACMInt. Conf. on Supercomputing, Philadelphia, 1996. Also available as Research Report ICPS 96-03. http:\/\/icps.u-strasbg.fr\/pub-96\/pub-96-03.ps.gz","DOI":"10.1145\/237578.237617"}],"container-title":["Journal of VLSI signal processing systems for signal, image and video technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008069920230.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008069920230\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008069920230.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T09:40:36Z","timestamp":1754905236000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008069920230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["167705"],"URL":"https:\/\/doi.org\/10.1023\/a:1008069920230","relation":{},"ISSN":["0922-5773"],"issn-type":[{"value":"0922-5773","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7]]},"assertion":[{"value":"1 July 1998","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}