This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Frameworks_supporting_the_polyhedral_model
rdf:type
yago:Act100030358 yago:ChangeOfState100199130 yago:WikicatCompilerOptimizations yago:Change100191142 yago:Optimization100260051 yago:Abstraction100002137 yago:Action100037396 yago:Event100029378 yago:PsychologicalFeature100023100 yago:Improvement100248977 yago:YagoPermanentlyLocatedEntity
rdfs:label
Frameworks supporting the polyhedral model
rdfs:comment
Use of the polyhedral model (also called the polytope model) within a compiler requires software to represent the objects of this framework (sets of integer-valued points in regions of various spaces) and perform operations upon them (e.g., testing whether the set is empty). For more detail about the objects and operations in this model, and an example relating the model to the programs being compiled, see the polyhedral model page.
dcterms:subject
dbc:Articles_with_example_pseudocode dbc:Compiler_optimizations
dbo:wikiPageID
18385180
dbo:wikiPageRevisionID
1052688703
dbo:wikiPageWikiLink
dbr:Loop_transformation dbr:Loop_dependence_analysis dbc:Articles_with_example_pseudocode dbr:Finite_difference_method dbr:Z-polyhedra dbr:Integer_set_library dbr:Scalable_parallelism dbr:Heat_equation dbr:NP-complete dbr:Alexander_Barvinok dbc:Compiler_optimizations dbr:Pseudocode dbr:Integer_programming dbr:Stencil_(numerical_analysis) dbr:Loop_nest_optimization dbr:Vertex_enumeration dbr:Polytope_model dbr:Compiler dbr:Gnu_Compiler_Collection dbr:Scalable_locality dbr:LLVM
owl:sameAs
wikidata:Q5477986 yago-res:Frameworks_supporting_the_polyhedral_model n15:4jgdw freebase:m.04dzyd7
dbp:wikiPageUsesTemplate
dbt:Reflist
dbo:abstract
Use of the polyhedral model (also called the polytope model) within a compiler requires software to represent the objects of this framework (sets of integer-valued points in regions of various spaces) and perform operations upon them (e.g., testing whether the set is empty). For more detail about the objects and operations in this model, and an example relating the model to the programs being compiled, see the polyhedral model page. There are many frameworks supporting the polyhedral model. Some of these frameworks use one or more libraries forperforming polyhedral operations. Others, notably Omega, combine everything in a single package.Some commonly used libraries are the Omega Library (and a more recent fork), piplib, PolyLib, PPL, isl,the Cloog polyhedral code generator, and the barvinok library for counting integer solutions.Of these libraries, PolyLib and PPL focus mostly on rational values, while the other libraries focus on integer values.The polyhedral framework of gcc is called Graphite. Polly provides polyhedral optimizations for LLVM, and R-Stream has had a polyhedral mapper since ca. 2006.
prov:wasDerivedFrom
wikipedia-en:Frameworks_supporting_the_polyhedral_model?oldid=1052688703&ns=0
dbo:wikiPageLength
22768
foaf:isPrimaryTopicOf
wikipedia-en:Frameworks_supporting_the_polyhedral_model