Matches in SemOpenAlex for { <https://semopenalex.org/work/W2754455611> ?p ?o ?g. }
- W2754455611 abstract "Many dynamic hybrid race detectors aim at detecting violations of the lockset discipline in execution traces of multithreaded programs. They are designed to abstract memory accesses appearing in traces as contexts. Nonetheless, they keep these contexts in different extents and partition the sets of contexts into equivalent classes of different granularity. In our case study, we compare three detectors using the PARSEC benchmark suite to examine the impact of using unrestricted strategy or restricted strategy for keeping these contexts in sequence on detection effectiveness, and the impact of partitioning context sequences by different granularities on scalability in time cost. The case study results indicate that using restricted context sequences sufficed to detect very high proportions of locking discipline violations detectable by using unrestricted context sequences, and the partitioning of context sets into finer equivalent classes significantly lowers the scalability in time cost with increasing number of threads to handle the same input workload." @default.
- W2754455611 created "2017-09-25" @default.
- W2754455611 creator A5020936420 @default.
- W2754455611 creator A5057717126 @default.
- W2754455611 creator A5069979960 @default.
- W2754455611 date "2017-07-01" @default.
- W2754455611 modified "2023-09-26" @default.
- W2754455611 title "A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors" @default.
- W2754455611 cites W1535409169 @default.
- W2754455611 cites W1652742168 @default.
- W2754455611 cites W1972544179 @default.
- W2754455611 cites W1988888548 @default.
- W2754455611 cites W2002946738 @default.
- W2754455611 cites W2025819261 @default.
- W2754455611 cites W2046356342 @default.
- W2754455611 cites W2046368282 @default.
- W2754455611 cites W2072419942 @default.
- W2754455611 cites W2078197548 @default.
- W2754455611 cites W2105391037 @default.
- W2754455611 cites W2114354140 @default.
- W2754455611 cites W2115313734 @default.
- W2754455611 cites W2121816623 @default.
- W2754455611 cites W2127989655 @default.
- W2754455611 cites W2131605630 @default.
- W2754455611 cites W2134633067 @default.
- W2754455611 cites W2150602145 @default.
- W2754455611 cites W2157539713 @default.
- W2754455611 cites W2167744164 @default.
- W2754455611 cites W2169875292 @default.
- W2754455611 cites W2528011765 @default.
- W2754455611 cites W3137220996 @default.
- W2754455611 cites W2294601888 @default.
- W2754455611 doi "https://doi.org/10.1109/compsac.2017.9" @default.
- W2754455611 hasPublicationYear "2017" @default.
- W2754455611 type Work @default.
- W2754455611 sameAs 2754455611 @default.
- W2754455611 citedByCount "0" @default.
- W2754455611 crossrefType "proceedings-article" @default.
- W2754455611 hasAuthorship W2754455611A5020936420 @default.
- W2754455611 hasAuthorship W2754455611A5057717126 @default.
- W2754455611 hasAuthorship W2754455611A5069979960 @default.
- W2754455611 hasConcept C111919701 @default.
- W2754455611 hasConcept C114614502 @default.
- W2754455611 hasConcept C127413603 @default.
- W2754455611 hasConcept C13280743 @default.
- W2754455611 hasConcept C138101251 @default.
- W2754455611 hasConcept C150846664 @default.
- W2754455611 hasConcept C151730666 @default.
- W2754455611 hasConcept C173608175 @default.
- W2754455611 hasConcept C177774035 @default.
- W2754455611 hasConcept C185798385 @default.
- W2754455611 hasConcept C199360897 @default.
- W2754455611 hasConcept C201410400 @default.
- W2754455611 hasConcept C205649164 @default.
- W2754455611 hasConcept C2778112365 @default.
- W2754455611 hasConcept C2778476105 @default.
- W2754455611 hasConcept C2779343474 @default.
- W2754455611 hasConcept C31972630 @default.
- W2754455611 hasConcept C33923547 @default.
- W2754455611 hasConcept C41008148 @default.
- W2754455611 hasConcept C42812 @default.
- W2754455611 hasConcept C44060867 @default.
- W2754455611 hasConcept C48044578 @default.
- W2754455611 hasConcept C54355233 @default.
- W2754455611 hasConcept C54525549 @default.
- W2754455611 hasConcept C76155785 @default.
- W2754455611 hasConcept C78519656 @default.
- W2754455611 hasConcept C80444323 @default.
- W2754455611 hasConcept C86803240 @default.
- W2754455611 hasConcept C94915269 @default.
- W2754455611 hasConceptScore W2754455611C111919701 @default.
- W2754455611 hasConceptScore W2754455611C114614502 @default.
- W2754455611 hasConceptScore W2754455611C127413603 @default.
- W2754455611 hasConceptScore W2754455611C13280743 @default.
- W2754455611 hasConceptScore W2754455611C138101251 @default.
- W2754455611 hasConceptScore W2754455611C150846664 @default.
- W2754455611 hasConceptScore W2754455611C151730666 @default.
- W2754455611 hasConceptScore W2754455611C173608175 @default.
- W2754455611 hasConceptScore W2754455611C177774035 @default.
- W2754455611 hasConceptScore W2754455611C185798385 @default.
- W2754455611 hasConceptScore W2754455611C199360897 @default.
- W2754455611 hasConceptScore W2754455611C201410400 @default.
- W2754455611 hasConceptScore W2754455611C205649164 @default.
- W2754455611 hasConceptScore W2754455611C2778112365 @default.
- W2754455611 hasConceptScore W2754455611C2778476105 @default.
- W2754455611 hasConceptScore W2754455611C2779343474 @default.
- W2754455611 hasConceptScore W2754455611C31972630 @default.
- W2754455611 hasConceptScore W2754455611C33923547 @default.
- W2754455611 hasConceptScore W2754455611C41008148 @default.
- W2754455611 hasConceptScore W2754455611C42812 @default.
- W2754455611 hasConceptScore W2754455611C44060867 @default.
- W2754455611 hasConceptScore W2754455611C48044578 @default.
- W2754455611 hasConceptScore W2754455611C54355233 @default.
- W2754455611 hasConceptScore W2754455611C54525549 @default.
- W2754455611 hasConceptScore W2754455611C76155785 @default.
- W2754455611 hasConceptScore W2754455611C78519656 @default.
- W2754455611 hasConceptScore W2754455611C80444323 @default.
- W2754455611 hasConceptScore W2754455611C86803240 @default.
- W2754455611 hasConceptScore W2754455611C94915269 @default.
- W2754455611 hasLocation W27544556111 @default.