FRINK Linked Data Fragments server

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

• W4313591937 endingPage "313" @default.
• W4313591937 startingPage "295" @default.
• W4313591937 abstract "We follow up on the idea of Lars Arge to rephrase the Reduce and Apply procedures of Binary Decision Diagrams (BDDs) as iterative I/O-efficient algorithms. We identify multiple avenues to simplify and improve the performance of his proposed algorithms. Furthermore, we extend the technique to other common BDD operations, many of which are not derivable using Apply operations alone, and we provide asymptotic improvements for the procedures that can be derived using Apply. These algorithms are implemented in a new BDD package, named Adiar. We see very promising results when comparing the performance of Adiar with conventional BDD packages that use recursive depth-first algorithms. For instances larger than 8.2 GiB, our algorithms, in parts using the disk, are 1.47 to 3.69 times slower compared to CUDD and Sylvan, exclusively using main memory. Yet, our proposed techniques are able to obtain this performance at a fraction of the main memory needed by conventional BDD packages to function. Furthermore, with Adiar we are able to manipulate BDDs that outgrow main memory and so surpass the limits of other BDD packages." @default.
• W4313591937 created "2023-01-06" @default.
• W4313591937 creator A5006113421 @default.
• W4313591937 creator A5012697499 @default.
• W4313591937 creator A5069791416 @default.
• W4313591937 creator A5073182661 @default.
• W4313591937 date "2022-01-01" @default.
• W4313591937 modified "2023-10-14" @default.
• W4313591937 title "Adiar Binary Decision Diagrams in External Memory" @default.
• W4313591937 cites W128368934 @default.
• W4313591937 cites W1489391022 @default.
• W4313591937 cites W1507793072 @default.
• W4313591937 cites W1526390868 @default.
• W4313591937 cites W1554357479 @default.
• W4313591937 cites W1591568670 @default.
• W4313591937 cites W1864649459 @default.
• W4313591937 cites W2001289891 @default.
• W4313591937 cites W2030224590 @default.
• W4313591937 cites W2031522732 @default.
• W4313591937 cites W2034287199 @default.
• W4313591937 cites W2038142281 @default.
• W4313591937 cites W2049379258 @default.
• W4313591937 cites W2079071129 @default.
• W4313591937 cites W2080267935 @default.
• W4313591937 cites W2127620007 @default.
• W4313591937 cites W2133491672 @default.
• W4313591937 cites W2169909690 @default.
• W4313591937 cites W2534303543 @default.
• W4313591937 cites W2731750870 @default.
• W4313591937 cites W2912640545 @default.
• W4313591937 cites W3037724080 @default.
• W4313591937 cites W4229664273 @default.
• W4313591937 cites W4229995174 @default.
• W4313591937 cites W4255413535 @default.
• W4313591937 cites W4256317073 @default.
• W4313591937 doi "https://doi.org/10.1007/978-3-030-99527-0_16" @default.
• W4313591937 hasPublicationYear "2022" @default.
• W4313591937 type Work @default.
• W4313591937 citedByCount "2" @default.
• W4313591937 countsByYear W43135919372023 @default.
• W4313591937 crossrefType "book-chapter" @default.
• W4313591937 hasAuthorship W4313591937A5006113421 @default.
• W4313591937 hasAuthorship W4313591937A5012697499 @default.
• W4313591937 hasAuthorship W4313591937A5069791416 @default.
• W4313591937 hasAuthorship W4313591937A5073182661 @default.
• W4313591937 hasBestOaLocation W43135919371 @default.
• W4313591937 hasConcept C11413529 @default.
• W4313591937 hasConcept C136085584 @default.
• W4313591937 hasConcept C14036430 @default.
• W4313591937 hasConcept C162319229 @default.
• W4313591937 hasConcept C173608175 @default.
• W4313591937 hasConcept C176649486 @default.
• W4313591937 hasConcept C187455244 @default.
• W4313591937 hasConcept C199360897 @default.
• W4313591937 hasConcept C3309909 @default.
• W4313591937 hasConcept C33923547 @default.
• W4313591937 hasConcept C41008148 @default.
• W4313591937 hasConcept C48372109 @default.
• W4313591937 hasConcept C78458016 @default.
• W4313591937 hasConcept C80444323 @default.
• W4313591937 hasConcept C82687282 @default.
• W4313591937 hasConcept C86803240 @default.
• W4313591937 hasConcept C9390403 @default.
• W4313591937 hasConcept C94375191 @default.
• W4313591937 hasConceptScore W4313591937C11413529 @default.
• W4313591937 hasConceptScore W4313591937C136085584 @default.
• W4313591937 hasConceptScore W4313591937C14036430 @default.
• W4313591937 hasConceptScore W4313591937C162319229 @default.
• W4313591937 hasConceptScore W4313591937C173608175 @default.
• W4313591937 hasConceptScore W4313591937C176649486 @default.
• W4313591937 hasConceptScore W4313591937C187455244 @default.
• W4313591937 hasConceptScore W4313591937C199360897 @default.
• W4313591937 hasConceptScore W4313591937C3309909 @default.
• W4313591937 hasConceptScore W4313591937C33923547 @default.
• W4313591937 hasConceptScore W4313591937C41008148 @default.
• W4313591937 hasConceptScore W4313591937C48372109 @default.
• W4313591937 hasConceptScore W4313591937C78458016 @default.
• W4313591937 hasConceptScore W4313591937C80444323 @default.
• W4313591937 hasConceptScore W4313591937C82687282 @default.
• W4313591937 hasConceptScore W4313591937C86803240 @default.
• W4313591937 hasConceptScore W4313591937C9390403 @default.
• W4313591937 hasConceptScore W4313591937C94375191 @default.
• W4313591937 hasLocation W43135919371 @default.
• W4313591937 hasLocation W43135919372 @default.
• W4313591937 hasOpenAccess W4313591937 @default.
• W4313591937 hasPrimaryLocation W43135919371 @default.
• W4313591937 hasRelatedWork W1581041950 @default.
• W4313591937 hasRelatedWork W1587385873 @default.
• W4313591937 hasRelatedWork W2115698906 @default.
• W4313591937 hasRelatedWork W2118235397 @default.
• W4313591937 hasRelatedWork W2284153003 @default.
• W4313591937 hasRelatedWork W2405617830 @default.
• W4313591937 hasRelatedWork W3203050793 @default.
• W4313591937 hasRelatedWork W4245302940 @default.
• W4313591937 hasRelatedWork W4313591937 @default.
• W4313591937 hasRelatedWork W2112121293 @default.
• W4313591937 isParatext "false" @default.
• W4313591937 isRetracted "false" @default.

• next