Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294565945> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4294565945 abstract "The exponential explosion of parallel interleavings remains a fundamental challenge to model checking of concurrent programs. Both partial-order reduction (POR) and transaction reduction (TR) decrease the number of interleavings in a concurrent system. Unlike POR, transactions also reduce the number of intermediate states. Modern POR techniques, on the other hand, offer more dynamic ways of identifying commutative behavior, a crucial task for obtaining good reductions. We show that transaction reduction can use the same dynamic commutativity as found in stubborn set POR. We also compare reductions obtained by POR and TR, demonstrating with several examples that these techniques complement each other. With an implementation of the dynamic transactions in the model checker LTSmin, we compare its effectiveness with the original static TR and two POR approaches. Several inputs, including realistic case studies, demonstrate that the new dynamic TR can surpass POR in practice." @default.
- W4294565945 created "2022-09-04" @default.
- W4294565945 creator A5018667026 @default.
- W4294565945 date "2018-02-07" @default.
- W4294565945 modified "2023-09-25" @default.
- W4294565945 title "Stubborn Transaction Reduction (with Proofs)" @default.
- W4294565945 doi "https://doi.org/10.48550/arxiv.1802.02685" @default.
- W4294565945 hasPublicationYear "2018" @default.
- W4294565945 type Work @default.
- W4294565945 citedByCount "0" @default.
- W4294565945 crossrefType "posted-content" @default.
- W4294565945 hasAuthorship W4294565945A5018667026 @default.
- W4294565945 hasBestOaLocation W42945659451 @default.
- W4294565945 hasConcept C104317684 @default.
- W4294565945 hasConcept C108710211 @default.
- W4294565945 hasConcept C110251889 @default.
- W4294565945 hasConcept C111335779 @default.
- W4294565945 hasConcept C112313634 @default.
- W4294565945 hasConcept C11413529 @default.
- W4294565945 hasConcept C118615104 @default.
- W4294565945 hasConcept C127716648 @default.
- W4294565945 hasConcept C162324750 @default.
- W4294565945 hasConcept C177264268 @default.
- W4294565945 hasConcept C183778304 @default.
- W4294565945 hasConcept C185592680 @default.
- W4294565945 hasConcept C187736073 @default.
- W4294565945 hasConcept C188082640 @default.
- W4294565945 hasConcept C199360897 @default.
- W4294565945 hasConcept C2524010 @default.
- W4294565945 hasConcept C2780451532 @default.
- W4294565945 hasConcept C33923547 @default.
- W4294565945 hasConcept C41008148 @default.
- W4294565945 hasConcept C55493867 @default.
- W4294565945 hasConcept C75949130 @default.
- W4294565945 hasConcept C80444323 @default.
- W4294565945 hasConcept C94633896 @default.
- W4294565945 hasConceptScore W4294565945C104317684 @default.
- W4294565945 hasConceptScore W4294565945C108710211 @default.
- W4294565945 hasConceptScore W4294565945C110251889 @default.
- W4294565945 hasConceptScore W4294565945C111335779 @default.
- W4294565945 hasConceptScore W4294565945C112313634 @default.
- W4294565945 hasConceptScore W4294565945C11413529 @default.
- W4294565945 hasConceptScore W4294565945C118615104 @default.
- W4294565945 hasConceptScore W4294565945C127716648 @default.
- W4294565945 hasConceptScore W4294565945C162324750 @default.
- W4294565945 hasConceptScore W4294565945C177264268 @default.
- W4294565945 hasConceptScore W4294565945C183778304 @default.
- W4294565945 hasConceptScore W4294565945C185592680 @default.
- W4294565945 hasConceptScore W4294565945C187736073 @default.
- W4294565945 hasConceptScore W4294565945C188082640 @default.
- W4294565945 hasConceptScore W4294565945C199360897 @default.
- W4294565945 hasConceptScore W4294565945C2524010 @default.
- W4294565945 hasConceptScore W4294565945C2780451532 @default.
- W4294565945 hasConceptScore W4294565945C33923547 @default.
- W4294565945 hasConceptScore W4294565945C41008148 @default.
- W4294565945 hasConceptScore W4294565945C55493867 @default.
- W4294565945 hasConceptScore W4294565945C75949130 @default.
- W4294565945 hasConceptScore W4294565945C80444323 @default.
- W4294565945 hasConceptScore W4294565945C94633896 @default.
- W4294565945 hasLocation W42945659451 @default.
- W4294565945 hasOpenAccess W4294565945 @default.
- W4294565945 hasPrimaryLocation W42945659451 @default.
- W4294565945 hasRelatedWork W1501252054 @default.
- W4294565945 hasRelatedWork W1535497513 @default.
- W4294565945 hasRelatedWork W1546995467 @default.
- W4294565945 hasRelatedWork W1868864221 @default.
- W4294565945 hasRelatedWork W2031835656 @default.
- W4294565945 hasRelatedWork W2785660697 @default.
- W4294565945 hasRelatedWork W2803341075 @default.
- W4294565945 hasRelatedWork W2960238303 @default.
- W4294565945 hasRelatedWork W4294565945 @default.
- W4294565945 hasRelatedWork W2527288790 @default.
- W4294565945 isParatext "false" @default.
- W4294565945 isRetracted "false" @default.
- W4294565945 workType "article" @default.