Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378551409> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4378551409 endingPage "263" @default.
- W4378551409 startingPage "243" @default.
- W4378551409 abstract "Efficient manipulation of binary or multi-valued decision diagrams (BDDs or MDDs) is critical in symbolic verification tools. Despite the applicability of MDDs to real-world tasks such as discovering the reachable states of a model, their large demands on hardware resources, especially memory, limit algorithmic scalability. In this paper, we focus on memory-constrained algorithms that employ a novel $$mathcal {O}(mlog n)$$ -time under-approximation technique for MDDs, where m and n are the number of MDD edges and nodes, respectively. The effectiveness of our approach is demonstrated experimentally by a reduction in peak memory usage for the symbolic reachability computation of a set of Petri nets." @default.
- W4378551409 created "2023-05-28" @default.
- W4378551409 creator A5071970957 @default.
- W4378551409 creator A5091649534 @default.
- W4378551409 date "2023-01-01" @default.
- W4378551409 modified "2023-09-27" @default.
- W4378551409 title "Computing Under-approximations of Multivalued Decision Diagrams" @default.
- W4378551409 cites W1492259997 @default.
- W4378551409 cites W2006228911 @default.
- W4378551409 cites W2017023300 @default.
- W4378551409 cites W2080267935 @default.
- W4378551409 cites W2111379929 @default.
- W4378551409 cites W2133143481 @default.
- W4378551409 cites W2141472133 @default.
- W4378551409 doi "https://doi.org/10.1007/978-3-031-33620-1_14" @default.
- W4378551409 hasPublicationYear "2023" @default.
- W4378551409 type Work @default.
- W4378551409 citedByCount "0" @default.
- W4378551409 crossrefType "book-chapter" @default.
- W4378551409 hasAuthorship W4378551409A5071970957 @default.
- W4378551409 hasAuthorship W4378551409A5091649534 @default.
- W4378551409 hasConcept C110251889 @default.
- W4378551409 hasConcept C111335779 @default.
- W4378551409 hasConcept C11413529 @default.
- W4378551409 hasConcept C120665830 @default.
- W4378551409 hasConcept C121332964 @default.
- W4378551409 hasConcept C136643341 @default.
- W4378551409 hasConcept C154945302 @default.
- W4378551409 hasConcept C177264268 @default.
- W4378551409 hasConcept C192209626 @default.
- W4378551409 hasConcept C199360897 @default.
- W4378551409 hasConcept C20837028 @default.
- W4378551409 hasConcept C2524010 @default.
- W4378551409 hasConcept C3309909 @default.
- W4378551409 hasConcept C33923547 @default.
- W4378551409 hasConcept C38677869 @default.
- W4378551409 hasConcept C41008148 @default.
- W4378551409 hasConcept C45374587 @default.
- W4378551409 hasConcept C48044578 @default.
- W4378551409 hasConcept C77088390 @default.
- W4378551409 hasConcept C80444323 @default.
- W4378551409 hasConcept C84525736 @default.
- W4378551409 hasConceptScore W4378551409C110251889 @default.
- W4378551409 hasConceptScore W4378551409C111335779 @default.
- W4378551409 hasConceptScore W4378551409C11413529 @default.
- W4378551409 hasConceptScore W4378551409C120665830 @default.
- W4378551409 hasConceptScore W4378551409C121332964 @default.
- W4378551409 hasConceptScore W4378551409C136643341 @default.
- W4378551409 hasConceptScore W4378551409C154945302 @default.
- W4378551409 hasConceptScore W4378551409C177264268 @default.
- W4378551409 hasConceptScore W4378551409C192209626 @default.
- W4378551409 hasConceptScore W4378551409C199360897 @default.
- W4378551409 hasConceptScore W4378551409C20837028 @default.
- W4378551409 hasConceptScore W4378551409C2524010 @default.
- W4378551409 hasConceptScore W4378551409C3309909 @default.
- W4378551409 hasConceptScore W4378551409C33923547 @default.
- W4378551409 hasConceptScore W4378551409C38677869 @default.
- W4378551409 hasConceptScore W4378551409C41008148 @default.
- W4378551409 hasConceptScore W4378551409C45374587 @default.
- W4378551409 hasConceptScore W4378551409C48044578 @default.
- W4378551409 hasConceptScore W4378551409C77088390 @default.
- W4378551409 hasConceptScore W4378551409C80444323 @default.
- W4378551409 hasConceptScore W4378551409C84525736 @default.
- W4378551409 hasLocation W43785514091 @default.
- W4378551409 hasOpenAccess W4378551409 @default.
- W4378551409 hasPrimaryLocation W43785514091 @default.
- W4378551409 hasRelatedWork W138282622 @default.
- W4378551409 hasRelatedWork W2296663577 @default.
- W4378551409 hasRelatedWork W2390424213 @default.
- W4378551409 hasRelatedWork W2485579498 @default.
- W4378551409 hasRelatedWork W3116208659 @default.
- W4378551409 hasRelatedWork W3117235603 @default.
- W4378551409 hasRelatedWork W4205562957 @default.
- W4378551409 hasRelatedWork W4225747963 @default.
- W4378551409 hasRelatedWork W4378551409 @default.
- W4378551409 hasRelatedWork W64131600 @default.
- W4378551409 isParatext "false" @default.
- W4378551409 isRetracted "false" @default.
- W4378551409 workType "book-chapter" @default.