Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108766619> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2108766619 abstract "Multiplicative Binary Moment Diagrams (*BMDs) have recently been introduced as a data structure for verification. Using *BMDs it was for the first time possible to verify multiplier circuits with up to 256 bits. In this paper we use a modification of *BMDs, called positive *BMDs (p*BMDs), that allows to apply dynamic variable ordering, that is the most promising minimization technique for decision diagrams, to *BMDs. Furthermore, we study *BMDs representing Boolean functions. We show that in this case for some operations polynomial algorithms can be given, while the general case of integer-valued functions requires exponential effort. Experimental results demonstrate that p*BMDs clearly outperform *BMDs with respect to runtime during dynamic minimization, while keeping (nearly) all advantages." @default.
- W2108766619 created "2016-06-24" @default.
- W2108766619 creator A5071742136 @default.
- W2108766619 creator A5075414052 @default.
- W2108766619 date "2002-11-27" @default.
- W2108766619 modified "2023-10-14" @default.
- W2108766619 title "Manipulation of *BMDs" @default.
- W2108766619 cites W1526402628 @default.
- W2108766619 cites W1543683771 @default.
- W2108766619 cites W1595607623 @default.
- W2108766619 cites W2080267935 @default.
- W2108766619 cites W2095826301 @default.
- W2108766619 cites W2108016168 @default.
- W2108766619 cites W2113598105 @default.
- W2108766619 cites W2119209999 @default.
- W2108766619 cites W2120724211 @default.
- W2108766619 cites W2127271657 @default.
- W2108766619 cites W2144491553 @default.
- W2108766619 cites W4239569538 @default.
- W2108766619 cites W4243649046 @default.
- W2108766619 cites W4243823432 @default.
- W2108766619 cites W4250470207 @default.
- W2108766619 cites W4252567157 @default.
- W2108766619 cites W4255413535 @default.
- W2108766619 cites W4250447890 @default.
- W2108766619 doi "https://doi.org/10.1109/aspdac.1998.669516" @default.
- W2108766619 hasPublicationYear "2002" @default.
- W2108766619 type Work @default.
- W2108766619 sameAs 2108766619 @default.
- W2108766619 citedByCount "6" @default.
- W2108766619 countsByYear W21087666192022 @default.
- W2108766619 crossrefType "proceedings-article" @default.
- W2108766619 hasAuthorship W2108766619A5071742136 @default.
- W2108766619 hasAuthorship W2108766619A5075414052 @default.
- W2108766619 hasConcept C41008148 @default.
- W2108766619 hasConceptScore W2108766619C41008148 @default.
- W2108766619 hasLocation W21087666191 @default.
- W2108766619 hasOpenAccess W2108766619 @default.
- W2108766619 hasPrimaryLocation W21087666191 @default.
- W2108766619 hasRelatedWork W2093578348 @default.
- W2108766619 hasRelatedWork W2130043461 @default.
- W2108766619 hasRelatedWork W2350741829 @default.
- W2108766619 hasRelatedWork W2358668433 @default.
- W2108766619 hasRelatedWork W2376932109 @default.
- W2108766619 hasRelatedWork W2382290278 @default.
- W2108766619 hasRelatedWork W2390279801 @default.
- W2108766619 hasRelatedWork W2748952813 @default.
- W2108766619 hasRelatedWork W2899084033 @default.
- W2108766619 hasRelatedWork W3004735627 @default.
- W2108766619 isParatext "false" @default.
- W2108766619 isRetracted "false" @default.
- W2108766619 magId "2108766619" @default.
- W2108766619 workType "article" @default.