Matches in SemOpenAlex for { <https://semopenalex.org/work/W47386445> ?p ?o ?g. }
- W47386445 endingPage "66" @default.
- W47386445 startingPage "60" @default.
- W47386445 abstract "The polytope model is widely used in compiler analysis for representing a certain class of programs. Many counting problems that occur in the analysis of such programs can be solved by counting the number of integer points in a parametric polytope. In other counting problems, polynomial weights are assigned to the integer points of a parametric polytope and the objective is to find the sum of these weights over all integer points. This paper briefly surveys a number of algorithms for solving such problems, extending them where needed and evaluating them on a set of realistic and constructed examples from compiler analysis and beyond. The paper also serves to document some of the algorithms implemented in the freely available barvinok library." @default.
- W47386445 created "2016-06-24" @default.
- W47386445 creator A5004343076 @default.
- W47386445 creator A5055650706 @default.
- W47386445 date "2008-07-01" @default.
- W47386445 modified "2023-09-24" @default.
- W47386445 title "Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison" @default.
- W47386445 cites W1508632565 @default.
- W47386445 cites W1512982031 @default.
- W47386445 cites W1534719102 @default.
- W47386445 cites W1551844364 @default.
- W47386445 cites W1566753159 @default.
- W47386445 cites W1707866322 @default.
- W47386445 cites W1986690046 @default.
- W47386445 cites W2008398511 @default.
- W47386445 cites W2052356107 @default.
- W47386445 cites W2065705265 @default.
- W47386445 cites W2072364436 @default.
- W47386445 cites W2108593270 @default.
- W47386445 cites W2112059128 @default.
- W47386445 cites W2129740858 @default.
- W47386445 cites W2140335595 @default.
- W47386445 cites W2147543317 @default.
- W47386445 cites W2160273855 @default.
- W47386445 cites W2162500852 @default.
- W47386445 cites W2164307836 @default.
- W47386445 cites W2165820775 @default.
- W47386445 cites W2506054026 @default.
- W47386445 cites W2520810317 @default.
- W47386445 cites W59298299 @default.
- W47386445 cites W116159913 @default.
- W47386445 cites W1566926875 @default.
- W47386445 hasPublicationYear "2008" @default.
- W47386445 type Work @default.
- W47386445 sameAs 47386445 @default.
- W47386445 citedByCount "5" @default.
- W47386445 countsByYear W473864452016 @default.
- W47386445 crossrefType "proceedings-article" @default.
- W47386445 hasAuthorship W47386445A5004343076 @default.
- W47386445 hasAuthorship W47386445A5055650706 @default.
- W47386445 hasConcept C105795698 @default.
- W47386445 hasConcept C113391598 @default.
- W47386445 hasConcept C11413529 @default.
- W47386445 hasConcept C114614502 @default.
- W47386445 hasConcept C117251300 @default.
- W47386445 hasConcept C118615104 @default.
- W47386445 hasConcept C145691206 @default.
- W47386445 hasConcept C154945302 @default.
- W47386445 hasConcept C16592021 @default.
- W47386445 hasConcept C169590947 @default.
- W47386445 hasConcept C177264268 @default.
- W47386445 hasConcept C199360897 @default.
- W47386445 hasConcept C2777212361 @default.
- W47386445 hasConcept C33923547 @default.
- W47386445 hasConcept C41008148 @default.
- W47386445 hasConcept C56086750 @default.
- W47386445 hasConcept C80444323 @default.
- W47386445 hasConcept C97137487 @default.
- W47386445 hasConceptScore W47386445C105795698 @default.
- W47386445 hasConceptScore W47386445C113391598 @default.
- W47386445 hasConceptScore W47386445C11413529 @default.
- W47386445 hasConceptScore W47386445C114614502 @default.
- W47386445 hasConceptScore W47386445C117251300 @default.
- W47386445 hasConceptScore W47386445C118615104 @default.
- W47386445 hasConceptScore W47386445C145691206 @default.
- W47386445 hasConceptScore W47386445C154945302 @default.
- W47386445 hasConceptScore W47386445C16592021 @default.
- W47386445 hasConceptScore W47386445C169590947 @default.
- W47386445 hasConceptScore W47386445C177264268 @default.
- W47386445 hasConceptScore W47386445C199360897 @default.
- W47386445 hasConceptScore W47386445C2777212361 @default.
- W47386445 hasConceptScore W47386445C33923547 @default.
- W47386445 hasConceptScore W47386445C41008148 @default.
- W47386445 hasConceptScore W47386445C56086750 @default.
- W47386445 hasConceptScore W47386445C80444323 @default.
- W47386445 hasConceptScore W47386445C97137487 @default.
- W47386445 hasLocation W473864451 @default.
- W47386445 hasOpenAccess W47386445 @default.
- W47386445 hasPrimaryLocation W473864451 @default.
- W47386445 hasRelatedWork W1534719102 @default.
- W47386445 hasRelatedWork W1649193690 @default.
- W47386445 hasRelatedWork W1669761370 @default.
- W47386445 hasRelatedWork W1963995257 @default.
- W47386445 hasRelatedWork W1975737603 @default.
- W47386445 hasRelatedWork W1995786326 @default.
- W47386445 hasRelatedWork W200948783 @default.
- W47386445 hasRelatedWork W2043135185 @default.
- W47386445 hasRelatedWork W2059347275 @default.
- W47386445 hasRelatedWork W2076316357 @default.
- W47386445 hasRelatedWork W2098122576 @default.
- W47386445 hasRelatedWork W2112059128 @default.
- W47386445 hasRelatedWork W2125766931 @default.
- W47386445 hasRelatedWork W2129740858 @default.
- W47386445 hasRelatedWork W2147543317 @default.
- W47386445 hasRelatedWork W2152087300 @default.
- W47386445 hasRelatedWork W2520810317 @default.
- W47386445 hasRelatedWork W2526694238 @default.
- W47386445 hasRelatedWork W2559475576 @default.