Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113143090> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2113143090 endingPage "303" @default.
- W2113143090 startingPage "289" @default.
- W2113143090 abstract "Many computations over trees can be specified using attribute grammars. Compilers for attribute grammars need to find an evaluation order (or schedule) in order to generate efficient code. For the class of linearly ordered attribute grammars such a schedule can be found statically, but this problem is known to be NP-hard. In this paper, we show how to encode linearly ordered attribute grammar scheduling as a SAT-problem. For such grammars it is necessary to ensure that the dependency graph is cycle free, which we approach in a novel way by transforming the dependency graph to a chordal graph allowing the cycle freeness to be efficiently expressed and computed using SAT solvers. There are two main advantages to using a SAT-solver for scheduling: (1) the scheduling algorithm runs faster than existing scheduling algorithms on real-world examples, and (2) by adding extra constraints we obtain fine-grained control over the resulting schedule, thereby enabling new scheduling optimisations." @default.
- W2113143090 created "2016-06-24" @default.
- W2113143090 creator A5053655087 @default.
- W2113143090 creator A5058771102 @default.
- W2113143090 creator A5062351836 @default.
- W2113143090 creator A5075020610 @default.
- W2113143090 date "2015-01-01" @default.
- W2113143090 modified "2023-10-15" @default.
- W2113143090 title "Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving" @default.
- W2113143090 cites W1485908855 @default.
- W2113143090 cites W1500127208 @default.
- W2113143090 cites W1518705996 @default.
- W2113143090 cites W1964071625 @default.
- W2113143090 cites W2004155726 @default.
- W2113143090 cites W200843336 @default.
- W2113143090 cites W2035331304 @default.
- W2113143090 cites W2036265926 @default.
- W2113143090 cites W2051785652 @default.
- W2113143090 cites W2054207931 @default.
- W2113143090 cites W2070811535 @default.
- W2113143090 cites W2070821087 @default.
- W2113143090 cites W2100637096 @default.
- W2113143090 cites W2104115705 @default.
- W2113143090 cites W25673531 @default.
- W2113143090 doi "https://doi.org/10.1007/978-3-662-46681-0_24" @default.
- W2113143090 hasPublicationYear "2015" @default.
- W2113143090 type Work @default.
- W2113143090 sameAs 2113143090 @default.
- W2113143090 citedByCount "0" @default.
- W2113143090 crossrefType "book-chapter" @default.
- W2113143090 hasAuthorship W2113143090A5053655087 @default.
- W2113143090 hasAuthorship W2113143090A5058771102 @default.
- W2113143090 hasAuthorship W2113143090A5062351836 @default.
- W2113143090 hasAuthorship W2113143090A5075020610 @default.
- W2113143090 hasBestOaLocation W21131430902 @default.
- W2113143090 hasConcept C107568181 @default.
- W2113143090 hasConcept C111919701 @default.
- W2113143090 hasConcept C199360897 @default.
- W2113143090 hasConcept C41008148 @default.
- W2113143090 hasConcept C68387754 @default.
- W2113143090 hasConcept C80444323 @default.
- W2113143090 hasConceptScore W2113143090C107568181 @default.
- W2113143090 hasConceptScore W2113143090C111919701 @default.
- W2113143090 hasConceptScore W2113143090C199360897 @default.
- W2113143090 hasConceptScore W2113143090C41008148 @default.
- W2113143090 hasConceptScore W2113143090C68387754 @default.
- W2113143090 hasConceptScore W2113143090C80444323 @default.
- W2113143090 hasLocation W21131430901 @default.
- W2113143090 hasLocation W21131430902 @default.
- W2113143090 hasOpenAccess W2113143090 @default.
- W2113143090 hasPrimaryLocation W21131430901 @default.
- W2113143090 hasRelatedWork W2109507516 @default.
- W2113143090 hasRelatedWork W2112962394 @default.
- W2113143090 hasRelatedWork W2118300983 @default.
- W2113143090 hasRelatedWork W2166247150 @default.
- W2113143090 hasRelatedWork W2382501300 @default.
- W2113143090 hasRelatedWork W2740990710 @default.
- W2113143090 hasRelatedWork W3137189469 @default.
- W2113143090 hasRelatedWork W3162240892 @default.
- W2113143090 hasRelatedWork W4235530921 @default.
- W2113143090 hasRelatedWork W4243252198 @default.
- W2113143090 isParatext "false" @default.
- W2113143090 isRetracted "false" @default.
- W2113143090 magId "2113143090" @default.
- W2113143090 workType "book-chapter" @default.