FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310551569> ?p ?o ?g. }

• W4310551569 endingPage "415" @default.
• W4310551569 startingPage "400" @default.
• W4310551569 abstract "This article presents a static deadlock analysis for single-path MPI programs. Deadlock is when processes are blocked indefinitely by a circular communication dependency. A single path program is one that does not decode messages for control flow. The analysis records a program execution in the form of a trace and then determines from that trace whether there exists any feasible deadlocking schedules. The primary contribution is the combining of identical consecutive sends or receives into single macro actions. This simplified trace is analyzed for potential deadlock cycles. An abstract machine identifies infeasible cycles, and those not identified by the machine are encoded as satisfiability problems for an SMT solver to resolve. The action combination reduces the complexity of identifying and filtering cycles before needing the costly SMT solver. This article shows the effectiveness of the action combination in experiments on a benchmark suite comparing to traces without action combination and other state-of-the-art deadlock analyses." @default.
• W4310551569 created "2022-12-12" @default.
• W4310551569 creator A5005072374 @default.
• W4310551569 creator A5025978852 @default.
• W4310551569 creator A5045281710 @default.
• W4310551569 creator A5050540783 @default.
• W4310551569 creator A5085142676 @default.
• W4310551569 date "2023-01-01" @default.
• W4310551569 modified "2023-09-25" @default.
• W4310551569 title "Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression" @default.
• W4310551569 cites W1480909796 @default.
• W4310551569 cites W1559665648 @default.
• W4310551569 cites W1761923495 @default.
• W4310551569 cites W186123808 @default.
• W4310551569 cites W1872471105 @default.
• W4310551569 cites W1978562726 @default.
• W4310551569 cites W1980044088 @default.
• W4310551569 cites W2023489866 @default.
• W4310551569 cites W2063362342 @default.
• W4310551569 cites W2083342911 @default.
• W4310551569 cites W2103772961 @default.
• W4310551569 cites W2112121929 @default.
• W4310551569 cites W2115309705 @default.
• W4310551569 cites W2119494620 @default.
• W4310551569 cites W2132613390 @default.
• W4310551569 cites W2169870841 @default.
• W4310551569 cites W2245258423 @default.
• W4310551569 cites W2273799252 @default.
• W4310551569 cites W2556273741 @default.
• W4310551569 cites W2749582297 @default.
• W4310551569 cites W2884340427 @default.
• W4310551569 cites W2898242299 @default.
• W4310551569 cites W2988063199 @default.
• W4310551569 cites W3125334465 @default.
• W4310551569 cites W4232616607 @default.
• W4310551569 cites W4242852064 @default.
• W4310551569 cites W4253460352 @default.
• W4310551569 cites W818779475 @default.
• W4310551569 doi "https://doi.org/10.1109/tpds.2022.3218346" @default.
• W4310551569 hasPublicationYear "2023" @default.
• W4310551569 type Work @default.
• W4310551569 citedByCount "0" @default.
• W4310551569 crossrefType "journal-article" @default.
• W4310551569 hasAuthorship W4310551569A5005072374 @default.
• W4310551569 hasAuthorship W4310551569A5025978852 @default.
• W4310551569 hasAuthorship W4310551569A5045281710 @default.
• W4310551569 hasAuthorship W4310551569A5050540783 @default.
• W4310551569 hasAuthorship W4310551569A5085142676 @default.
• W4310551569 hasConcept C113429609 @default.
• W4310551569 hasConcept C115903868 @default.
• W4310551569 hasConcept C120314980 @default.
• W4310551569 hasConcept C13280743 @default.
• W4310551569 hasConcept C138885662 @default.
• W4310551569 hasConcept C159023740 @default.
• W4310551569 hasConcept C160191386 @default.
• W4310551569 hasConcept C168773769 @default.
• W4310551569 hasConcept C169590947 @default.
• W4310551569 hasConcept C173608175 @default.
• W4310551569 hasConcept C185798385 @default.
• W4310551569 hasConcept C19768560 @default.
• W4310551569 hasConcept C199360897 @default.
• W4310551569 hasConcept C205649164 @default.
• W4310551569 hasConcept C2777735758 @default.
• W4310551569 hasConcept C2778770139 @default.
• W4310551569 hasConcept C41008148 @default.
• W4310551569 hasConcept C41895202 @default.
• W4310551569 hasConcept C75291252 @default.
• W4310551569 hasConcept C80444323 @default.
• W4310551569 hasConceptScore W4310551569C113429609 @default.
• W4310551569 hasConceptScore W4310551569C115903868 @default.
• W4310551569 hasConceptScore W4310551569C120314980 @default.
• W4310551569 hasConceptScore W4310551569C13280743 @default.
• W4310551569 hasConceptScore W4310551569C138885662 @default.
• W4310551569 hasConceptScore W4310551569C159023740 @default.
• W4310551569 hasConceptScore W4310551569C160191386 @default.
• W4310551569 hasConceptScore W4310551569C168773769 @default.
• W4310551569 hasConceptScore W4310551569C169590947 @default.
• W4310551569 hasConceptScore W4310551569C173608175 @default.
• W4310551569 hasConceptScore W4310551569C185798385 @default.
• W4310551569 hasConceptScore W4310551569C19768560 @default.
• W4310551569 hasConceptScore W4310551569C199360897 @default.
• W4310551569 hasConceptScore W4310551569C205649164 @default.
• W4310551569 hasConceptScore W4310551569C2777735758 @default.
• W4310551569 hasConceptScore W4310551569C2778770139 @default.
• W4310551569 hasConceptScore W4310551569C41008148 @default.
• W4310551569 hasConceptScore W4310551569C41895202 @default.
• W4310551569 hasConceptScore W4310551569C75291252 @default.
• W4310551569 hasConceptScore W4310551569C80444323 @default.
• W4310551569 hasFunder F4320321001 @default.
• W4310551569 hasIssue "1" @default.
• W4310551569 hasLocation W43105515691 @default.
• W4310551569 hasOpenAccess W4310551569 @default.
• W4310551569 hasPrimaryLocation W43105515691 @default.
• W4310551569 hasRelatedWork W1541585229 @default.
• W4310551569 hasRelatedWork W1583465708 @default.
• W4310551569 hasRelatedWork W1601646354 @default.
• W4310551569 hasRelatedWork W2023505575 @default.
• W4310551569 hasRelatedWork W2379911191 @default.

• next