Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146334077> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2146334077 abstract "We consider the problem of checking whether an implementation which contains parts with incomplete information is equivalent to a given full specification. We study implementations which are not completely specified, but contain boxes which are associated with incompletely specified functions (called Incompletely Specified Boxes or IS-Boxes). After motivating the use of implementations with Incompletely Specified Boxes we define our notion of equivalence for this kind of implementations and present a method to solve the problem. A series of experimental results demonstrates the effectiveness and feasibility of the methods presented." @default.
- W2146334077 created "2016-06-24" @default.
- W2146334077 creator A5002292119 @default.
- W2146334077 creator A5038861833 @default.
- W2146334077 date "2003-06-26" @default.
- W2146334077 modified "2023-09-25" @default.
- W2146334077 title "Checking equivalence for circuits containing incompletely specified boxes" @default.
- W2146334077 cites W1595607623 @default.
- W2146334077 cites W1992006255 @default.
- W2146334077 cites W2030224590 @default.
- W2146334077 cites W2053446892 @default.
- W2146334077 cites W2061438988 @default.
- W2146334077 cites W2069560114 @default.
- W2146334077 cites W2080267935 @default.
- W2146334077 cites W2094831575 @default.
- W2146334077 cites W2098335680 @default.
- W2146334077 cites W2103375392 @default.
- W2146334077 cites W2110737535 @default.
- W2146334077 cites W2116242425 @default.
- W2146334077 cites W2117285997 @default.
- W2146334077 cites W2117783862 @default.
- W2146334077 cites W2120724211 @default.
- W2146334077 cites W2120925552 @default.
- W2146334077 cites W2121706505 @default.
- W2146334077 cites W2121989255 @default.
- W2146334077 cites W2123801402 @default.
- W2146334077 cites W2127271657 @default.
- W2146334077 cites W2129183345 @default.
- W2146334077 cites W2132967511 @default.
- W2146334077 cites W2139171217 @default.
- W2146334077 cites W2142785340 @default.
- W2146334077 cites W2149479807 @default.
- W2146334077 cites W2149968564 @default.
- W2146334077 cites W2155562553 @default.
- W2146334077 cites W2160444875 @default.
- W2146334077 cites W2161677825 @default.
- W2146334077 cites W3147914313 @default.
- W2146334077 doi "https://doi.org/10.1109/iccd.2002.1106748" @default.
- W2146334077 hasPublicationYear "2003" @default.
- W2146334077 type Work @default.
- W2146334077 sameAs 2146334077 @default.
- W2146334077 citedByCount "8" @default.
- W2146334077 countsByYear W21463340772013 @default.
- W2146334077 countsByYear W21463340772015 @default.
- W2146334077 crossrefType "proceedings-article" @default.
- W2146334077 hasAuthorship W2146334077A5002292119 @default.
- W2146334077 hasAuthorship W2146334077A5038861833 @default.
- W2146334077 hasConcept C111498074 @default.
- W2146334077 hasConcept C11413529 @default.
- W2146334077 hasConcept C118615104 @default.
- W2146334077 hasConcept C199360897 @default.
- W2146334077 hasConcept C26713055 @default.
- W2146334077 hasConcept C2780069185 @default.
- W2146334077 hasConcept C33923547 @default.
- W2146334077 hasConcept C41008148 @default.
- W2146334077 hasConcept C70846408 @default.
- W2146334077 hasConcept C80444323 @default.
- W2146334077 hasConcept C96654402 @default.
- W2146334077 hasConceptScore W2146334077C111498074 @default.
- W2146334077 hasConceptScore W2146334077C11413529 @default.
- W2146334077 hasConceptScore W2146334077C118615104 @default.
- W2146334077 hasConceptScore W2146334077C199360897 @default.
- W2146334077 hasConceptScore W2146334077C26713055 @default.
- W2146334077 hasConceptScore W2146334077C2780069185 @default.
- W2146334077 hasConceptScore W2146334077C33923547 @default.
- W2146334077 hasConceptScore W2146334077C41008148 @default.
- W2146334077 hasConceptScore W2146334077C70846408 @default.
- W2146334077 hasConceptScore W2146334077C80444323 @default.
- W2146334077 hasConceptScore W2146334077C96654402 @default.
- W2146334077 hasLocation W21463340771 @default.
- W2146334077 hasOpenAccess W2146334077 @default.
- W2146334077 hasPrimaryLocation W21463340771 @default.
- W2146334077 hasRelatedWork W100574688 @default.
- W2146334077 hasRelatedWork W1496882086 @default.
- W2146334077 hasRelatedWork W1604839858 @default.
- W2146334077 hasRelatedWork W1979898625 @default.
- W2146334077 hasRelatedWork W2007436859 @default.
- W2146334077 hasRelatedWork W2031279738 @default.
- W2146334077 hasRelatedWork W2054215209 @default.
- W2146334077 hasRelatedWork W2078076811 @default.
- W2146334077 hasRelatedWork W2115941521 @default.
- W2146334077 hasRelatedWork W2121706505 @default.
- W2146334077 hasRelatedWork W2125763413 @default.
- W2146334077 hasRelatedWork W2129052258 @default.
- W2146334077 hasRelatedWork W2139171217 @default.
- W2146334077 hasRelatedWork W2140132043 @default.
- W2146334077 hasRelatedWork W2167659005 @default.
- W2146334077 hasRelatedWork W2356825047 @default.
- W2146334077 hasRelatedWork W2367407624 @default.
- W2146334077 hasRelatedWork W2603868029 @default.
- W2146334077 hasRelatedWork W3151969339 @default.
- W2146334077 hasRelatedWork W3022246528 @default.
- W2146334077 isParatext "false" @default.
- W2146334077 isRetracted "false" @default.
- W2146334077 magId "2146334077" @default.
- W2146334077 workType "article" @default.