Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965389902> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1965389902 endingPage "1563" @default.
- W1965389902 startingPage "1556" @default.
- W1965389902 abstract "Complementary synthesis automatically synthesizes the decoder circuit of an encoder. It determines the existence of the decoder by checking whether the encoder's input can be uniquely determined by its output. However, this algorithm will not halt if the decoder does not exist. To solve this problem, a novel halting algorithm is proposed. For every path of the encoder, this algorithm first checks whether the encoder's input can be uniquely determined by its output. If yes, the decoder exists; otherwise, this algorithm checks if this path contains loops, which can be further unfolded to prove the non-existence of the decoder for all those longer paths. To illustrate its usefulness and efficiency, this algorithm has been run on several complex encoders, including PCI-E and Ethernet. Experimental results indicate that this algorithm always halts properly by distinguishing correct encoders from incorrect ones, and it is more than three times faster than previous ones." @default.
- W1965389902 created "2016-06-24" @default.
- W1965389902 creator A5013250925 @default.
- W1965389902 creator A5024379444 @default.
- W1965389902 creator A5025650722 @default.
- W1965389902 creator A5033128163 @default.
- W1965389902 creator A5073968910 @default.
- W1965389902 creator A5079156452 @default.
- W1965389902 date "2011-10-01" @default.
- W1965389902 modified "2023-09-26" @default.
- W1965389902 title "A Halting Algorithm to Determine the Existence of the Decoder" @default.
- W1965389902 cites W1819209966 @default.
- W1965389902 cites W1965389902 @default.
- W1965389902 cites W1973831620 @default.
- W1965389902 cites W2075773711 @default.
- W1965389902 cites W2099429154 @default.
- W1965389902 cites W2112433664 @default.
- W1965389902 cites W2132928765 @default.
- W1965389902 cites W2143934828 @default.
- W1965389902 cites W2166685488 @default.
- W1965389902 cites W3145349486 @default.
- W1965389902 cites W4229840182 @default.
- W1965389902 doi "https://doi.org/10.1109/tcad.2011.2159792" @default.
- W1965389902 hasPublicationYear "2011" @default.
- W1965389902 type Work @default.
- W1965389902 sameAs 1965389902 @default.
- W1965389902 citedByCount "7" @default.
- W1965389902 countsByYear W19653899022012 @default.
- W1965389902 countsByYear W19653899022013 @default.
- W1965389902 countsByYear W19653899022015 @default.
- W1965389902 crossrefType "journal-article" @default.
- W1965389902 hasAuthorship W1965389902A5013250925 @default.
- W1965389902 hasAuthorship W1965389902A5024379444 @default.
- W1965389902 hasAuthorship W1965389902A5025650722 @default.
- W1965389902 hasAuthorship W1965389902A5033128163 @default.
- W1965389902 hasAuthorship W1965389902A5073968910 @default.
- W1965389902 hasAuthorship W1965389902A5079156452 @default.
- W1965389902 hasConcept C111919701 @default.
- W1965389902 hasConcept C11413529 @default.
- W1965389902 hasConcept C118505674 @default.
- W1965389902 hasConcept C185588885 @default.
- W1965389902 hasConcept C199360897 @default.
- W1965389902 hasConcept C2777735758 @default.
- W1965389902 hasConcept C41008148 @default.
- W1965389902 hasConcept C57273362 @default.
- W1965389902 hasConceptScore W1965389902C111919701 @default.
- W1965389902 hasConceptScore W1965389902C11413529 @default.
- W1965389902 hasConceptScore W1965389902C118505674 @default.
- W1965389902 hasConceptScore W1965389902C185588885 @default.
- W1965389902 hasConceptScore W1965389902C199360897 @default.
- W1965389902 hasConceptScore W1965389902C2777735758 @default.
- W1965389902 hasConceptScore W1965389902C41008148 @default.
- W1965389902 hasConceptScore W1965389902C57273362 @default.
- W1965389902 hasIssue "10" @default.
- W1965389902 hasLocation W19653899021 @default.
- W1965389902 hasOpenAccess W1965389902 @default.
- W1965389902 hasPrimaryLocation W19653899021 @default.
- W1965389902 hasRelatedWork W1608273677 @default.
- W1965389902 hasRelatedWork W1950712214 @default.
- W1965389902 hasRelatedWork W2094199874 @default.
- W1965389902 hasRelatedWork W2123242809 @default.
- W1965389902 hasRelatedWork W2356119241 @default.
- W1965389902 hasRelatedWork W2367936931 @default.
- W1965389902 hasRelatedWork W2382868248 @default.
- W1965389902 hasRelatedWork W2391975280 @default.
- W1965389902 hasRelatedWork W2963609467 @default.
- W1965389902 hasRelatedWork W3147608432 @default.
- W1965389902 hasVolume "30" @default.
- W1965389902 isParatext "false" @default.
- W1965389902 isRetracted "false" @default.
- W1965389902 magId "1965389902" @default.
- W1965389902 workType "article" @default.