Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498135052> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1498135052 endingPage "46" @default.
- W1498135052 startingPage "39" @default.
- W1498135052 abstract "Abstract : The object of our research is the codification of programming knowledge for the synthesis of concurrent programs. This final report presents the derivation of two concurrent algorithms: dynamic programming (for the class of problems that run in polynomial time on sequential machines) and array multiplication. Both derived concurrent versions run in linear time. The concurrent versions are significant and complex algorithms, though they are not new and already have been reported in the literature. The synthesis knowledge for these derivations is embodied in seven synthesis rules, preliminary versions of which are presented in this report. The rules will probably generalize to other classes of algorithms but we have not explored that issue yet. We have also discovered a pair of techniques called virtualization and aggregation. This pair of techniques (plus the other seven rules) is shown to be powerful enough to synthesize Kung's systolic array architecture (Kung-76) from a specification of matrix multiplication." @default.
- W1498135052 created "2016-06-24" @default.
- W1498135052 creator A5024208582 @default.
- W1498135052 creator A5077191612 @default.
- W1498135052 creator A5090771074 @default.
- W1498135052 date "1982-09-01" @default.
- W1498135052 modified "2023-09-22" @default.
- W1498135052 title "Research on Synthesis of Concurrent Computing Systems." @default.
- W1498135052 hasPublicationYear "1982" @default.
- W1498135052 type Work @default.
- W1498135052 sameAs 1498135052 @default.
- W1498135052 citedByCount "3" @default.
- W1498135052 crossrefType "proceedings-article" @default.
- W1498135052 hasAuthorship W1498135052A5024208582 @default.
- W1498135052 hasAuthorship W1498135052A5077191612 @default.
- W1498135052 hasAuthorship W1498135052A5090771074 @default.
- W1498135052 hasConcept C11413529 @default.
- W1498135052 hasConcept C114614502 @default.
- W1498135052 hasConcept C121332964 @default.
- W1498135052 hasConcept C150495011 @default.
- W1498135052 hasConcept C154945302 @default.
- W1498135052 hasConcept C17349429 @default.
- W1498135052 hasConcept C173608175 @default.
- W1498135052 hasConcept C199360897 @default.
- W1498135052 hasConcept C2777212361 @default.
- W1498135052 hasConcept C2780595030 @default.
- W1498135052 hasConcept C2781238097 @default.
- W1498135052 hasConcept C311688 @default.
- W1498135052 hasConcept C33923547 @default.
- W1498135052 hasConcept C41008148 @default.
- W1498135052 hasConcept C62520636 @default.
- W1498135052 hasConcept C80444323 @default.
- W1498135052 hasConcept C84114770 @default.
- W1498135052 hasConceptScore W1498135052C11413529 @default.
- W1498135052 hasConceptScore W1498135052C114614502 @default.
- W1498135052 hasConceptScore W1498135052C121332964 @default.
- W1498135052 hasConceptScore W1498135052C150495011 @default.
- W1498135052 hasConceptScore W1498135052C154945302 @default.
- W1498135052 hasConceptScore W1498135052C17349429 @default.
- W1498135052 hasConceptScore W1498135052C173608175 @default.
- W1498135052 hasConceptScore W1498135052C199360897 @default.
- W1498135052 hasConceptScore W1498135052C2777212361 @default.
- W1498135052 hasConceptScore W1498135052C2780595030 @default.
- W1498135052 hasConceptScore W1498135052C2781238097 @default.
- W1498135052 hasConceptScore W1498135052C311688 @default.
- W1498135052 hasConceptScore W1498135052C33923547 @default.
- W1498135052 hasConceptScore W1498135052C41008148 @default.
- W1498135052 hasConceptScore W1498135052C62520636 @default.
- W1498135052 hasConceptScore W1498135052C80444323 @default.
- W1498135052 hasConceptScore W1498135052C84114770 @default.
- W1498135052 hasLocation W14981350521 @default.
- W1498135052 hasOpenAccess W1498135052 @default.
- W1498135052 hasPrimaryLocation W14981350521 @default.
- W1498135052 hasRelatedWork W12807312 @default.
- W1498135052 hasRelatedWork W1507044762 @default.
- W1498135052 hasRelatedWork W1748452786 @default.
- W1498135052 hasRelatedWork W1973678011 @default.
- W1498135052 hasRelatedWork W2020079500 @default.
- W1498135052 hasRelatedWork W2073932413 @default.
- W1498135052 hasRelatedWork W2074832286 @default.
- W1498135052 hasRelatedWork W2167845698 @default.
- W1498135052 hasRelatedWork W2301439743 @default.
- W1498135052 hasRelatedWork W24506900 @default.
- W1498135052 hasRelatedWork W2522304419 @default.
- W1498135052 hasRelatedWork W2539027192 @default.
- W1498135052 hasRelatedWork W2612872244 @default.
- W1498135052 hasRelatedWork W2763422028 @default.
- W1498135052 hasRelatedWork W2950995331 @default.
- W1498135052 hasRelatedWork W2964023786 @default.
- W1498135052 hasRelatedWork W3022646724 @default.
- W1498135052 hasRelatedWork W3041543526 @default.
- W1498135052 hasRelatedWork W3046362536 @default.
- W1498135052 hasRelatedWork W3205123744 @default.
- W1498135052 isParatext "false" @default.
- W1498135052 isRetracted "false" @default.
- W1498135052 magId "1498135052" @default.
- W1498135052 workType "article" @default.