Matches in SemOpenAlex for { <https://semopenalex.org/work/W2264277655> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2264277655 endingPage "383" @default.
- W2264277655 startingPage "368" @default.
- W2264277655 abstract "Bisimilarity checking is an important operation to perform explicit-state model checking when the state space of a model under verification has already been generated. It can be applied in various ways: reduction of a state space w.r.t. a particular flavour of bisimilarity, or checking that two given state spaces are bisimilar. Bisimilarity checking is a computationally intensive task, and over the years, several algorithms have been presented, both sequential, i.e. single-threaded, and parallel, the latter either relying on shared memory or message-passing. In this work, we first present a novel way to check strong bisimilarity on general-purpose graphics processing units (GPUs), and show experimentally that an implementation of it for CUDA-enabled GPUs is competitive with other parallel techniques that run either on a GPU or use message-passing on a multi-core system. Building on this, we propose, to the best of our knowledge, the first many-core branching bisimilarity checking algorithm, an implementation of which shows speedups comparable to our strong bisimilarity checking approach." @default.
- W2264277655 created "2016-06-24" @default.
- W2264277655 creator A5036964869 @default.
- W2264277655 date "2015-01-01" @default.
- W2264277655 modified "2023-09-23" @default.
- W2264277655 title "GPU Accelerated Strong and Branching Bisimilarity Checking" @default.
- W2264277655 cites W125115239 @default.
- W2264277655 cites W1499151310 @default.
- W2264277655 cites W1577673148 @default.
- W2264277655 cites W1795811607 @default.
- W2264277655 cites W1832530458 @default.
- W2264277655 cites W1879455397 @default.
- W2264277655 cites W1963110627 @default.
- W2264277655 cites W1968655419 @default.
- W2264277655 cites W1980824962 @default.
- W2264277655 cites W1981802499 @default.
- W2264277655 cites W1985161650 @default.
- W2264277655 cites W1990183105 @default.
- W2264277655 cites W2026436310 @default.
- W2264277655 cites W2072538510 @default.
- W2264277655 cites W2087819600 @default.
- W2264277655 cites W2100958866 @default.
- W2264277655 cites W2104696223 @default.
- W2264277655 cites W2107144615 @default.
- W2264277655 cites W2130413791 @default.
- W2264277655 cites W2160181753 @default.
- W2264277655 cites W2167298033 @default.
- W2264277655 cites W3123797328 @default.
- W2264277655 cites W963845994 @default.
- W2264277655 doi "https://doi.org/10.1007/978-3-662-46681-0_29" @default.
- W2264277655 hasPublicationYear "2015" @default.
- W2264277655 type Work @default.
- W2264277655 sameAs 2264277655 @default.
- W2264277655 citedByCount "23" @default.
- W2264277655 countsByYear W22642776552015 @default.
- W2264277655 countsByYear W22642776552016 @default.
- W2264277655 countsByYear W22642776552017 @default.
- W2264277655 countsByYear W22642776552019 @default.
- W2264277655 countsByYear W22642776552020 @default.
- W2264277655 countsByYear W22642776552021 @default.
- W2264277655 countsByYear W22642776552022 @default.
- W2264277655 countsByYear W22642776552023 @default.
- W2264277655 crossrefType "book-chapter" @default.
- W2264277655 hasAuthorship W2264277655A5036964869 @default.
- W2264277655 hasConcept C110251889 @default.
- W2264277655 hasConcept C111919701 @default.
- W2264277655 hasConcept C159985019 @default.
- W2264277655 hasConcept C173608175 @default.
- W2264277655 hasConcept C192562407 @default.
- W2264277655 hasConcept C199360897 @default.
- W2264277655 hasConcept C206175624 @default.
- W2264277655 hasConcept C21442007 @default.
- W2264277655 hasConcept C2778119891 @default.
- W2264277655 hasConcept C30888246 @default.
- W2264277655 hasConcept C41008148 @default.
- W2264277655 hasConcept C48103436 @default.
- W2264277655 hasConcept C80444323 @default.
- W2264277655 hasConceptScore W2264277655C110251889 @default.
- W2264277655 hasConceptScore W2264277655C111919701 @default.
- W2264277655 hasConceptScore W2264277655C159985019 @default.
- W2264277655 hasConceptScore W2264277655C173608175 @default.
- W2264277655 hasConceptScore W2264277655C192562407 @default.
- W2264277655 hasConceptScore W2264277655C199360897 @default.
- W2264277655 hasConceptScore W2264277655C206175624 @default.
- W2264277655 hasConceptScore W2264277655C21442007 @default.
- W2264277655 hasConceptScore W2264277655C2778119891 @default.
- W2264277655 hasConceptScore W2264277655C30888246 @default.
- W2264277655 hasConceptScore W2264277655C41008148 @default.
- W2264277655 hasConceptScore W2264277655C48103436 @default.
- W2264277655 hasConceptScore W2264277655C80444323 @default.
- W2264277655 hasLocation W22642776551 @default.
- W2264277655 hasOpenAccess W2264277655 @default.
- W2264277655 hasPrimaryLocation W22642776551 @default.
- W2264277655 hasRelatedWork W189420351 @default.
- W2264277655 hasRelatedWork W1997955449 @default.
- W2264277655 hasRelatedWork W2009169896 @default.
- W2264277655 hasRelatedWork W2075046026 @default.
- W2264277655 hasRelatedWork W2161462353 @default.
- W2264277655 hasRelatedWork W2319727539 @default.
- W2264277655 hasRelatedWork W2364866360 @default.
- W2264277655 hasRelatedWork W2965967938 @default.
- W2264277655 hasRelatedWork W4210849164 @default.
- W2264277655 hasRelatedWork W67367039 @default.
- W2264277655 isParatext "false" @default.
- W2264277655 isRetracted "false" @default.
- W2264277655 magId "2264277655" @default.
- W2264277655 workType "book-chapter" @default.