Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566001964> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1566001964 abstract "The synthesis of asynchronous circuits from STGs involves the resolution of encoding conflicts by means of refining the STG specification. The refinement process is generally done automatically using heuristics and offers little or no feedback to the designer making it difficult to intervene. Better synthesis solutions are obtained by involving human knowledge into the process. A framework is presented for an interactive refinement aimed to help the designer. It is based on the visualisation of several types of conflict cores, showing the cause of the encoding conflicts, which are presented at the level of finite and complete prefixes of the STG unfolding." @default.
- W1566001964 created "2016-06-24" @default.
- W1566001964 creator A5008744860 @default.
- W1566001964 creator A5029446985 @default.
- W1566001964 creator A5072518922 @default.
- W1566001964 date "2006-01-01" @default.
- W1566001964 modified "2023-09-26" @default.
- W1566001964 title "Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings" @default.
- W1566001964 cites W1504939165 @default.
- W1566001964 cites W1513324186 @default.
- W1566001964 cites W1531255169 @default.
- W1566001964 cites W1554812212 @default.
- W1566001964 cites W1634760171 @default.
- W1566001964 cites W2102370618 @default.
- W1566001964 cites W2109719421 @default.
- W1566001964 cites W2111221313 @default.
- W1566001964 cites W2115252042 @default.
- W1566001964 cites W2127352643 @default.
- W1566001964 cites W2157443744 @default.
- W1566001964 cites W2124109386 @default.
- W1566001964 cites W2938325012 @default.
- W1566001964 hasPublicationYear "2006" @default.
- W1566001964 type Work @default.
- W1566001964 sameAs 1566001964 @default.
- W1566001964 citedByCount "0" @default.
- W1566001964 crossrefType "journal-article" @default.
- W1566001964 hasAuthorship W1566001964A5008744860 @default.
- W1566001964 hasAuthorship W1566001964A5029446985 @default.
- W1566001964 hasAuthorship W1566001964A5072518922 @default.
- W1566001964 hasConcept C111919701 @default.
- W1566001964 hasConcept C125411270 @default.
- W1566001964 hasConcept C127705205 @default.
- W1566001964 hasConcept C138268822 @default.
- W1566001964 hasConcept C138885662 @default.
- W1566001964 hasConcept C141603448 @default.
- W1566001964 hasConcept C151319957 @default.
- W1566001964 hasConcept C154945302 @default.
- W1566001964 hasConcept C173608175 @default.
- W1566001964 hasConcept C199360897 @default.
- W1566001964 hasConcept C31258907 @default.
- W1566001964 hasConcept C41008148 @default.
- W1566001964 hasConcept C41895202 @default.
- W1566001964 hasConcept C80444323 @default.
- W1566001964 hasConcept C98045186 @default.
- W1566001964 hasConceptScore W1566001964C111919701 @default.
- W1566001964 hasConceptScore W1566001964C125411270 @default.
- W1566001964 hasConceptScore W1566001964C127705205 @default.
- W1566001964 hasConceptScore W1566001964C138268822 @default.
- W1566001964 hasConceptScore W1566001964C138885662 @default.
- W1566001964 hasConceptScore W1566001964C141603448 @default.
- W1566001964 hasConceptScore W1566001964C151319957 @default.
- W1566001964 hasConceptScore W1566001964C154945302 @default.
- W1566001964 hasConceptScore W1566001964C173608175 @default.
- W1566001964 hasConceptScore W1566001964C199360897 @default.
- W1566001964 hasConceptScore W1566001964C31258907 @default.
- W1566001964 hasConceptScore W1566001964C41008148 @default.
- W1566001964 hasConceptScore W1566001964C41895202 @default.
- W1566001964 hasConceptScore W1566001964C80444323 @default.
- W1566001964 hasConceptScore W1566001964C98045186 @default.
- W1566001964 hasLocation W15660019641 @default.
- W1566001964 hasOpenAccess W1566001964 @default.
- W1566001964 hasPrimaryLocation W15660019641 @default.
- W1566001964 hasRelatedWork W2760214375 @default.
- W1566001964 isParatext "false" @default.
- W1566001964 isRetracted "false" @default.
- W1566001964 magId "1566001964" @default.
- W1566001964 workType "article" @default.