Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068210046> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2068210046 abstract "Efficacy of partial order reduction in reducing state space relies on adequate extraction of the independence relation among possible behaviors. However, traditional approaches by statically analyzing system model structures are often not able to reveal enough independence for reduction. To address such a problem, this paper presents a behavioral analysis approach that uses a compositional reachability analysis method to generate the over-approximate local state spaces for all modules in a system where a much more precise independence relation can be extracted for partial order reduction. Compared to the static analysis approaches, significantly higher reduction on complexity can be seen in a number of non-trivial examples, and as a consequence, dramatically less time and memory are required to finish these examples." @default.
- W2068210046 created "2016-06-24" @default.
- W2068210046 creator A5014529986 @default.
- W2068210046 creator A5018105292 @default.
- W2068210046 creator A5044978098 @default.
- W2068210046 creator A5065236570 @default.
- W2068210046 date "2012-08-01" @default.
- W2068210046 modified "2023-09-23" @default.
- W2068210046 title "An Improvement in Partial Order Reduction Using Behavioral Analysis" @default.
- W2068210046 cites W1491037212 @default.
- W2068210046 cites W1549714654 @default.
- W2068210046 cites W1568729458 @default.
- W2068210046 cites W1722620788 @default.
- W2068210046 cites W1887332231 @default.
- W2068210046 cites W1996109622 @default.
- W2068210046 cites W1999288406 @default.
- W2068210046 cites W2063381633 @default.
- W2068210046 cites W2097253829 @default.
- W2068210046 cites W2106387547 @default.
- W2068210046 cites W2115309705 @default.
- W2068210046 cites W2132251660 @default.
- W2068210046 cites W2152147436 @default.
- W2068210046 cites W2167978186 @default.
- W2068210046 cites W2169870841 @default.
- W2068210046 cites W2173952623 @default.
- W2068210046 cites W2293601555 @default.
- W2068210046 doi "https://doi.org/10.1109/isvlsi.2012.15" @default.
- W2068210046 hasPublicationYear "2012" @default.
- W2068210046 type Work @default.
- W2068210046 sameAs 2068210046 @default.
- W2068210046 citedByCount "2" @default.
- W2068210046 countsByYear W20682100462014 @default.
- W2068210046 countsByYear W20682100462016 @default.
- W2068210046 crossrefType "proceedings-article" @default.
- W2068210046 hasAuthorship W2068210046A5014529986 @default.
- W2068210046 hasAuthorship W2068210046A5018105292 @default.
- W2068210046 hasAuthorship W2068210046A5044978098 @default.
- W2068210046 hasAuthorship W2068210046A5065236570 @default.
- W2068210046 hasConcept C105795698 @default.
- W2068210046 hasConcept C110251889 @default.
- W2068210046 hasConcept C111335779 @default.
- W2068210046 hasConcept C11413529 @default.
- W2068210046 hasConcept C124101348 @default.
- W2068210046 hasConcept C136643341 @default.
- W2068210046 hasConcept C2524010 @default.
- W2068210046 hasConcept C25343380 @default.
- W2068210046 hasConcept C2779277453 @default.
- W2068210046 hasConcept C33923547 @default.
- W2068210046 hasConcept C35651441 @default.
- W2068210046 hasConcept C41008148 @default.
- W2068210046 hasConcept C48103436 @default.
- W2068210046 hasConcept C57493831 @default.
- W2068210046 hasConcept C72434380 @default.
- W2068210046 hasConcept C80444323 @default.
- W2068210046 hasConcept C94633896 @default.
- W2068210046 hasConceptScore W2068210046C105795698 @default.
- W2068210046 hasConceptScore W2068210046C110251889 @default.
- W2068210046 hasConceptScore W2068210046C111335779 @default.
- W2068210046 hasConceptScore W2068210046C11413529 @default.
- W2068210046 hasConceptScore W2068210046C124101348 @default.
- W2068210046 hasConceptScore W2068210046C136643341 @default.
- W2068210046 hasConceptScore W2068210046C2524010 @default.
- W2068210046 hasConceptScore W2068210046C25343380 @default.
- W2068210046 hasConceptScore W2068210046C2779277453 @default.
- W2068210046 hasConceptScore W2068210046C33923547 @default.
- W2068210046 hasConceptScore W2068210046C35651441 @default.
- W2068210046 hasConceptScore W2068210046C41008148 @default.
- W2068210046 hasConceptScore W2068210046C48103436 @default.
- W2068210046 hasConceptScore W2068210046C57493831 @default.
- W2068210046 hasConceptScore W2068210046C72434380 @default.
- W2068210046 hasConceptScore W2068210046C80444323 @default.
- W2068210046 hasConceptScore W2068210046C94633896 @default.
- W2068210046 hasLocation W20682100461 @default.
- W2068210046 hasOpenAccess W2068210046 @default.
- W2068210046 hasPrimaryLocation W20682100461 @default.
- W2068210046 hasRelatedWork W1563242841 @default.
- W2068210046 hasRelatedWork W2068210046 @default.
- W2068210046 hasRelatedWork W2133513409 @default.
- W2068210046 hasRelatedWork W2892268670 @default.
- W2068210046 hasRelatedWork W2970425440 @default.
- W2068210046 hasRelatedWork W2995150931 @default.
- W2068210046 hasRelatedWork W3021669046 @default.
- W2068210046 hasRelatedWork W3092162653 @default.
- W2068210046 hasRelatedWork W3158268154 @default.
- W2068210046 hasRelatedWork W4287991185 @default.
- W2068210046 isParatext "false" @default.
- W2068210046 isRetracted "false" @default.
- W2068210046 magId "2068210046" @default.
- W2068210046 workType "article" @default.