Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012300103> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2012300103 endingPage "440" @default.
- W2012300103 startingPage "440" @default.
- W2012300103 abstract "Logic synthesis of speed independent circuits based on signal transition graph (STG) decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible complete state coding conflicts. In earlier work, the authors showed how to resolve such conflicts by introducing internal communication between components, but only for very restricted specification structures. Here, they improve their former work by presenting algorithms for identifying delay transitions and inserting gyroscopes for specifications having a much more general structure. Thus, the authors are now able to synthesise controllers from real-life specifications. For all algorithms, they present correctness proofs and show their successful application to benchmarks, including very complex STGs arising in the context of control resynthesis." @default.
- W2012300103 created "2016-06-24" @default.
- W2012300103 creator A5043317758 @default.
- W2012300103 creator A5045297854 @default.
- W2012300103 creator A5068573305 @default.
- W2012300103 creator A5084095751 @default.
- W2012300103 date "2011-01-01" @default.
- W2012300103 modified "2023-09-27" @default.
- W2012300103 title "Signal transition graph decomposition: internal communication for speed independent circuit implementation" @default.
- W2012300103 cites W2035560780 @default.
- W2012300103 cites W2101455886 @default.
- W2012300103 cites W2115252042 @default.
- W2012300103 cites W2130434989 @default.
- W2012300103 cites W2143289234 @default.
- W2012300103 cites W2179661259 @default.
- W2012300103 cites W2623310446 @default.
- W2012300103 doi "https://doi.org/10.1049/iet-cdt.2010.0162" @default.
- W2012300103 hasPublicationYear "2011" @default.
- W2012300103 type Work @default.
- W2012300103 sameAs 2012300103 @default.
- W2012300103 citedByCount "4" @default.
- W2012300103 countsByYear W20123001032012 @default.
- W2012300103 countsByYear W20123001032015 @default.
- W2012300103 countsByYear W20123001032018 @default.
- W2012300103 crossrefType "journal-article" @default.
- W2012300103 hasAuthorship W2012300103A5043317758 @default.
- W2012300103 hasAuthorship W2012300103A5045297854 @default.
- W2012300103 hasAuthorship W2012300103A5068573305 @default.
- W2012300103 hasAuthorship W2012300103A5084095751 @default.
- W2012300103 hasConcept C105795698 @default.
- W2012300103 hasConcept C108710211 @default.
- W2012300103 hasConcept C11413529 @default.
- W2012300103 hasConcept C124681953 @default.
- W2012300103 hasConcept C132525143 @default.
- W2012300103 hasConcept C138885662 @default.
- W2012300103 hasConcept C173608175 @default.
- W2012300103 hasConcept C179518139 @default.
- W2012300103 hasConcept C18903297 @default.
- W2012300103 hasConcept C2524010 @default.
- W2012300103 hasConcept C2779808786 @default.
- W2012300103 hasConcept C33923547 @default.
- W2012300103 hasConcept C41008148 @default.
- W2012300103 hasConcept C41895202 @default.
- W2012300103 hasConcept C55439883 @default.
- W2012300103 hasConcept C72434380 @default.
- W2012300103 hasConcept C80444323 @default.
- W2012300103 hasConcept C86803240 @default.
- W2012300103 hasConceptScore W2012300103C105795698 @default.
- W2012300103 hasConceptScore W2012300103C108710211 @default.
- W2012300103 hasConceptScore W2012300103C11413529 @default.
- W2012300103 hasConceptScore W2012300103C124681953 @default.
- W2012300103 hasConceptScore W2012300103C132525143 @default.
- W2012300103 hasConceptScore W2012300103C138885662 @default.
- W2012300103 hasConceptScore W2012300103C173608175 @default.
- W2012300103 hasConceptScore W2012300103C179518139 @default.
- W2012300103 hasConceptScore W2012300103C18903297 @default.
- W2012300103 hasConceptScore W2012300103C2524010 @default.
- W2012300103 hasConceptScore W2012300103C2779808786 @default.
- W2012300103 hasConceptScore W2012300103C33923547 @default.
- W2012300103 hasConceptScore W2012300103C41008148 @default.
- W2012300103 hasConceptScore W2012300103C41895202 @default.
- W2012300103 hasConceptScore W2012300103C55439883 @default.
- W2012300103 hasConceptScore W2012300103C72434380 @default.
- W2012300103 hasConceptScore W2012300103C80444323 @default.
- W2012300103 hasConceptScore W2012300103C86803240 @default.
- W2012300103 hasIssue "6" @default.
- W2012300103 hasLocation W20123001031 @default.
- W2012300103 hasOpenAccess W2012300103 @default.
- W2012300103 hasPrimaryLocation W20123001031 @default.
- W2012300103 hasRelatedWork W1509211761 @default.
- W2012300103 hasRelatedWork W1517816648 @default.
- W2012300103 hasRelatedWork W1566412221 @default.
- W2012300103 hasRelatedWork W1589529336 @default.
- W2012300103 hasRelatedWork W2086460553 @default.
- W2012300103 hasRelatedWork W2156176624 @default.
- W2012300103 hasRelatedWork W2372170743 @default.
- W2012300103 hasRelatedWork W2582456645 @default.
- W2012300103 hasRelatedWork W4294734199 @default.
- W2012300103 hasRelatedWork W4316035610 @default.
- W2012300103 hasVolume "5" @default.
- W2012300103 isParatext "false" @default.
- W2012300103 isRetracted "false" @default.
- W2012300103 magId "2012300103" @default.
- W2012300103 workType "article" @default.