Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560416507> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1560416507 endingPage "337" @default.
- W1560416507 startingPage "334" @default.
- W1560416507 abstract "A transformation method based on incrementalization and value caching, generalizes a broad family of loop refinement techniques. This method and CACHET, an interactive tool supporting it, are presented. Though highly structured and automatable, better results are obtained with intelligent interaction, which provides insight and proofs involving term equality. Significant performance improvements are obtained in many representative program classes, including iterative schemes that characterize Today’s hardware specifications. Incrementalization is illustrated by the derivation of a hardware-efficient nonrestoring square-root algorithm." @default.
- W1560416507 created "2016-06-24" @default.
- W1560416507 creator A5066097652 @default.
- W1560416507 creator A5068274526 @default.
- W1560416507 creator A5071335285 @default.
- W1560416507 date "1999-01-01" @default.
- W1560416507 modified "2023-10-16" @default.
- W1560416507 title "A Systematic Incrementalization Technique and Its Application to Hardware Design" @default.
- W1560416507 cites W1560416507 @default.
- W1560416507 cites W2089171884 @default.
- W1560416507 cites W2099700419 @default.
- W1560416507 cites W38428743 @default.
- W1560416507 doi "https://doi.org/10.1007/3-540-48153-2_28" @default.
- W1560416507 hasPublicationYear "1999" @default.
- W1560416507 type Work @default.
- W1560416507 sameAs 1560416507 @default.
- W1560416507 citedByCount "1" @default.
- W1560416507 crossrefType "book-chapter" @default.
- W1560416507 hasAuthorship W1560416507A5066097652 @default.
- W1560416507 hasAuthorship W1560416507A5068274526 @default.
- W1560416507 hasAuthorship W1560416507A5071335285 @default.
- W1560416507 hasBestOaLocation W15604165071 @default.
- W1560416507 hasConcept C104317684 @default.
- W1560416507 hasConcept C108710211 @default.
- W1560416507 hasConcept C113775141 @default.
- W1560416507 hasConcept C11577676 @default.
- W1560416507 hasConcept C185592680 @default.
- W1560416507 hasConcept C204241405 @default.
- W1560416507 hasConcept C2524010 @default.
- W1560416507 hasConcept C33923547 @default.
- W1560416507 hasConcept C41008148 @default.
- W1560416507 hasConcept C55493867 @default.
- W1560416507 hasConcept C80444323 @default.
- W1560416507 hasConceptScore W1560416507C104317684 @default.
- W1560416507 hasConceptScore W1560416507C108710211 @default.
- W1560416507 hasConceptScore W1560416507C113775141 @default.
- W1560416507 hasConceptScore W1560416507C11577676 @default.
- W1560416507 hasConceptScore W1560416507C185592680 @default.
- W1560416507 hasConceptScore W1560416507C204241405 @default.
- W1560416507 hasConceptScore W1560416507C2524010 @default.
- W1560416507 hasConceptScore W1560416507C33923547 @default.
- W1560416507 hasConceptScore W1560416507C41008148 @default.
- W1560416507 hasConceptScore W1560416507C55493867 @default.
- W1560416507 hasConceptScore W1560416507C80444323 @default.
- W1560416507 hasLocation W15604165071 @default.
- W1560416507 hasLocation W15604165072 @default.
- W1560416507 hasOpenAccess W1560416507 @default.
- W1560416507 hasPrimaryLocation W15604165071 @default.
- W1560416507 hasRelatedWork W1501252054 @default.
- W1560416507 hasRelatedWork W1560416507 @default.
- W1560416507 hasRelatedWork W2012370087 @default.
- W1560416507 hasRelatedWork W2052465513 @default.
- W1560416507 hasRelatedWork W2335520227 @default.
- W1560416507 hasRelatedWork W2354435840 @default.
- W1560416507 hasRelatedWork W2365767001 @default.
- W1560416507 hasRelatedWork W2379147087 @default.
- W1560416507 hasRelatedWork W2560295922 @default.
- W1560416507 hasRelatedWork W2247596074 @default.
- W1560416507 isParatext "false" @default.
- W1560416507 isRetracted "false" @default.
- W1560416507 magId "1560416507" @default.
- W1560416507 workType "book-chapter" @default.