FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2198314898> ?p ?o ?g. }

• W2198314898 abstract "Unison is a compiler back-end that differs from traditional compiler approaches in that the compilation is carried out using constraint programming rather than greedy algorithms. The compilation problem is translated to a constraint model and then solved using a constraint solver, yielding an approach that has the potential of producing optimal code. Presolving is the process of strengthening a constraint model before solving, and has previously been shown to be effective in terms of the robustness and the quality of the generated code. This thesis presents an evaluation of different presolving techniques used in Unison’s presolver for deducing implied constraints. Such constraints are logical consequences of other constraints in the model and must therefore be fulfilled in any valid solution of the model. Two of the most important techniques for generating these constraints are reimplemented, aiming to reduce Unison’s dependencies on systems that are not free software. The reimplementation is shown to be successful with respect to both correctness and performance. In fact, while producing the same output a substantial performance increase can be measured indicating a mean speedup of 2.25 times compared to the previous implementation." @default.
• W2198314898 created "2016-06-24" @default.
• W2198314898 creator A5029290149 @default.
• W2198314898 creator A5062865907 @default.
• W2198314898 date "2015-01-01" @default.
• W2198314898 modified "2023-09-26" @default.
• W2198314898 title "Implied Constraints for the Unison Presolver" @default.
• W2198314898 cites W1245771 @default.
• W2198314898 cites W136222501 @default.
• W2198314898 cites W1481537516 @default.
• W2198314898 cites W1509843845 @default.
• W2198314898 cites W1515441675 @default.
• W2198314898 cites W1603228053 @default.
• W2198314898 cites W1605034451 @default.
• W2198314898 cites W1721908487 @default.
• W2198314898 cites W1733489975 @default.
• W2198314898 cites W1766250948 @default.
• W2198314898 cites W1843198456 @default.
• W2198314898 cites W1876846146 @default.
• W2198314898 cites W1998405926 @default.
• W2198314898 cites W2024327134 @default.
• W2198314898 cites W2048936605 @default.
• W2198314898 cites W2115939129 @default.
• W2198314898 cites W2117285153 @default.
• W2198314898 cites W2133877928 @default.
• W2198314898 cites W2142278742 @default.
• W2198314898 cites W2172627800 @default.
• W2198314898 cites W47957325 @default.
• W2198314898 cites W595323505 @default.
• W2198314898 hasPublicationYear "2015" @default.
• W2198314898 type Work @default.
• W2198314898 sameAs 2198314898 @default.
• W2198314898 citedByCount "1" @default.
• W2198314898 countsByYear W21983148982015 @default.
• W2198314898 crossrefType "journal-article" @default.
• W2198314898 hasAuthorship W2198314898A5029290149 @default.
• W2198314898 hasAuthorship W2198314898A5062865907 @default.
• W2198314898 hasConcept C104317684 @default.
• W2198314898 hasConcept C11413529 @default.
• W2198314898 hasConcept C121332964 @default.
• W2198314898 hasConcept C126255220 @default.
• W2198314898 hasConcept C137631369 @default.
• W2198314898 hasConcept C169590947 @default.
• W2198314898 hasConcept C173404611 @default.
• W2198314898 hasConcept C185592680 @default.
• W2198314898 hasConcept C199360897 @default.
• W2198314898 hasConcept C24890656 @default.
• W2198314898 hasConcept C2524010 @default.
• W2198314898 hasConcept C2776036281 @default.
• W2198314898 hasConcept C2778770139 @default.
• W2198314898 hasConcept C2780304638 @default.
• W2198314898 hasConcept C33923547 @default.
• W2198314898 hasConcept C41008148 @default.
• W2198314898 hasConcept C55439883 @default.
• W2198314898 hasConcept C55493867 @default.
• W2198314898 hasConcept C63479239 @default.
• W2198314898 hasConceptScore W2198314898C104317684 @default.
• W2198314898 hasConceptScore W2198314898C11413529 @default.
• W2198314898 hasConceptScore W2198314898C121332964 @default.
• W2198314898 hasConceptScore W2198314898C126255220 @default.
• W2198314898 hasConceptScore W2198314898C137631369 @default.
• W2198314898 hasConceptScore W2198314898C169590947 @default.
• W2198314898 hasConceptScore W2198314898C173404611 @default.
• W2198314898 hasConceptScore W2198314898C185592680 @default.
• W2198314898 hasConceptScore W2198314898C199360897 @default.
• W2198314898 hasConceptScore W2198314898C24890656 @default.
• W2198314898 hasConceptScore W2198314898C2524010 @default.
• W2198314898 hasConceptScore W2198314898C2776036281 @default.
• W2198314898 hasConceptScore W2198314898C2778770139 @default.
• W2198314898 hasConceptScore W2198314898C2780304638 @default.
• W2198314898 hasConceptScore W2198314898C33923547 @default.
• W2198314898 hasConceptScore W2198314898C41008148 @default.
• W2198314898 hasConceptScore W2198314898C55439883 @default.
• W2198314898 hasConceptScore W2198314898C55493867 @default.
• W2198314898 hasConceptScore W2198314898C63479239 @default.
• W2198314898 hasLocation W21983148981 @default.
• W2198314898 hasOpenAccess W2198314898 @default.
• W2198314898 hasPrimaryLocation W21983148981 @default.
• W2198314898 hasRelatedWork W1516905216 @default.
• W2198314898 hasRelatedWork W1530816677 @default.
• W2198314898 hasRelatedWork W1586235558 @default.
• W2198314898 hasRelatedWork W1600680409 @default.
• W2198314898 hasRelatedWork W165040556 @default.
• W2198314898 hasRelatedWork W1975963464 @default.
• W2198314898 hasRelatedWork W1985092174 @default.
• W2198314898 hasRelatedWork W2023005099 @default.
• W2198314898 hasRelatedWork W2031232189 @default.
• W2198314898 hasRelatedWork W2039120330 @default.
• W2198314898 hasRelatedWork W205264562 @default.
• W2198314898 hasRelatedWork W2081103684 @default.
• W2198314898 hasRelatedWork W2097523953 @default.
• W2198314898 hasRelatedWork W2279561282 @default.
• W2198314898 hasRelatedWork W2315316213 @default.
• W2198314898 hasRelatedWork W2548992767 @default.
• W2198314898 hasRelatedWork W2611662545 @default.
• W2198314898 hasRelatedWork W2900892283 @default.
• W2198314898 hasRelatedWork W2957921504 @default.
• W2198314898 hasRelatedWork W63280453 @default.
• W2198314898 isParatext "false" @default.
• W2198314898 isRetracted "false" @default.

• next