Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569260374> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1569260374 endingPage "767" @default.
- W1569260374 startingPage "761" @default.
- W1569260374 abstract "We have shown that it is possible mechanically to produce a highly efficient implementation tailored for execution on the AMT DAP 510 of a high-level functional specification. The functional specification is not biased in ways that would permit its efficient execution on a particular machine architecture, but is expressed in a way that gives a clear statement of the algorithm. Indeed, the functional specification may be used as the starting point for producing implementations tailored for execution on other machines (and will be used in this way in future investigations).The transformations used to produce the implementation discussed in this paper are not particular to this problem and are currently being applied in the transformation of functional specification for other algorithms where an implementation tailored for the DAP processor is required. However, there is still development work to be undertaken for these derivations. This includes tailoring the generated code for the compiler (for example, producing sectioned array operations) and tailoring for particular data sets (for example, sparse matrices or banded matrices).KeywordsFunctional SpecificationEfficient ImplementationArgonne National LaboratoryFunctional ProgrammingElement OperationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1569260374 created "2016-06-24" @default.
- W1569260374 creator A5003787025 @default.
- W1569260374 creator A5017565687 @default.
- W1569260374 creator A5042278739 @default.
- W1569260374 creator A5081793893 @default.
- W1569260374 date "1992-01-01" @default.
- W1569260374 modified "2023-09-23" @default.
- W1569260374 title "The construction of numerical mathematical software for the AMT DAP by program transformation" @default.
- W1569260374 cites W1489902298 @default.
- W1569260374 cites W1974489893 @default.
- W1569260374 cites W2013312952 @default.
- W1569260374 cites W2161998567 @default.
- W1569260374 cites W2169585337 @default.
- W1569260374 doi "https://doi.org/10.1007/3-540-55895-0_481" @default.
- W1569260374 hasPublicationYear "1992" @default.
- W1569260374 type Work @default.
- W1569260374 sameAs 1569260374 @default.
- W1569260374 citedByCount "5" @default.
- W1569260374 crossrefType "book-chapter" @default.
- W1569260374 hasAuthorship W1569260374A5003787025 @default.
- W1569260374 hasAuthorship W1569260374A5017565687 @default.
- W1569260374 hasAuthorship W1569260374A5042278739 @default.
- W1569260374 hasAuthorship W1569260374A5081793893 @default.
- W1569260374 hasBestOaLocation W15692603742 @default.
- W1569260374 hasConcept C104317684 @default.
- W1569260374 hasConcept C169590947 @default.
- W1569260374 hasConcept C173608175 @default.
- W1569260374 hasConcept C177264268 @default.
- W1569260374 hasConcept C17744445 @default.
- W1569260374 hasConcept C185592680 @default.
- W1569260374 hasConcept C199360897 @default.
- W1569260374 hasConcept C199539241 @default.
- W1569260374 hasConcept C204241405 @default.
- W1569260374 hasConcept C26713055 @default.
- W1569260374 hasConcept C2776760102 @default.
- W1569260374 hasConcept C2777026412 @default.
- W1569260374 hasConcept C2778361913 @default.
- W1569260374 hasConcept C41008148 @default.
- W1569260374 hasConcept C42383842 @default.
- W1569260374 hasConcept C55493867 @default.
- W1569260374 hasConcept C98045186 @default.
- W1569260374 hasConceptScore W1569260374C104317684 @default.
- W1569260374 hasConceptScore W1569260374C169590947 @default.
- W1569260374 hasConceptScore W1569260374C173608175 @default.
- W1569260374 hasConceptScore W1569260374C177264268 @default.
- W1569260374 hasConceptScore W1569260374C17744445 @default.
- W1569260374 hasConceptScore W1569260374C185592680 @default.
- W1569260374 hasConceptScore W1569260374C199360897 @default.
- W1569260374 hasConceptScore W1569260374C199539241 @default.
- W1569260374 hasConceptScore W1569260374C204241405 @default.
- W1569260374 hasConceptScore W1569260374C26713055 @default.
- W1569260374 hasConceptScore W1569260374C2776760102 @default.
- W1569260374 hasConceptScore W1569260374C2777026412 @default.
- W1569260374 hasConceptScore W1569260374C2778361913 @default.
- W1569260374 hasConceptScore W1569260374C41008148 @default.
- W1569260374 hasConceptScore W1569260374C42383842 @default.
- W1569260374 hasConceptScore W1569260374C55493867 @default.
- W1569260374 hasConceptScore W1569260374C98045186 @default.
- W1569260374 hasLocation W15692603741 @default.
- W1569260374 hasLocation W15692603742 @default.
- W1569260374 hasOpenAccess W1569260374 @default.
- W1569260374 hasPrimaryLocation W15692603741 @default.
- W1569260374 hasRelatedWork W135379672 @default.
- W1569260374 hasRelatedWork W1504651774 @default.
- W1569260374 hasRelatedWork W1575663121 @default.
- W1569260374 hasRelatedWork W1606566200 @default.
- W1569260374 hasRelatedWork W1608659702 @default.
- W1569260374 hasRelatedWork W1824798286 @default.
- W1569260374 hasRelatedWork W2048706733 @default.
- W1569260374 hasRelatedWork W2091813295 @default.
- W1569260374 hasRelatedWork W3140489580 @default.
- W1569260374 hasRelatedWork W2467097043 @default.
- W1569260374 isParatext "false" @default.
- W1569260374 isRetracted "false" @default.
- W1569260374 magId "1569260374" @default.
- W1569260374 workType "book-chapter" @default.