Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140045649> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2140045649 abstract "Symbolic techniques have revolutionized reachability analysis in the last years. Extending their applicability to handle large, industrial designs is a key issue, involving the need to focus on memory consumption for BDD representation as well as time consumption to perform symbolic traversals of Finite State Machines (FSMs). We address the problem of reachability analysis for large FSMs, introducing a novel technique that performs reachability analysis using a sequence of “distance driven” partial traversals based on dynamically chosen prunings of the transition relation. Experiments are given to demonstrate the efficiency and robustness of our approach: We succeed in completing reachability problems with significantly smaller memory requirements and improved time performance." @default.
- W2140045649 created "2016-06-24" @default.
- W2140045649 creator A5002292119 @default.
- W2140045649 creator A5038861833 @default.
- W2140045649 creator A5066932654 @default.
- W2140045649 date "2000-01-01" @default.
- W2140045649 modified "2023-09-26" @default.
- W2140045649 title "Distance driven finite state machine traversal" @default.
- W2140045649 cites W1979520342 @default.
- W2140045649 cites W1992006255 @default.
- W2140045649 cites W2008212717 @default.
- W2140045649 cites W2080267935 @default.
- W2140045649 cites W2098590705 @default.
- W2140045649 cites W2101481392 @default.
- W2140045649 cites W2117656743 @default.
- W2140045649 cites W2118837621 @default.
- W2140045649 cites W2123249903 @default.
- W2140045649 cites W2135453964 @default.
- W2140045649 cites W2145785237 @default.
- W2140045649 cites W2150119568 @default.
- W2140045649 cites W1980073965 @default.
- W2140045649 doi "https://doi.org/10.1145/337292.337308" @default.
- W2140045649 hasPublicationYear "2000" @default.
- W2140045649 type Work @default.
- W2140045649 sameAs 2140045649 @default.
- W2140045649 citedByCount "5" @default.
- W2140045649 crossrefType "proceedings-article" @default.
- W2140045649 hasAuthorship W2140045649A5002292119 @default.
- W2140045649 hasAuthorship W2140045649A5038861833 @default.
- W2140045649 hasAuthorship W2140045649A5066932654 @default.
- W2140045649 hasBestOaLocation W21400456491 @default.
- W2140045649 hasConcept C104317684 @default.
- W2140045649 hasConcept C110251889 @default.
- W2140045649 hasConcept C11413529 @default.
- W2140045649 hasConcept C120665830 @default.
- W2140045649 hasConcept C121332964 @default.
- W2140045649 hasConcept C124101348 @default.
- W2140045649 hasConcept C136643341 @default.
- W2140045649 hasConcept C140745168 @default.
- W2140045649 hasConcept C167822520 @default.
- W2140045649 hasConcept C17744445 @default.
- W2140045649 hasConcept C185592680 @default.
- W2140045649 hasConcept C192209626 @default.
- W2140045649 hasConcept C199360897 @default.
- W2140045649 hasConcept C199539241 @default.
- W2140045649 hasConcept C25343380 @default.
- W2140045649 hasConcept C2776359362 @default.
- W2140045649 hasConcept C2777904410 @default.
- W2140045649 hasConcept C2779639559 @default.
- W2140045649 hasConcept C41008148 @default.
- W2140045649 hasConcept C55493867 @default.
- W2140045649 hasConcept C63479239 @default.
- W2140045649 hasConcept C65620979 @default.
- W2140045649 hasConcept C80444323 @default.
- W2140045649 hasConcept C94625758 @default.
- W2140045649 hasConcept C96333769 @default.
- W2140045649 hasConceptScore W2140045649C104317684 @default.
- W2140045649 hasConceptScore W2140045649C110251889 @default.
- W2140045649 hasConceptScore W2140045649C11413529 @default.
- W2140045649 hasConceptScore W2140045649C120665830 @default.
- W2140045649 hasConceptScore W2140045649C121332964 @default.
- W2140045649 hasConceptScore W2140045649C124101348 @default.
- W2140045649 hasConceptScore W2140045649C136643341 @default.
- W2140045649 hasConceptScore W2140045649C140745168 @default.
- W2140045649 hasConceptScore W2140045649C167822520 @default.
- W2140045649 hasConceptScore W2140045649C17744445 @default.
- W2140045649 hasConceptScore W2140045649C185592680 @default.
- W2140045649 hasConceptScore W2140045649C192209626 @default.
- W2140045649 hasConceptScore W2140045649C199360897 @default.
- W2140045649 hasConceptScore W2140045649C199539241 @default.
- W2140045649 hasConceptScore W2140045649C25343380 @default.
- W2140045649 hasConceptScore W2140045649C2776359362 @default.
- W2140045649 hasConceptScore W2140045649C2777904410 @default.
- W2140045649 hasConceptScore W2140045649C2779639559 @default.
- W2140045649 hasConceptScore W2140045649C41008148 @default.
- W2140045649 hasConceptScore W2140045649C55493867 @default.
- W2140045649 hasConceptScore W2140045649C63479239 @default.
- W2140045649 hasConceptScore W2140045649C65620979 @default.
- W2140045649 hasConceptScore W2140045649C80444323 @default.
- W2140045649 hasConceptScore W2140045649C94625758 @default.
- W2140045649 hasConceptScore W2140045649C96333769 @default.
- W2140045649 hasLocation W21400456491 @default.
- W2140045649 hasLocation W21400456492 @default.
- W2140045649 hasOpenAccess W2140045649 @default.
- W2140045649 hasPrimaryLocation W21400456491 @default.
- W2140045649 hasRelatedWork W1994843883 @default.
- W2140045649 hasRelatedWork W2057318675 @default.
- W2140045649 hasRelatedWork W2092550801 @default.
- W2140045649 hasRelatedWork W2147793914 @default.
- W2140045649 hasRelatedWork W2188625294 @default.
- W2140045649 hasRelatedWork W2560874864 @default.
- W2140045649 hasRelatedWork W2611966366 @default.
- W2140045649 hasRelatedWork W4214727065 @default.
- W2140045649 hasRelatedWork W4245925847 @default.
- W2140045649 hasRelatedWork W970483268 @default.
- W2140045649 isParatext "false" @default.
- W2140045649 isRetracted "false" @default.
- W2140045649 magId "2140045649" @default.
- W2140045649 workType "article" @default.