Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039404410> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2039404410 endingPage "548" @default.
- W2039404410 startingPage "534" @default.
- W2039404410 abstract "Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both low- and high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory anomalies. We start by dealing with the classic case of low-level dataraces, identifying concurrent accesses to shared memory cells that are not protected within the scope of a memory transaction. Then, we address the case of high-level dataraces, bringing the programmer?s attention to pairs of memory transactions that were misspecified and should have been combined into a single transaction. Our framework was applied to a set of programs, collected form different sources, containing well known low- and high-level anomalies. The framework demonstrated to be accurate, confirming the effectiveness of using static analysis techniques to precisely identify concurrency anomalies in Transactional Memory programs." @default.
- W2039404410 created "2016-06-24" @default.
- W2039404410 creator A5020597826 @default.
- W2039404410 creator A5025833966 @default.
- W2039404410 creator A5051981940 @default.
- W2039404410 creator A5090925729 @default.
- W2039404410 date "2011-01-01" @default.
- W2039404410 modified "2023-09-26" @default.
- W2039404410 title "Detecting concurrency anomalies in transactional memory programs" @default.
- W2039404410 cites W1532324212 @default.
- W2039404410 cites W1812582761 @default.
- W2039404410 cites W1828747228 @default.
- W2039404410 cites W1965462925 @default.
- W2039404410 cites W1989293671 @default.
- W2039404410 cites W1996182867 @default.
- W2039404410 cites W2015929257 @default.
- W2039404410 cites W2039350582 @default.
- W2039404410 cites W2061239425 @default.
- W2039404410 cites W2082766667 @default.
- W2039404410 cites W2092911542 @default.
- W2039404410 cites W2105055683 @default.
- W2039404410 cites W2109875364 @default.
- W2039404410 cites W2125533170 @default.
- W2039404410 cites W2127989655 @default.
- W2039404410 cites W2133662847 @default.
- W2039404410 cites W2137422315 @default.
- W2039404410 cites W2150602145 @default.
- W2039404410 cites W97810454 @default.
- W2039404410 cites W207372786 @default.
- W2039404410 doi "https://doi.org/10.2298/csis110110007l" @default.
- W2039404410 hasPublicationYear "2011" @default.
- W2039404410 type Work @default.
- W2039404410 sameAs 2039404410 @default.
- W2039404410 citedByCount "8" @default.
- W2039404410 countsByYear W20394044102012 @default.
- W2039404410 countsByYear W20394044102013 @default.
- W2039404410 countsByYear W20394044102015 @default.
- W2039404410 crossrefType "journal-article" @default.
- W2039404410 hasAuthorship W2039404410A5020597826 @default.
- W2039404410 hasAuthorship W2039404410A5025833966 @default.
- W2039404410 hasAuthorship W2039404410A5051981940 @default.
- W2039404410 hasAuthorship W2039404410A5090925729 @default.
- W2039404410 hasBestOaLocation W20394044101 @default.
- W2039404410 hasConcept C120314980 @default.
- W2039404410 hasConcept C127722929 @default.
- W2039404410 hasConcept C134277064 @default.
- W2039404410 hasConcept C15744967 @default.
- W2039404410 hasConcept C167149655 @default.
- W2039404410 hasConcept C177264268 @default.
- W2039404410 hasConcept C193702766 @default.
- W2039404410 hasConcept C199360897 @default.
- W2039404410 hasConcept C2778514511 @default.
- W2039404410 hasConcept C41008148 @default.
- W2039404410 hasConcept C55439883 @default.
- W2039404410 hasConcept C68489960 @default.
- W2039404410 hasConcept C75949130 @default.
- W2039404410 hasConcept C77805123 @default.
- W2039404410 hasConcept C84511453 @default.
- W2039404410 hasConceptScore W2039404410C120314980 @default.
- W2039404410 hasConceptScore W2039404410C127722929 @default.
- W2039404410 hasConceptScore W2039404410C134277064 @default.
- W2039404410 hasConceptScore W2039404410C15744967 @default.
- W2039404410 hasConceptScore W2039404410C167149655 @default.
- W2039404410 hasConceptScore W2039404410C177264268 @default.
- W2039404410 hasConceptScore W2039404410C193702766 @default.
- W2039404410 hasConceptScore W2039404410C199360897 @default.
- W2039404410 hasConceptScore W2039404410C2778514511 @default.
- W2039404410 hasConceptScore W2039404410C41008148 @default.
- W2039404410 hasConceptScore W2039404410C55439883 @default.
- W2039404410 hasConceptScore W2039404410C68489960 @default.
- W2039404410 hasConceptScore W2039404410C75949130 @default.
- W2039404410 hasConceptScore W2039404410C77805123 @default.
- W2039404410 hasConceptScore W2039404410C84511453 @default.
- W2039404410 hasIssue "2" @default.
- W2039404410 hasLocation W20394044101 @default.
- W2039404410 hasOpenAccess W2039404410 @default.
- W2039404410 hasPrimaryLocation W20394044101 @default.
- W2039404410 hasRelatedWork W194621391 @default.
- W2039404410 hasRelatedWork W2039404410 @default.
- W2039404410 hasRelatedWork W2043849552 @default.
- W2039404410 hasRelatedWork W204696703 @default.
- W2039404410 hasRelatedWork W2094214855 @default.
- W2039404410 hasRelatedWork W2108204150 @default.
- W2039404410 hasRelatedWork W2123620333 @default.
- W2039404410 hasRelatedWork W2392871943 @default.
- W2039404410 hasRelatedWork W3008663690 @default.
- W2039404410 hasRelatedWork W51398200 @default.
- W2039404410 hasVolume "8" @default.
- W2039404410 isParatext "false" @default.
- W2039404410 isRetracted "false" @default.
- W2039404410 magId "2039404410" @default.
- W2039404410 workType "article" @default.