{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:37:00Z","timestamp":1776829020000,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,22]],"date-time":"2004-09-22T00:00:00Z","timestamp":1095811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,9,22]]},"DOI":"10.1145\/1023833.1023868","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"248-258","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Analytical computation of Ehrhart polynomials"],"prefix":"10.1145","author":[{"given":"Sven","family":"Verdoolaege","sequence":"first","affiliation":[{"name":"K.U.Leuven"}]},{"given":"Rachid","family":"Seghir","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Louis Pasteur, Strasbourg"}]},{"given":"Kristof","family":"Beyls","sequence":"additional","affiliation":[{"name":"Ghent University"}]},{"given":"Vincent","family":"Loechner","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Louis Pasteur, Strasbourg"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[{"name":"K.U.Leuven"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"An algorithmic theory of lattice points in polyhedra. New Perspectives in Algebraic Combinatorics, (38):91--147","author":"Barvinok A.","year":"1999","unstructured":"A. Barvinok and J. Pommersheim . An algorithmic theory of lattice points in polyhedra. New Perspectives in Algebraic Combinatorics, (38):91--147 , 1999 .]] A. Barvinok and J. Pommersheim. An algorithmic theory of lattice points in polyhedra. New Perspectives in Algebraic Combinatorics, (38):91--147, 1999.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1993.366830"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.002"},{"key":"e_1_3_2_1_6_1","volume-title":"Oct.","author":"Braberman V.","year":"2003","unstructured":"V. Braberman , D. Garbervetsky , and S. Yovine . On synthesizing parametric specifications of dynamic memory utilization. Technical report , Oct. 2003 .]] V. Braberman, D. Garbervetsky, and S. Yovine. On synthesizing parametric specifications of dynamic memory utilization. Technical report, Oct. 2003.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-97-00242-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1943.11991447"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378859"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008069920230"},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Compilers and Operating Systems for Low Power (COLP01)","author":"D'Alberto P.","year":"2001","unstructured":"P. D'Alberto , A. Veidembaum , A. Nicolau , and R. Gupta . Static analysis of parameterized loop nests for energy efficient use of data caches . In Workshop on Compilers and Operating Systems for Low Power (COLP01) , Sept. 2001 .]] P. D'Alberto, A. Veidembaum, A. Nicolau, and R. Gupta. Static analysis of parameterized loop nests for energy efficient use of data caches. In Workshop on Compilers and Operating Systems for Low Power (COLP01), Sept. 2001.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"July","author":"De Loera J.","year":"2003","unstructured":"J. De Loera , D. Haws , R. Hemmecke , P. Huggins , B. Sturmfels , and R. Yoshida . Short rational functions for toric algebra and applications , July 2003 . http:\/\/arxiv.org\/abs\/math.CO\/0307350.]] J. De Loera, D. Haws, R. Hemmecke, P. Huggins, B. Sturmfels, and R. Yoshida. Short rational functions for toric algebra and applications, July 2003. http:\/\/arxiv.org\/abs\/math.CO\/0307350.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Nov.","author":"De Loera J. A.","year":"2003","unstructured":"J. A. De Loera , D. Haws , R. Hemmecke , P. Huggins , J. Tauzer , and R. Yoshida . A user's guide for latte v1.1 , Nov. 2003 . software package LattE is available at http:\/\/www.math.ucdavis.edu\/~latte\/.]] J. A. De Loera, D. Haws, R. Hemmecke, P. Huggins, J. Tauzer, and R. Yoshida. A user's guide for latte v1.1, Nov. 2003. software package LattE is available at http:\/\/www.math.ucdavis.edu\/~latte\/.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Mar.","author":"De Loera J. A.","year":"2003","unstructured":"J. A. De Loera , R. Hemmecke , J. Tauzer , and R. Yoshida . Effective lattice point counting in rational convex polytopes , Mar. 2003 . http:\/\/www.math.ucdavis.edu\/~latte\/theory.html.]] J. A. De Loera, R. Hemmecke, J. Tauzer, and R. Yoshida. Effective lattice point counting in rational convex polytopes, Mar. 2003. http:\/\/www.math.ucdavis.edu\/~latte\/theory.html.]]"},{"key":"e_1_3_2_1_15_1","series-title":"International Series of Numerical Mathematics","volume-title":"Polyn\u00f4mes arithm\u00e9tiques et m\u00e9thode des poly\u00e9dres en combinatoire","author":"Ehrhart E.","year":"1977","unstructured":"E. Ehrhart . Polyn\u00f4mes arithm\u00e9tiques et m\u00e9thode des poly\u00e9dres en combinatoire . International Series of Numerical Mathematics , 35, 1977 .]] E. Ehrhart. Polyn\u00f4mes arithm\u00e9tiques et m\u00e9thode des poly\u00e9dres en combinatoire. International Series of Numerical Mathematics, 35, 1977.]]"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","first-page":"328","volume-title":"Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing","author":"Ferrante J.","year":"1991","unstructured":"J. Ferrante , V. Sarkar , and W. Thrash . On estimating and enhancing cache effectiveness . In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing , volume 589 of Lecture Notes in Computer Science , pages 328 -- 343 . Springer-Verlag , Aug. 1991 .]] J. Ferrante, V. Sarkar, and W. Thrash. On estimating and enhancing cache effectiveness. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, volume 589 of Lecture Notes in Computer Science, pages 328--343. Springer-Verlag, Aug. 1991.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/643470.643472"},{"key":"e_1_3_2_1_18_1","unstructured":"Free Software Foundation Inc. GMP. Available from ftp:\/\/ftp.gnu.org\/gnu\/gmp.]]  Free Software Foundation Inc. GMP. Available from ftp:\/\/ftp.gnu.org\/gnu\/gmp.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325479"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760295"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645768.667600"},{"key":"e_1_3_2_1_22_1","volume-title":"The Omega calculator and library. Technical report","author":"Kelly W.","year":"1996","unstructured":"W. Kelly , V. Maslov , W. Pugh , E. Rosser , T. Shpeisman , and D. Wonnacott . The Omega calculator and library. Technical report , University of Maryland , Nov. 1996 .]] W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott. The Omega calculator and library. Technical report, University of Maryland, Nov. 1996.]]"},{"key":"e_1_3_2_1_23_1","first-page":"77","volume-title":"Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis","author":"Lisper B.","year":"2003","unstructured":"B. Lisper . Fully automatic, parametric worst-case execution time analysis. In J. Gustafsson, editor , Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis , pages 77 -- 80 , Porto , July 2003 .]] B. Lisper. Fully automatic, parametric worst-case execution time analysis. In J. Gustafsson, editor, Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis, pages 77--80, Porto, July 2003.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"Universit\u00e9 Louis Pasteur de Strasbourg","author":"Loechner V.","year":"1999","unstructured":"V. Loechner . Polylib : A library for manipulating parameterized polyhedra. Technical report, ICPS , Universit\u00e9 Louis Pasteur de Strasbourg , France , Mar. 1999 .]] V. Loechner. Polylib: A library for manipulating parameterized polyhedra. Technical report, ICPS, Universit\u00e9 Louis Pasteur de Strasbourg, France, Mar. 1999.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013535431127"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025117523902"},{"key":"e_1_3_2_1_27_1","volume-title":"Een verbeterde methode voor de berekening van Ehrhart-polynomen. Master's thesis","author":"Nootaert B.","year":"2004","unstructured":"B. Nootaert . Een verbeterde methode voor de berekening van Ehrhart-polynomen. Master's thesis , Ghent University , 2004 .]] B. Nootaert. Een verbeterde methode voor de berekening van Ehrhart-polynomen. Master's thesis, Ghent University, 2004.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178254"},{"key":"e_1_3_2_1_30_1","volume-title":"Theory of linear and integer programming","author":"Schrijver A.","year":"1986","unstructured":"A. Schrijver . Theory of linear and integer programming . John Wiley & Sons , 1986 .]] A. Schrijver. Theory of linear and integer programming. John Wiley & Sons, 1986.]]"},{"key":"e_1_3_2_1_31_1","unstructured":"V. Shoup. NTL. Available from http:\/\/www.shoup.net\/ntl\/.]]  V. Shoup. NTL. Available from http:\/\/www.shoup.net\/ntl\/.]]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/784895.785100"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.894155"}],"event":{"name":"CASES04: 2004 International Conference on Compilers, Architectures and Synthesis for Embedded Systems","location":"Washington DC USA","acronym":"CASES04","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1023833.1023868","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1023833.1023868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:23:53Z","timestamp":1750267433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1023833.1023868"}},"subtitle":["enabling more compiler analyses and optimizations"],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":31,"alternative-id":["10.1145\/1023833.1023868","10.1145\/1023833"],"URL":"https:\/\/doi.org\/10.1145\/1023833.1023868","relation":{},"subject":[],"published":{"date-parts":[[2004,9,22]]},"assertion":[{"value":"2004-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}