Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544441750> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1544441750 endingPage "223" @default.
- W1544441750 startingPage "208" @default.
- W1544441750 abstract "This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running an instrumented version of the program. The algorithm is interesting because it can identify deadlock potentials even though no deadlocks occur in the examined execution, and therefore it scales very well in contrast to more formal approaches to deadlock detection. It is an improvement of an existing algorithm in that it reduces the number of false positives (false warnings). The paper describes an implementation and an application to three case studies.KeywordsModel CheckExecution TraceData RaceDeadlock DetectionMultithreaded ProgramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1544441750 created "2016-06-24" @default.
- W1544441750 creator A5040778442 @default.
- W1544441750 creator A5069785845 @default.
- W1544441750 date "2006-01-01" @default.
- W1544441750 modified "2023-10-15" @default.
- W1544441750 title "Dynamic Deadlock Analysis of Multi-threaded Programs" @default.
- W1544441750 cites W1532324212 @default.
- W1544441750 cites W1553858749 @default.
- W1544441750 cites W1561114929 @default.
- W1544441750 cites W1825341937 @default.
- W1544441750 cites W1862182621 @default.
- W1544441750 cites W1868818739 @default.
- W1544441750 cites W1965462925 @default.
- W1544441750 cites W1972544179 @default.
- W1544441750 cites W2016208194 @default.
- W1544441750 cites W2016314068 @default.
- W1544441750 cites W2040060046 @default.
- W1544441750 cites W2048327004 @default.
- W1544441750 cites W2065675749 @default.
- W1544441750 cites W2066775342 @default.
- W1544441750 cites W2111419012 @default.
- W1544441750 cites W2116873772 @default.
- W1544441750 cites W2132150351 @default.
- W1544441750 cites W2171480813 @default.
- W1544441750 doi "https://doi.org/10.1007/11678779_15" @default.
- W1544441750 hasPublicationYear "2006" @default.
- W1544441750 type Work @default.
- W1544441750 sameAs 1544441750 @default.
- W1544441750 citedByCount "56" @default.
- W1544441750 countsByYear W15444417502012 @default.
- W1544441750 countsByYear W15444417502013 @default.
- W1544441750 countsByYear W15444417502014 @default.
- W1544441750 countsByYear W15444417502015 @default.
- W1544441750 countsByYear W15444417502016 @default.
- W1544441750 countsByYear W15444417502017 @default.
- W1544441750 countsByYear W15444417502018 @default.
- W1544441750 countsByYear W15444417502019 @default.
- W1544441750 countsByYear W15444417502020 @default.
- W1544441750 countsByYear W15444417502021 @default.
- W1544441750 countsByYear W15444417502022 @default.
- W1544441750 countsByYear W15444417502023 @default.
- W1544441750 crossrefType "book-chapter" @default.
- W1544441750 hasAuthorship W1544441750A5040778442 @default.
- W1544441750 hasAuthorship W1544441750A5069785845 @default.
- W1544441750 hasBestOaLocation W15444417502 @default.
- W1544441750 hasConcept C113429609 @default.
- W1544441750 hasConcept C11413529 @default.
- W1544441750 hasConcept C120314980 @default.
- W1544441750 hasConcept C138885662 @default.
- W1544441750 hasConcept C140006998 @default.
- W1544441750 hasConcept C154945302 @default.
- W1544441750 hasConcept C159023740 @default.
- W1544441750 hasConcept C173608175 @default.
- W1544441750 hasConcept C199360897 @default.
- W1544441750 hasConcept C41008148 @default.
- W1544441750 hasConcept C41895202 @default.
- W1544441750 hasConcept C64869954 @default.
- W1544441750 hasConcept C75291252 @default.
- W1544441750 hasConcept C98045186 @default.
- W1544441750 hasConcept C98183937 @default.
- W1544441750 hasConceptScore W1544441750C113429609 @default.
- W1544441750 hasConceptScore W1544441750C11413529 @default.
- W1544441750 hasConceptScore W1544441750C120314980 @default.
- W1544441750 hasConceptScore W1544441750C138885662 @default.
- W1544441750 hasConceptScore W1544441750C140006998 @default.
- W1544441750 hasConceptScore W1544441750C154945302 @default.
- W1544441750 hasConceptScore W1544441750C159023740 @default.
- W1544441750 hasConceptScore W1544441750C173608175 @default.
- W1544441750 hasConceptScore W1544441750C199360897 @default.
- W1544441750 hasConceptScore W1544441750C41008148 @default.
- W1544441750 hasConceptScore W1544441750C41895202 @default.
- W1544441750 hasConceptScore W1544441750C64869954 @default.
- W1544441750 hasConceptScore W1544441750C75291252 @default.
- W1544441750 hasConceptScore W1544441750C98045186 @default.
- W1544441750 hasConceptScore W1544441750C98183937 @default.
- W1544441750 hasLocation W15444417501 @default.
- W1544441750 hasLocation W15444417502 @default.
- W1544441750 hasOpenAccess W1544441750 @default.
- W1544441750 hasPrimaryLocation W15444417501 @default.
- W1544441750 hasRelatedWork W1544441750 @default.
- W1544441750 hasRelatedWork W1993531066 @default.
- W1544441750 hasRelatedWork W2132294215 @default.
- W1544441750 hasRelatedWork W2283246674 @default.
- W1544441750 hasRelatedWork W2379911191 @default.
- W1544441750 hasRelatedWork W2380314807 @default.
- W1544441750 hasRelatedWork W3017218903 @default.
- W1544441750 hasRelatedWork W3140720071 @default.
- W1544441750 hasRelatedWork W4252845830 @default.
- W1544441750 hasRelatedWork W1776252073 @default.
- W1544441750 isParatext "false" @default.
- W1544441750 isRetracted "false" @default.
- W1544441750 magId "1544441750" @default.
- W1544441750 workType "book-chapter" @default.