Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065609898> ?p ?o ?g. }
- W2065609898 endingPage "6" @default.
- W2065609898 startingPage "1" @default.
- W2065609898 abstract "While synchronous system models have many advantages over asynchronous models concerning verification and validation, many implementation platforms do not provide efficient means for synchronization. For this reason, we consider a design flow that starts with a synchronous system model that is then transformed into an asynchronous one for synthesis. In essence, it partitions the synchronous system into a set of asynchronous components that communicate with each other via FIFO buffers. Of course, the synthesized system still has to behave as the original synchronous model, i.e., for each variable exactly the same flow of data values must be observed and only the membership to synchronous reaction steps is no longer explicitly given. In this paper, we prove that this correctness guarantee is given provided that (1) each component knows which of the input values have to be used for the next reaction (endochrony), (2) each component is able to perform the reaction (constructiveness), and (3) components agree on the clocks of their shared variables (isochrony/clock-consistency)." @default.
- W2065609898 created "2016-06-24" @default.
- W2065609898 creator A5051934623 @default.
- W2065609898 creator A5081184867 @default.
- W2065609898 date "2014-03-24" @default.
- W2065609898 modified "2023-10-14" @default.
- W2065609898 title "Isochronous networks by construction" @default.
- W2065609898 cites W1510132912 @default.
- W2065609898 cites W1524666448 @default.
- W2065609898 cites W1548666647 @default.
- W2065609898 cites W1785583892 @default.
- W2065609898 cites W1967224003 @default.
- W2065609898 cites W2055928880 @default.
- W2065609898 cites W2075052434 @default.
- W2065609898 cites W2093146112 @default.
- W2065609898 cites W2117987151 @default.
- W2065609898 cites W2127044011 @default.
- W2065609898 cites W2137541450 @default.
- W2065609898 cites W2140671914 @default.
- W2065609898 cites W2160566592 @default.
- W2065609898 cites W3184710042 @default.
- W2065609898 doi "https://doi.org/10.5555/2616606.2616797" @default.
- W2065609898 hasPublicationYear "2014" @default.
- W2065609898 type Work @default.
- W2065609898 sameAs 2065609898 @default.
- W2065609898 citedByCount "3" @default.
- W2065609898 countsByYear W20656098982021 @default.
- W2065609898 crossrefType "proceedings-article" @default.
- W2065609898 hasAuthorship W2065609898A5051934623 @default.
- W2065609898 hasAuthorship W2065609898A5081184867 @default.
- W2065609898 hasConcept C11413529 @default.
- W2065609898 hasConcept C120314980 @default.
- W2065609898 hasConcept C121332964 @default.
- W2065609898 hasConcept C127162648 @default.
- W2065609898 hasConcept C134306372 @default.
- W2065609898 hasConcept C151319957 @default.
- W2065609898 hasConcept C154945302 @default.
- W2065609898 hasConcept C168167062 @default.
- W2065609898 hasConcept C177264268 @default.
- W2065609898 hasConcept C182365436 @default.
- W2065609898 hasConcept C199360897 @default.
- W2065609898 hasConcept C2776436953 @default.
- W2065609898 hasConcept C2777145635 @default.
- W2065609898 hasConcept C2778562939 @default.
- W2065609898 hasConcept C31258907 @default.
- W2065609898 hasConcept C33923547 @default.
- W2065609898 hasConcept C41008148 @default.
- W2065609898 hasConcept C489000 @default.
- W2065609898 hasConcept C55439883 @default.
- W2065609898 hasConcept C77088390 @default.
- W2065609898 hasConcept C80444323 @default.
- W2065609898 hasConcept C97355855 @default.
- W2065609898 hasConceptScore W2065609898C11413529 @default.
- W2065609898 hasConceptScore W2065609898C120314980 @default.
- W2065609898 hasConceptScore W2065609898C121332964 @default.
- W2065609898 hasConceptScore W2065609898C127162648 @default.
- W2065609898 hasConceptScore W2065609898C134306372 @default.
- W2065609898 hasConceptScore W2065609898C151319957 @default.
- W2065609898 hasConceptScore W2065609898C154945302 @default.
- W2065609898 hasConceptScore W2065609898C168167062 @default.
- W2065609898 hasConceptScore W2065609898C177264268 @default.
- W2065609898 hasConceptScore W2065609898C182365436 @default.
- W2065609898 hasConceptScore W2065609898C199360897 @default.
- W2065609898 hasConceptScore W2065609898C2776436953 @default.
- W2065609898 hasConceptScore W2065609898C2777145635 @default.
- W2065609898 hasConceptScore W2065609898C2778562939 @default.
- W2065609898 hasConceptScore W2065609898C31258907 @default.
- W2065609898 hasConceptScore W2065609898C33923547 @default.
- W2065609898 hasConceptScore W2065609898C41008148 @default.
- W2065609898 hasConceptScore W2065609898C489000 @default.
- W2065609898 hasConceptScore W2065609898C55439883 @default.
- W2065609898 hasConceptScore W2065609898C77088390 @default.
- W2065609898 hasConceptScore W2065609898C80444323 @default.
- W2065609898 hasConceptScore W2065609898C97355855 @default.
- W2065609898 hasLocation W20656098981 @default.
- W2065609898 hasOpenAccess W2065609898 @default.
- W2065609898 hasPrimaryLocation W20656098981 @default.
- W2065609898 hasRelatedWork W1497036257 @default.
- W2065609898 hasRelatedWork W1497538313 @default.
- W2065609898 hasRelatedWork W1577276539 @default.
- W2065609898 hasRelatedWork W1579488146 @default.
- W2065609898 hasRelatedWork W1994119396 @default.
- W2065609898 hasRelatedWork W2006786627 @default.
- W2065609898 hasRelatedWork W2010784157 @default.
- W2065609898 hasRelatedWork W2023074252 @default.
- W2065609898 hasRelatedWork W2024236739 @default.
- W2065609898 hasRelatedWork W2037762696 @default.
- W2065609898 hasRelatedWork W2087979599 @default.
- W2065609898 hasRelatedWork W2097053439 @default.
- W2065609898 hasRelatedWork W2108274138 @default.
- W2065609898 hasRelatedWork W2146307966 @default.
- W2065609898 hasRelatedWork W2151293363 @default.
- W2065609898 hasRelatedWork W2161123813 @default.
- W2065609898 hasRelatedWork W2603978183 @default.
- W2065609898 hasRelatedWork W2952077876 @default.
- W2065609898 hasRelatedWork W3201909554 @default.
- W2065609898 hasRelatedWork W2184267984 @default.
- W2065609898 isParatext "false" @default.