FRINK Linked Data Fragments server

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

• W2026436310 abstract "As General-Purpose Graphics Processing Units (GPGPUs)become more powerful, they are being used increasingly often in high-performance computing applications. State space exploration, as employed in model-checking and other verification techniques, is a large, complex problem that has successfully been ported to a variety of parallel architectures. Use of the GPU for this purpose, however, has only recently begun to be studied. We show how the 2012 multicore CPU-parallel state-space exploration algorithm of the SPIN model checker can be re-engineered to take advantage of the unique parallel-processing capabilities of the GPGPU architecture, and demonstrate how to overcome the non-trivial design obstacles presented by this task. Our preliminary results demonstrate significant performance improvements over the traditional sequential model checker for state spaces of appreciable size (>10 million unique states)." @default.
• W2026436310 created "2016-06-24" @default.
• W2026436310 creator A5039202410 @default.
• W2026436310 creator A5050836932 @default.
• W2026436310 creator A5051297109 @default.
• W2026436310 date "2014-07-21" @default.
• W2026436310 modified "2023-10-16" @default.
• W2026436310 title "Towards a GPGPU-parallel SPIN model checker" @default.
• W2026436310 cites W1492584664 @default.
• W2026436310 cites W1508631477 @default.
• W2026436310 cites W1629693692 @default.
• W2026436310 cites W2020332901 @default.
• W2026436310 cites W2031344785 @default.
• W2026436310 cites W2074140323 @default.
• W2026436310 cites W2084802221 @default.
• W2026436310 cites W2104696223 @default.
• W2026436310 cites W2109473404 @default.
• W2026436310 cites W2143114052 @default.
• W2026436310 cites W2153822668 @default.
• W2026436310 cites W2158209170 @default.
• W2026436310 cites W2159392969 @default.
• W2026436310 cites W2169638284 @default.
• W2026436310 cites W4245926874 @default.
• W2026436310 doi "https://doi.org/10.1145/2632362.2632379" @default.
• W2026436310 hasPublicationYear "2014" @default.
• W2026436310 type Work @default.
• W2026436310 sameAs 2026436310 @default.
• W2026436310 citedByCount "20" @default.
• W2026436310 countsByYear W20264363102015 @default.
• W2026436310 countsByYear W20264363102016 @default.
• W2026436310 countsByYear W20264363102017 @default.
• W2026436310 countsByYear W20264363102018 @default.
• W2026436310 countsByYear W20264363102019 @default.
• W2026436310 countsByYear W20264363102020 @default.
• W2026436310 countsByYear W20264363102021 @default.
• W2026436310 countsByYear W20264363102023 @default.
• W2026436310 crossrefType "proceedings-article" @default.
• W2026436310 hasAuthorship W2026436310A5039202410 @default.
• W2026436310 hasAuthorship W2026436310A5050836932 @default.
• W2026436310 hasAuthorship W2026436310A5051297109 @default.
• W2026436310 hasConcept C105795698 @default.
• W2026436310 hasConcept C106251023 @default.
• W2026436310 hasConcept C106515295 @default.
• W2026436310 hasConcept C110251889 @default.
• W2026436310 hasConcept C111919701 @default.
• W2026436310 hasConcept C118524514 @default.
• W2026436310 hasConcept C123657996 @default.
• W2026436310 hasConcept C136197465 @default.
• W2026436310 hasConcept C142362112 @default.
• W2026436310 hasConcept C149635348 @default.
• W2026436310 hasConcept C153349607 @default.
• W2026436310 hasConcept C154945302 @default.
• W2026436310 hasConcept C173608175 @default.
• W2026436310 hasConcept C199360897 @default.
• W2026436310 hasConcept C21442007 @default.
• W2026436310 hasConcept C2776221188 @default.
• W2026436310 hasConcept C2777904410 @default.
• W2026436310 hasConcept C2778119891 @default.
• W2026436310 hasConcept C2779851693 @default.
• W2026436310 hasConcept C33923547 @default.
• W2026436310 hasConcept C41008148 @default.
• W2026436310 hasConcept C48103436 @default.
• W2026436310 hasConcept C50630238 @default.
• W2026436310 hasConcept C72434380 @default.
• W2026436310 hasConcept C78766204 @default.
• W2026436310 hasConcept C80444323 @default.
• W2026436310 hasConceptScore W2026436310C105795698 @default.
• W2026436310 hasConceptScore W2026436310C106251023 @default.
• W2026436310 hasConceptScore W2026436310C106515295 @default.
• W2026436310 hasConceptScore W2026436310C110251889 @default.
• W2026436310 hasConceptScore W2026436310C111919701 @default.
• W2026436310 hasConceptScore W2026436310C118524514 @default.
• W2026436310 hasConceptScore W2026436310C123657996 @default.
• W2026436310 hasConceptScore W2026436310C136197465 @default.
• W2026436310 hasConceptScore W2026436310C142362112 @default.
• W2026436310 hasConceptScore W2026436310C149635348 @default.
• W2026436310 hasConceptScore W2026436310C153349607 @default.
• W2026436310 hasConceptScore W2026436310C154945302 @default.
• W2026436310 hasConceptScore W2026436310C173608175 @default.
• W2026436310 hasConceptScore W2026436310C199360897 @default.
• W2026436310 hasConceptScore W2026436310C21442007 @default.
• W2026436310 hasConceptScore W2026436310C2776221188 @default.
• W2026436310 hasConceptScore W2026436310C2777904410 @default.
• W2026436310 hasConceptScore W2026436310C2778119891 @default.
• W2026436310 hasConceptScore W2026436310C2779851693 @default.
• W2026436310 hasConceptScore W2026436310C33923547 @default.
• W2026436310 hasConceptScore W2026436310C41008148 @default.
• W2026436310 hasConceptScore W2026436310C48103436 @default.
• W2026436310 hasConceptScore W2026436310C50630238 @default.
• W2026436310 hasConceptScore W2026436310C72434380 @default.
• W2026436310 hasConceptScore W2026436310C78766204 @default.
• W2026436310 hasConceptScore W2026436310C80444323 @default.
• W2026436310 hasLocation W20264363101 @default.
• W2026436310 hasOpenAccess W2026436310 @default.
• W2026436310 hasPrimaryLocation W20264363101 @default.
• W2026436310 hasRelatedWork W2095492603 @default.
• W2026436310 hasRelatedWork W2165949232 @default.
• W2026436310 hasRelatedWork W2244400696 @default.
• W2026436310 hasRelatedWork W2806898911 @default.
• W2026436310 hasRelatedWork W2953065343 @default.

• next