Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552136405> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1552136405 endingPage "723" @default.
- W1552136405 startingPage "716" @default.
- W1552136405 abstract "Three types of ternary decision diagrams (TDDs) are considered: AND-TDDs, EXOR-TDDs, and Kleene-TDDs. Kleene-TDDs are useful for logic simulation in the presence of unknown inputs. Let N(BDD:f), N(AND-TDD:f), and N(EXOR-TDD:f) be the number of non-terminal nodes in the BDD, the AND-TDD, and the EXOR-TDD for f, respectively. Let N(Kleene-TDD:F) be the number of non-terminal nodes in the Kleene-TDD for F, where F is the Kleenean ternary function corresponding to f. Then N(BDD:f)/spl les/N(TDD:f). For parity functions, N(BDD:f)=N(AND-TDD:f)=N(EXOR-TDD:f)=N(Kleene-TDD:F). For unate functions, N(BDD:f)=N(AND-TDD:f). The sizes of Kleene-TDDs are O(3/sup n//n), and O(n/sup 3/) for arbitrary functions, and symmetric functions, respectively. There exist a 2n-variable function, where Kleene-TD Ds require O(n) nodes with the best order, while O(3/sup n/) nodes in the worst order." @default.
- W1552136405 created "2016-06-24" @default.
- W1552136405 creator A5061512240 @default.
- W1552136405 creator A5063438852 @default.
- W1552136405 creator A5091326359 @default.
- W1552136405 date "1998-07-25" @default.
- W1552136405 modified "2023-09-24" @default.
- W1552136405 title "On Properties of Kleene TDDs" @default.
- W1552136405 hasPublicationYear "1998" @default.
- W1552136405 type Work @default.
- W1552136405 sameAs 1552136405 @default.
- W1552136405 citedByCount "5" @default.
- W1552136405 crossrefType "journal-article" @default.
- W1552136405 hasAuthorship W1552136405A5061512240 @default.
- W1552136405 hasAuthorship W1552136405A5063438852 @default.
- W1552136405 hasAuthorship W1552136405A5091326359 @default.
- W1552136405 hasConcept C11413529 @default.
- W1552136405 hasConcept C114614502 @default.
- W1552136405 hasConcept C118615104 @default.
- W1552136405 hasConcept C121332964 @default.
- W1552136405 hasConcept C14036430 @default.
- W1552136405 hasConcept C199360897 @default.
- W1552136405 hasConcept C33923547 @default.
- W1552136405 hasConcept C41008148 @default.
- W1552136405 hasConcept C64452783 @default.
- W1552136405 hasConcept C78458016 @default.
- W1552136405 hasConcept C86803240 @default.
- W1552136405 hasConceptScore W1552136405C11413529 @default.
- W1552136405 hasConceptScore W1552136405C114614502 @default.
- W1552136405 hasConceptScore W1552136405C118615104 @default.
- W1552136405 hasConceptScore W1552136405C121332964 @default.
- W1552136405 hasConceptScore W1552136405C14036430 @default.
- W1552136405 hasConceptScore W1552136405C199360897 @default.
- W1552136405 hasConceptScore W1552136405C33923547 @default.
- W1552136405 hasConceptScore W1552136405C41008148 @default.
- W1552136405 hasConceptScore W1552136405C64452783 @default.
- W1552136405 hasConceptScore W1552136405C78458016 @default.
- W1552136405 hasConceptScore W1552136405C86803240 @default.
- W1552136405 hasIssue "7" @default.
- W1552136405 hasLocation W15521364051 @default.
- W1552136405 hasOpenAccess W1552136405 @default.
- W1552136405 hasPrimaryLocation W15521364051 @default.
- W1552136405 hasRelatedWork W1491388524 @default.
- W1552136405 hasRelatedWork W1526667530 @default.
- W1552136405 hasRelatedWork W1566753984 @default.
- W1552136405 hasRelatedWork W1589922446 @default.
- W1552136405 hasRelatedWork W2466056838 @default.
- W1552136405 hasRelatedWork W125459504 @default.
- W1552136405 hasVolume "81" @default.
- W1552136405 isParatext "false" @default.
- W1552136405 isRetracted "false" @default.
- W1552136405 magId "1552136405" @default.
- W1552136405 workType "article" @default.