Matches in SemOpenAlex for { <https://semopenalex.org/work/W1879651191> ?p ?o ?g. }
- W1879651191 endingPage "197" @default.
- W1879651191 startingPage "161" @default.
- W1879651191 abstract "Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a first step; this leads to a modular implementation, which can support circuit synthesis by possibly avoiding state explosion or allowing the use of library elements.In a previous paper, the originalmethod was extended and shown to bemuchmore generally applicable than known before. But further extensions are necessary, and some are presented in this paper. In particular, to avoid dynamic auto-conflicts, the previous paper insisted on avoiding structural autoconflicts, which is too restrictive; as a main contribution, we show how to work with the latter type of auto-conflicts. This extension makes it necessary to restructure presentation and correctness proof of the decomposition algorithm." @default.
- W1879651191 created "2016-06-24" @default.
- W1879651191 creator A5068573305 @default.
- W1879651191 creator A5071028019 @default.
- W1879651191 date "2007-09-01" @default.
- W1879651191 modified "2023-09-23" @default.
- W1879651191 title "Improved Decomposition of Signal Transition Graphs" @default.
- W1879651191 cites W1491226430 @default.
- W1879651191 cites W1497306831 @default.
- W1879651191 cites W1507224296 @default.
- W1879651191 cites W1554812212 @default.
- W1879651191 cites W1577703360 @default.
- W1879651191 cites W2016259411 @default.
- W1879651191 cites W2040767166 @default.
- W1879651191 cites W2062098461 @default.
- W1879651191 cites W2102665528 @default.
- W1879651191 cites W2116862168 @default.
- W1879651191 cites W2148142689 @default.
- W1879651191 cites W2160823654 @default.
- W1879651191 cites W2171100517 @default.
- W1879651191 cites W2209521733 @default.
- W1879651191 cites W2536046673 @default.
- W1879651191 cites W2611515161 @default.
- W1879651191 cites W2734029823 @default.
- W1879651191 cites W9756089 @default.
- W1879651191 hasPublicationYear "2007" @default.
- W1879651191 type Work @default.
- W1879651191 sameAs 1879651191 @default.
- W1879651191 citedByCount "14" @default.
- W1879651191 countsByYear W18796511912012 @default.
- W1879651191 countsByYear W18796511912013 @default.
- W1879651191 countsByYear W18796511912016 @default.
- W1879651191 countsByYear W18796511912017 @default.
- W1879651191 countsByYear W18796511912018 @default.
- W1879651191 crossrefType "journal-article" @default.
- W1879651191 hasAuthorship W1879651191A5068573305 @default.
- W1879651191 hasAuthorship W1879651191A5071028019 @default.
- W1879651191 hasConcept C101468663 @default.
- W1879651191 hasConcept C11413529 @default.
- W1879651191 hasConcept C124681953 @default.
- W1879651191 hasConcept C131017901 @default.
- W1879651191 hasConcept C132525143 @default.
- W1879651191 hasConcept C134652429 @default.
- W1879651191 hasConcept C137059387 @default.
- W1879651191 hasConcept C151319957 @default.
- W1879651191 hasConcept C187075797 @default.
- W1879651191 hasConcept C187407849 @default.
- W1879651191 hasConcept C18903297 @default.
- W1879651191 hasConcept C199360897 @default.
- W1879651191 hasConcept C203776342 @default.
- W1879651191 hasConcept C2778029271 @default.
- W1879651191 hasConcept C2779843651 @default.
- W1879651191 hasConcept C31258907 @default.
- W1879651191 hasConcept C38677869 @default.
- W1879651191 hasConcept C41008148 @default.
- W1879651191 hasConcept C42196554 @default.
- W1879651191 hasConcept C43517604 @default.
- W1879651191 hasConcept C48103436 @default.
- W1879651191 hasConcept C55439883 @default.
- W1879651191 hasConcept C76155785 @default.
- W1879651191 hasConcept C80444323 @default.
- W1879651191 hasConcept C86803240 @default.
- W1879651191 hasConcept C87695204 @default.
- W1879651191 hasConceptScore W1879651191C101468663 @default.
- W1879651191 hasConceptScore W1879651191C11413529 @default.
- W1879651191 hasConceptScore W1879651191C124681953 @default.
- W1879651191 hasConceptScore W1879651191C131017901 @default.
- W1879651191 hasConceptScore W1879651191C132525143 @default.
- W1879651191 hasConceptScore W1879651191C134652429 @default.
- W1879651191 hasConceptScore W1879651191C137059387 @default.
- W1879651191 hasConceptScore W1879651191C151319957 @default.
- W1879651191 hasConceptScore W1879651191C187075797 @default.
- W1879651191 hasConceptScore W1879651191C187407849 @default.
- W1879651191 hasConceptScore W1879651191C18903297 @default.
- W1879651191 hasConceptScore W1879651191C199360897 @default.
- W1879651191 hasConceptScore W1879651191C203776342 @default.
- W1879651191 hasConceptScore W1879651191C2778029271 @default.
- W1879651191 hasConceptScore W1879651191C2779843651 @default.
- W1879651191 hasConceptScore W1879651191C31258907 @default.
- W1879651191 hasConceptScore W1879651191C38677869 @default.
- W1879651191 hasConceptScore W1879651191C41008148 @default.
- W1879651191 hasConceptScore W1879651191C42196554 @default.
- W1879651191 hasConceptScore W1879651191C43517604 @default.
- W1879651191 hasConceptScore W1879651191C48103436 @default.
- W1879651191 hasConceptScore W1879651191C55439883 @default.
- W1879651191 hasConceptScore W1879651191C76155785 @default.
- W1879651191 hasConceptScore W1879651191C80444323 @default.
- W1879651191 hasConceptScore W1879651191C86803240 @default.
- W1879651191 hasConceptScore W1879651191C87695204 @default.
- W1879651191 hasIssue "1" @default.
- W1879651191 hasOpenAccess W1879651191 @default.
- W1879651191 hasRelatedWork W1507224296 @default.
- W1879651191 hasRelatedWork W1522291454 @default.
- W1879651191 hasRelatedWork W153582804 @default.
- W1879651191 hasRelatedWork W1539546888 @default.
- W1879651191 hasRelatedWork W1554812212 @default.
- W1879651191 hasRelatedWork W1585465727 @default.
- W1879651191 hasRelatedWork W1996109622 @default.