FRINK Linked Data Fragments server

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

• W2170607867 endingPage "100" @default.
• W2170607867 startingPage "91" @default.
• W2170607867 abstract "Complementary synthesis automatically synthesizes the decoder circuit E−1 of an encoder E. It determines the existence of E−1 by checking the parameterized complementary condition (P C). However, this algorithm will not halt if E−1 does not exist. To solve this problem, we propose a novel halting algorithm to check P C in two steps. First, we over-approximate P C with the linear path unique condition (LP), and then falsify LP by searching for a loop-like path. If such a loop is found, then E−1 does not exist; otherwise, LP can eventually be proved within E's recurrence diameter. Second, with LP proved above, we construct a list of approximations that forms an onion-ring between PC and LP. The existence of E−1 can be proved by showing that E belongs to all these rings. To illustrate its usefulness, we have run our algorithm on several complex encoder circuits, including PCIE and 10G Ethernet. Experimental results show that our new algorithm always distinguishes correct Es from incorrect ones and halts properly." @default.
• W2170607867 created "2016-06-24" @default.
• W2170607867 creator A5013250925 @default.
• W2170607867 creator A5025650722 @default.
• W2170607867 creator A5073968910 @default.
• W2170607867 creator A5079156452 @default.
• W2170607867 date "2010-10-20" @default.
• W2170607867 modified "2023-09-22" @default.
• W2170607867 title "A halting algorithm to determine the existence of decoder" @default.
• W2170607867 cites W1495266209 @default.
• W2170607867 cites W1501731334 @default.
• W2170607867 cites W1518705996 @default.
• W2170607867 cites W1519020297 @default.
• W2170607867 cites W1533010253 @default.
• W2170607867 cites W1574125125 @default.
• W2170607867 cites W1582359184 @default.
• W2170607867 cites W1606824214 @default.
• W2170607867 cites W1608875152 @default.
• W2170607867 cites W1787074469 @default.
• W2170607867 cites W1816195096 @default.
• W2170607867 cites W1819209966 @default.
• W2170607867 cites W1973831620 @default.
• W2170607867 cites W2016206563 @default.
• W2170607867 cites W2040127143 @default.
• W2170607867 cites W2048051309 @default.
• W2170607867 cites W2075773711 @default.
• W2170607867 cites W2099429154 @default.
• W2170607867 cites W2112433664 @default.
• W2170607867 cites W2132928765 @default.
• W2170607867 cites W2142785340 @default.
• W2170607867 cites W2143934828 @default.
• W2170607867 cites W2154651204 @default.
• W2170607867 cites W2166685488 @default.
• W2170607867 cites W2167359460 @default.
• W2170607867 cites W2178626170 @default.
• W2170607867 cites W2912494578 @default.
• W2170607867 cites W2913026635 @default.
• W2170607867 cites W3023554972 @default.
• W2170607867 cites W1718751536 @default.
• W2170607867 cites W2611863566 @default.
• W2170607867 doi "https://doi.org/10.5555/1998496.1998516" @default.
• W2170607867 hasPublicationYear "2010" @default.
• W2170607867 type Work @default.
• W2170607867 sameAs 2170607867 @default.
• W2170607867 citedByCount "2" @default.
• W2170607867 crossrefType "proceedings-article" @default.
• W2170607867 hasAuthorship W2170607867A5013250925 @default.
• W2170607867 hasAuthorship W2170607867A5025650722 @default.
• W2170607867 hasAuthorship W2170607867A5073968910 @default.
• W2170607867 hasAuthorship W2170607867A5079156452 @default.
• W2170607867 hasConcept C111919701 @default.
• W2170607867 hasConcept C11413529 @default.
• W2170607867 hasConcept C114614502 @default.
• W2170607867 hasConcept C118505674 @default.
• W2170607867 hasConcept C165464430 @default.
• W2170607867 hasConcept C172173386 @default.
• W2170607867 hasConcept C178790620 @default.
• W2170607867 hasConcept C184670325 @default.
• W2170607867 hasConcept C185592680 @default.
• W2170607867 hasConcept C199360897 @default.
• W2170607867 hasConcept C2777735758 @default.
• W2170607867 hasConcept C2780378348 @default.
• W2170607867 hasConcept C2780801425 @default.
• W2170607867 hasConcept C33923547 @default.
• W2170607867 hasConcept C41008148 @default.
• W2170607867 hasConcept C9390403 @default.
• W2170607867 hasConceptScore W2170607867C111919701 @default.
• W2170607867 hasConceptScore W2170607867C11413529 @default.
• W2170607867 hasConceptScore W2170607867C114614502 @default.
• W2170607867 hasConceptScore W2170607867C118505674 @default.
• W2170607867 hasConceptScore W2170607867C165464430 @default.
• W2170607867 hasConceptScore W2170607867C172173386 @default.
• W2170607867 hasConceptScore W2170607867C178790620 @default.
• W2170607867 hasConceptScore W2170607867C184670325 @default.
• W2170607867 hasConceptScore W2170607867C185592680 @default.
• W2170607867 hasConceptScore W2170607867C199360897 @default.
• W2170607867 hasConceptScore W2170607867C2777735758 @default.
• W2170607867 hasConceptScore W2170607867C2780378348 @default.
• W2170607867 hasConceptScore W2170607867C2780801425 @default.
• W2170607867 hasConceptScore W2170607867C33923547 @default.
• W2170607867 hasConceptScore W2170607867C41008148 @default.
• W2170607867 hasConceptScore W2170607867C9390403 @default.
• W2170607867 hasLocation W21706078671 @default.
• W2170607867 hasOpenAccess W2170607867 @default.
• W2170607867 hasPrimaryLocation W21706078671 @default.
• W2170607867 hasRelatedWork W1810520346 @default.
• W2170607867 hasRelatedWork W1917967022 @default.
• W2170607867 hasRelatedWork W1987944605 @default.
• W2170607867 hasRelatedWork W1992482178 @default.
• W2170607867 hasRelatedWork W2011616225 @default.
• W2170607867 hasRelatedWork W2057331748 @default.
• W2170607867 hasRelatedWork W2099250760 @default.
• W2170607867 hasRelatedWork W2103586167 @default.
• W2170607867 hasRelatedWork W2116100695 @default.
• W2170607867 hasRelatedWork W2132871408 @default.
• W2170607867 hasRelatedWork W2166149255 @default.
• W2170607867 hasRelatedWork W2306345365 @default.
• W2170607867 hasRelatedWork W2769903157 @default.

• next