FRINK Linked Data Fragments server

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

• W3141768825 endingPage "17" @default.
• W3141768825 startingPage "1" @default.
• W3141768825 abstract "State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important questions, e.g., Is there a dead state? and Can N become negative?, or as a starting point for sophisticated investigations expressed in temporal logic. Unfortunately, the state space is often so large that ordinary explicit data structures and sequential algorithms cannot cope, prompting the exploration of (1) parallel approaches using multiple processors, from simple workstation networks to shared-memory supercomputers, to satisfy large memory and runtime requirements and (2) symbolic approaches using decision diagrams to encode the large structured sets and relations manipulated during state-space generation. Both approaches have merits and limitations. Parallel explicit state-space generation is challenging, but almost linear speedup can be achieved; however, the analysis is ultimately limited by the memory and processors available. Symbolic methods are a heuristic that can efficiently encode many, but not all, functions over a structured and exponentially large domain; here the pitfalls are subtler: their performance varies widely depending on the class of decision diagram chosen, the state variable order, and obscure algorithmic parameters. As symbolic approaches are often much more efficient than explicit ones for many practical models, we argue for the need to parallelize symbolic state-space generation algorithms, so that we can realize the advantage of both approaches. This is a challenging endeavor, as the most efficient symbolic algorithm, Saturation, is inherently sequential. We conclude by discussing challenges, efforts, and promising directions toward this goal." @default.
• W3141768825 created "2021-04-13" @default.
• W3141768825 creator A5005037066 @default.
• W3141768825 creator A5071970957 @default.
• W3141768825 creator A5083702981 @default.
• W3141768825 date "2009-12-15" @default.
• W3141768825 modified "2023-10-16" @default.
• W3141768825 title "Parallel symbolic state-space exploration is difficult, but what is the alternative?" @default.
• W3141768825 cites W136095187 @default.
• W3141768825 cites W1523688497 @default.
• W3141768825 cites W1548575501 @default.
• W3141768825 cites W1569724714 @default.
• W3141768825 cites W1571497250 @default.
• W3141768825 cites W1576346079 @default.
• W3141768825 cites W1579329775 @default.
• W3141768825 cites W1600140696 @default.
• W3141768825 cites W1617448086 @default.
• W3141768825 cites W1770434780 @default.
• W3141768825 cites W1771135752 @default.
• W3141768825 cites W1967608240 @default.
• W3141768825 cites W1976369232 @default.
• W3141768825 cites W2010327714 @default.
• W3141768825 cites W2040032021 @default.
• W3141768825 cites W2061438988 @default.
• W3141768825 cites W2075648419 @default.
• W3141768825 cites W2080267935 @default.
• W3141768825 cites W2093709900 @default.
• W3141768825 cites W2157632109 @default.
• W3141768825 cites W2172004025 @default.
• W3141768825 cites W30961909 @default.
• W3141768825 cites W4251014866 @default.
• W3141768825 cites W4300021588 @default.
• W3141768825 doi "https://doi.org/10.4204/eptcs.14.1" @default.
• W3141768825 hasPublicationYear "2009" @default.
• W3141768825 type Work @default.
• W3141768825 sameAs 3141768825 @default.
• W3141768825 citedByCount "8" @default.
• W3141768825 countsByYear W31417688252012 @default.
• W3141768825 countsByYear W31417688252015 @default.
• W3141768825 countsByYear W31417688252016 @default.
• W3141768825 countsByYear W31417688252018 @default.
• W3141768825 countsByYear W31417688252019 @default.
• W3141768825 crossrefType "journal-article" @default.
• W3141768825 hasAuthorship W3141768825A5005037066 @default.
• W3141768825 hasAuthorship W3141768825A5071970957 @default.
• W3141768825 hasAuthorship W3141768825A5083702981 @default.
• W3141768825 hasBestOaLocation W31417688251 @default.
• W3141768825 hasConcept C104317684 @default.
• W3141768825 hasConcept C105795698 @default.
• W3141768825 hasConcept C11413529 @default.
• W3141768825 hasConcept C133875982 @default.
• W3141768825 hasConcept C154945302 @default.
• W3141768825 hasConcept C173608175 @default.
• W3141768825 hasConcept C173801870 @default.
• W3141768825 hasConcept C185592680 @default.
• W3141768825 hasConcept C3309909 @default.
• W3141768825 hasConcept C33923547 @default.
• W3141768825 hasConcept C41008148 @default.
• W3141768825 hasConcept C48103436 @default.
• W3141768825 hasConcept C55493867 @default.
• W3141768825 hasConcept C66746571 @default.
• W3141768825 hasConcept C68339613 @default.
• W3141768825 hasConcept C72434380 @default.
• W3141768825 hasConcept C80444323 @default.
• W3141768825 hasConceptScore W3141768825C104317684 @default.
• W3141768825 hasConceptScore W3141768825C105795698 @default.
• W3141768825 hasConceptScore W3141768825C11413529 @default.
• W3141768825 hasConceptScore W3141768825C133875982 @default.
• W3141768825 hasConceptScore W3141768825C154945302 @default.
• W3141768825 hasConceptScore W3141768825C173608175 @default.
• W3141768825 hasConceptScore W3141768825C173801870 @default.
• W3141768825 hasConceptScore W3141768825C185592680 @default.
• W3141768825 hasConceptScore W3141768825C3309909 @default.
• W3141768825 hasConceptScore W3141768825C33923547 @default.
• W3141768825 hasConceptScore W3141768825C41008148 @default.
• W3141768825 hasConceptScore W3141768825C48103436 @default.
• W3141768825 hasConceptScore W3141768825C55493867 @default.
• W3141768825 hasConceptScore W3141768825C66746571 @default.
• W3141768825 hasConceptScore W3141768825C68339613 @default.
• W3141768825 hasConceptScore W3141768825C72434380 @default.
• W3141768825 hasConceptScore W3141768825C80444323 @default.
• W3141768825 hasLocation W31417688251 @default.
• W3141768825 hasLocation W31417688252 @default.
• W3141768825 hasOpenAccess W3141768825 @default.
• W3141768825 hasPrimaryLocation W31417688251 @default.
• W3141768825 hasRelatedWork W142494804 @default.
• W3141768825 hasRelatedWork W1504842852 @default.
• W3141768825 hasRelatedWork W1531488649 @default.
• W3141768825 hasRelatedWork W2020582711 @default.
• W3141768825 hasRelatedWork W2314460954 @default.
• W3141768825 hasRelatedWork W2369207165 @default.
• W3141768825 hasRelatedWork W2380957058 @default.
• W3141768825 hasRelatedWork W2391299576 @default.
• W3141768825 hasRelatedWork W2392536382 @default.
• W3141768825 hasRelatedWork W2805154545 @default.
• W3141768825 hasVolume "14" @default.
• W3141768825 isParatext "false" @default.
• W3141768825 isRetracted "false" @default.

• next