FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528032811> ?p ?o ?g. }

• W1528032811 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 original method was extended and shown to be much more generally applicable than known before. But further extensions are necessary, and some are presented here, e.g.: to avoid dynamic auto-conflicts, the previous paper insisted on avoiding structural auto-conflicts, which is too restrictive; we show how to work with the latter type of auto-conflicts. This and another simple extension makes it necessary to restructure presentation and correctness proof of the decomposition algorithm." @default.
• W1528032811 created "2016-06-24" @default.
• W1528032811 creator A5068573305 @default.
• W1528032811 creator A5071028019 @default.
• W1528032811 date "2006-10-11" @default.
• W1528032811 modified "2023-09-26" @default.
• W1528032811 title "Improved Decomposition of STGs" @default.
• W1528032811 cites W1507224296 @default.
• W1528032811 cites W1539546888 @default.
• W1528032811 cites W1554812212 @default.
• W1528032811 cites W1577703360 @default.
• W1528032811 cites W1666753730 @default.
• W1528032811 cites W2102665528 @default.
• W1528032811 cites W2143289234 @default.
• W1528032811 cites W2148142689 @default.
• W1528032811 cites W2160823654 @default.
• W1528032811 cites W2209521733 @default.
• W1528032811 doi "https://doi.org/10.1109/acsd.2005.21" @default.
• W1528032811 hasPublicationYear "2006" @default.
• W1528032811 type Work @default.
• W1528032811 sameAs 1528032811 @default.
• W1528032811 citedByCount "0" @default.
• W1528032811 crossrefType "proceedings-article" @default.
• W1528032811 hasAuthorship W1528032811A5068573305 @default.
• W1528032811 hasAuthorship W1528032811A5071028019 @default.
• W1528032811 hasConcept C101468663 @default.
• W1528032811 hasConcept C111472728 @default.
• W1528032811 hasConcept C11413529 @default.
• W1528032811 hasConcept C124681953 @default.
• W1528032811 hasConcept C131017901 @default.
• W1528032811 hasConcept C132525143 @default.
• W1528032811 hasConcept C134652429 @default.
• W1528032811 hasConcept C137059387 @default.
• W1528032811 hasConcept C138885662 @default.
• W1528032811 hasConcept C151319957 @default.
• W1528032811 hasConcept C187075797 @default.
• W1528032811 hasConcept C187407849 @default.
• W1528032811 hasConcept C18903297 @default.
• W1528032811 hasConcept C199360897 @default.
• W1528032811 hasConcept C203776342 @default.
• W1528032811 hasConcept C2778029271 @default.
• W1528032811 hasConcept C2780586882 @default.
• W1528032811 hasConcept C31258907 @default.
• W1528032811 hasConcept C38677869 @default.
• W1528032811 hasConcept C41008148 @default.
• W1528032811 hasConcept C42196554 @default.
• W1528032811 hasConcept C43517604 @default.
• W1528032811 hasConcept C48103436 @default.
• W1528032811 hasConcept C55439883 @default.
• W1528032811 hasConcept C76155785 @default.
• W1528032811 hasConcept C80444323 @default.
• W1528032811 hasConcept C86803240 @default.
• W1528032811 hasConcept C87695204 @default.
• W1528032811 hasConceptScore W1528032811C101468663 @default.
• W1528032811 hasConceptScore W1528032811C111472728 @default.
• W1528032811 hasConceptScore W1528032811C11413529 @default.
• W1528032811 hasConceptScore W1528032811C124681953 @default.
• W1528032811 hasConceptScore W1528032811C131017901 @default.
• W1528032811 hasConceptScore W1528032811C132525143 @default.
• W1528032811 hasConceptScore W1528032811C134652429 @default.
• W1528032811 hasConceptScore W1528032811C137059387 @default.
• W1528032811 hasConceptScore W1528032811C138885662 @default.
• W1528032811 hasConceptScore W1528032811C151319957 @default.
• W1528032811 hasConceptScore W1528032811C187075797 @default.
• W1528032811 hasConceptScore W1528032811C187407849 @default.
• W1528032811 hasConceptScore W1528032811C18903297 @default.
• W1528032811 hasConceptScore W1528032811C199360897 @default.
• W1528032811 hasConceptScore W1528032811C203776342 @default.
• W1528032811 hasConceptScore W1528032811C2778029271 @default.
• W1528032811 hasConceptScore W1528032811C2780586882 @default.
• W1528032811 hasConceptScore W1528032811C31258907 @default.
• W1528032811 hasConceptScore W1528032811C38677869 @default.
• W1528032811 hasConceptScore W1528032811C41008148 @default.
• W1528032811 hasConceptScore W1528032811C42196554 @default.
• W1528032811 hasConceptScore W1528032811C43517604 @default.
• W1528032811 hasConceptScore W1528032811C48103436 @default.
• W1528032811 hasConceptScore W1528032811C55439883 @default.
• W1528032811 hasConceptScore W1528032811C76155785 @default.
• W1528032811 hasConceptScore W1528032811C80444323 @default.
• W1528032811 hasConceptScore W1528032811C86803240 @default.
• W1528032811 hasConceptScore W1528032811C87695204 @default.
• W1528032811 hasLocation W15280328111 @default.
• W1528032811 hasOpenAccess W1528032811 @default.
• W1528032811 hasPrimaryLocation W15280328111 @default.
• W1528032811 hasRelatedWork W1483960971 @default.
• W1528032811 hasRelatedWork W1489383421 @default.
• W1528032811 hasRelatedWork W1510132912 @default.
• W1528032811 hasRelatedWork W1546495165 @default.
• W1528032811 hasRelatedWork W1572955246 @default.
• W1528032811 hasRelatedWork W1917332554 @default.
• W1528032811 hasRelatedWork W1973590197 @default.
• W1528032811 hasRelatedWork W1989849441 @default.
• W1528032811 hasRelatedWork W1999719510 @default.
• W1528032811 hasRelatedWork W2000106464 @default.
• W1528032811 hasRelatedWork W2028074529 @default.
• W1528032811 hasRelatedWork W2031833578 @default.
• W1528032811 hasRelatedWork W2061679993 @default.
• W1528032811 hasRelatedWork W2066693728 @default.
• W1528032811 hasRelatedWork W2125965694 @default.
• W1528032811 hasRelatedWork W2126740630 @default.

• next