Matches in SemOpenAlex for { <https://semopenalex.org/work/W1538754050> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1538754050 endingPage "346" @default.
- W1538754050 startingPage "331" @default.
- W1538754050 abstract "Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other sequential symbolic state-space generators in that it exploits the locality of firing events in asynchronous system models.This paper explores whether event locality can be utilised to efficiently parallelise Saturation on shared-memory architectures. Conceptually, we propose to parallelise the firing of events within a decision diagram node, which is technically realised via a thread pool. We discuss the challenges involved in our parallel design and conduct experimental studies on its prototypical implementation. On a dual-processor dual-core PC, our studies show speed-ups for several example models, e.g., of up to 50% for a Kanban model, when compared to running our algorithm only on a single core." @default.
- W1538754050 created "2016-06-24" @default.
- W1538754050 creator A5029606895 @default.
- W1538754050 creator A5051613263 @default.
- W1538754050 creator A5060497231 @default.
- W1538754050 date "2007-01-01" @default.
- W1538754050 modified "2023-09-26" @default.
- W1538754050 title "Can Saturation Be Parallelised?" @default.
- W1538754050 cites W1491214620 @default.
- W1538754050 cites W1579329775 @default.
- W1538754050 cites W1600140696 @default.
- W1538754050 cites W1617448086 @default.
- W1538754050 cites W1839466040 @default.
- W1538754050 cites W2001289891 @default.
- W1538754050 cites W2099800340 @default.
- W1538754050 cites W4300021588 @default.
- W1538754050 doi "https://doi.org/10.1007/978-3-540-70952-7_23" @default.
- W1538754050 hasPublicationYear "2007" @default.
- W1538754050 type Work @default.
- W1538754050 sameAs 1538754050 @default.
- W1538754050 citedByCount "5" @default.
- W1538754050 crossrefType "book-chapter" @default.
- W1538754050 hasAuthorship W1538754050A5029606895 @default.
- W1538754050 hasAuthorship W1538754050A5051613263 @default.
- W1538754050 hasAuthorship W1538754050A5060497231 @default.
- W1538754050 hasConcept C111919701 @default.
- W1538754050 hasConcept C115537543 @default.
- W1538754050 hasConcept C120314980 @default.
- W1538754050 hasConcept C138101251 @default.
- W1538754050 hasConcept C138885662 @default.
- W1538754050 hasConcept C151319957 @default.
- W1538754050 hasConcept C173608175 @default.
- W1538754050 hasConcept C199360897 @default.
- W1538754050 hasConcept C27602214 @default.
- W1538754050 hasConcept C2779808786 @default.
- W1538754050 hasConcept C28034677 @default.
- W1538754050 hasConcept C31258907 @default.
- W1538754050 hasConcept C41008148 @default.
- W1538754050 hasConcept C41895202 @default.
- W1538754050 hasConcept C80444323 @default.
- W1538754050 hasConceptScore W1538754050C111919701 @default.
- W1538754050 hasConceptScore W1538754050C115537543 @default.
- W1538754050 hasConceptScore W1538754050C120314980 @default.
- W1538754050 hasConceptScore W1538754050C138101251 @default.
- W1538754050 hasConceptScore W1538754050C138885662 @default.
- W1538754050 hasConceptScore W1538754050C151319957 @default.
- W1538754050 hasConceptScore W1538754050C173608175 @default.
- W1538754050 hasConceptScore W1538754050C199360897 @default.
- W1538754050 hasConceptScore W1538754050C27602214 @default.
- W1538754050 hasConceptScore W1538754050C2779808786 @default.
- W1538754050 hasConceptScore W1538754050C28034677 @default.
- W1538754050 hasConceptScore W1538754050C31258907 @default.
- W1538754050 hasConceptScore W1538754050C41008148 @default.
- W1538754050 hasConceptScore W1538754050C41895202 @default.
- W1538754050 hasConceptScore W1538754050C80444323 @default.
- W1538754050 hasLocation W15387540501 @default.
- W1538754050 hasOpenAccess W1538754050 @default.
- W1538754050 hasPrimaryLocation W15387540501 @default.
- W1538754050 hasRelatedWork W1509211761 @default.
- W1538754050 hasRelatedWork W1589529336 @default.
- W1538754050 hasRelatedWork W2018512396 @default.
- W1538754050 hasRelatedWork W2096621412 @default.
- W1538754050 hasRelatedWork W2203247271 @default.
- W1538754050 hasRelatedWork W2287909995 @default.
- W1538754050 hasRelatedWork W2372170743 @default.
- W1538754050 hasRelatedWork W2582456645 @default.
- W1538754050 hasRelatedWork W3216682567 @default.
- W1538754050 hasRelatedWork W4294734199 @default.
- W1538754050 isParatext "false" @default.
- W1538754050 isRetracted "false" @default.
- W1538754050 magId "1538754050" @default.
- W1538754050 workType "book-chapter" @default.