Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140806058> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2140806058 abstract "Signal transition graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent and complete binary encoding. Checking this is EXPSPACE-hard for arbitrary STGs, and so a lot of attention has been devoted to the subclass of free-choice STGs, which offers a good compromise between expressive power and analyzability. In the last years, polynomial time synthesis techniques have been developed for free-choice STGs, but they assume that the STG has a consistent binary encoding. The first polynomial algorithm for checking consistency is presented here." @default.
- W2140806058 created "2016-06-24" @default.
- W2140806058 creator A5090378914 @default.
- W2140806058 date "2004-03-22" @default.
- W2140806058 modified "2023-09-26" @default.
- W2140806058 title "A polynomial-time algorithm for checking consistency of free-choice signal transition graphs" @default.
- W2140806058 cites W1491226430 @default.
- W2140806058 cites W1551214605 @default.
- W2140806058 cites W1554812212 @default.
- W2140806058 cites W1852312881 @default.
- W2140806058 cites W1966992415 @default.
- W2140806058 cites W2011589240 @default.
- W2140806058 cites W2030913109 @default.
- W2140806058 cites W2040767166 @default.
- W2140806058 cites W2105627086 @default.
- W2140806058 cites W2109257065 @default.
- W2140806058 cites W2113355185 @default.
- W2140806058 cites W2120519502 @default.
- W2140806058 cites W2129466958 @default.
- W2140806058 cites W2135669900 @default.
- W2140806058 cites W2153257335 @default.
- W2140806058 cites W2160823654 @default.
- W2140806058 cites W2167188059 @default.
- W2140806058 cites W2542114157 @default.
- W2140806058 cites W3148038578 @default.
- W2140806058 cites W2163227916 @default.
- W2140806058 cites W2485149744 @default.
- W2140806058 doi "https://doi.org/10.1109/csd.2003.1207700" @default.
- W2140806058 hasPublicationYear "2004" @default.
- W2140806058 type Work @default.
- W2140806058 sameAs 2140806058 @default.
- W2140806058 citedByCount "2" @default.
- W2140806058 crossrefType "proceedings-article" @default.
- W2140806058 hasAuthorship W2140806058A5090378914 @default.
- W2140806058 hasConcept C11413529 @default.
- W2140806058 hasConcept C118615104 @default.
- W2140806058 hasConcept C125411270 @default.
- W2140806058 hasConcept C134306372 @default.
- W2140806058 hasConcept C151319957 @default.
- W2140806058 hasConcept C154945302 @default.
- W2140806058 hasConcept C199360897 @default.
- W2140806058 hasConcept C2776436953 @default.
- W2140806058 hasConcept C2778029271 @default.
- W2140806058 hasConcept C311688 @default.
- W2140806058 hasConcept C31258907 @default.
- W2140806058 hasConcept C33923547 @default.
- W2140806058 hasConcept C41008148 @default.
- W2140806058 hasConcept C48372109 @default.
- W2140806058 hasConcept C90119067 @default.
- W2140806058 hasConcept C94375191 @default.
- W2140806058 hasConceptScore W2140806058C11413529 @default.
- W2140806058 hasConceptScore W2140806058C118615104 @default.
- W2140806058 hasConceptScore W2140806058C125411270 @default.
- W2140806058 hasConceptScore W2140806058C134306372 @default.
- W2140806058 hasConceptScore W2140806058C151319957 @default.
- W2140806058 hasConceptScore W2140806058C154945302 @default.
- W2140806058 hasConceptScore W2140806058C199360897 @default.
- W2140806058 hasConceptScore W2140806058C2776436953 @default.
- W2140806058 hasConceptScore W2140806058C2778029271 @default.
- W2140806058 hasConceptScore W2140806058C311688 @default.
- W2140806058 hasConceptScore W2140806058C31258907 @default.
- W2140806058 hasConceptScore W2140806058C33923547 @default.
- W2140806058 hasConceptScore W2140806058C41008148 @default.
- W2140806058 hasConceptScore W2140806058C48372109 @default.
- W2140806058 hasConceptScore W2140806058C90119067 @default.
- W2140806058 hasConceptScore W2140806058C94375191 @default.
- W2140806058 hasLocation W21408060581 @default.
- W2140806058 hasOpenAccess W2140806058 @default.
- W2140806058 hasPrimaryLocation W21408060581 @default.
- W2140806058 hasRelatedWork W1507479492 @default.
- W2140806058 hasRelatedWork W1547855370 @default.
- W2140806058 hasRelatedWork W1556018967 @default.
- W2140806058 hasRelatedWork W1570669451 @default.
- W2140806058 hasRelatedWork W1574850141 @default.
- W2140806058 hasRelatedWork W1593736126 @default.
- W2140806058 hasRelatedWork W1602995535 @default.
- W2140806058 hasRelatedWork W1813719546 @default.
- W2140806058 hasRelatedWork W1898783984 @default.
- W2140806058 hasRelatedWork W1976278643 @default.
- W2140806058 hasRelatedWork W2099120582 @default.
- W2140806058 hasRelatedWork W2104835800 @default.
- W2140806058 hasRelatedWork W2114036236 @default.
- W2140806058 hasRelatedWork W2128553025 @default.
- W2140806058 hasRelatedWork W2143289234 @default.
- W2140806058 hasRelatedWork W2269948548 @default.
- W2140806058 hasRelatedWork W2323839963 @default.
- W2140806058 hasRelatedWork W2337119313 @default.
- W2140806058 hasRelatedWork W3177466645 @default.
- W2140806058 hasRelatedWork W75340041 @default.
- W2140806058 isParatext "false" @default.
- W2140806058 isRetracted "false" @default.
- W2140806058 magId "2140806058" @default.
- W2140806058 workType "article" @default.