Matches in SemOpenAlex for { <https://semopenalex.org/work/W2570796735> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2570796735 abstract "MPI is widely used in high performance computing. In this extended abstract, we report our current status of analyzing MPI programs. Our method can provide coverage of both input and non-determinism for MPI programs with mixed blocking and non-blocking operations. In addition, to improve the scalability further, a deadlock-oriented guiding method for symbolic execution is proposed. We have implemented our methods, and the preliminary experimental results are promising." @default.
- W2570796735 created "2017-01-13" @default.
- W2570796735 creator A5024920190 @default.
- W2570796735 creator A5027053844 @default.
- W2570796735 creator A5033507131 @default.
- W2570796735 creator A5043091074 @default.
- W2570796735 creator A5055846297 @default.
- W2570796735 creator A5087617621 @default.
- W2570796735 date "2015-05-01" @default.
- W2570796735 modified "2023-09-22" @default.
- W2570796735 title "Poster: Symbolic Execution of MPI Programs" @default.
- W2570796735 cites W186123808 @default.
- W2570796735 cites W1994941228 @default.
- W2570796735 cites W2015321775 @default.
- W2570796735 cites W2076384838 @default.
- W2570796735 cites W2095551048 @default.
- W2570796735 cites W2101512909 @default.
- W2570796735 cites W2149871224 @default.
- W2570796735 doi "https://doi.org/10.1109/icse.2015.259" @default.
- W2570796735 hasPublicationYear "2015" @default.
- W2570796735 type Work @default.
- W2570796735 sameAs 2570796735 @default.
- W2570796735 citedByCount "1" @default.
- W2570796735 countsByYear W25707967352018 @default.
- W2570796735 crossrefType "proceedings-article" @default.
- W2570796735 hasAuthorship W2570796735A5024920190 @default.
- W2570796735 hasAuthorship W2570796735A5027053844 @default.
- W2570796735 hasAuthorship W2570796735A5033507131 @default.
- W2570796735 hasAuthorship W2570796735A5043091074 @default.
- W2570796735 hasAuthorship W2570796735A5055846297 @default.
- W2570796735 hasAuthorship W2570796735A5087617621 @default.
- W2570796735 hasConcept C111919701 @default.
- W2570796735 hasConcept C113429609 @default.
- W2570796735 hasConcept C118524514 @default.
- W2570796735 hasConcept C120314980 @default.
- W2570796735 hasConcept C144745244 @default.
- W2570796735 hasConcept C159023740 @default.
- W2570796735 hasConcept C173608175 @default.
- W2570796735 hasConcept C199360897 @default.
- W2570796735 hasConcept C2777904410 @default.
- W2570796735 hasConcept C2779639559 @default.
- W2570796735 hasConcept C31258907 @default.
- W2570796735 hasConcept C41008148 @default.
- W2570796735 hasConcept C48044578 @default.
- W2570796735 hasConceptScore W2570796735C111919701 @default.
- W2570796735 hasConceptScore W2570796735C113429609 @default.
- W2570796735 hasConceptScore W2570796735C118524514 @default.
- W2570796735 hasConceptScore W2570796735C120314980 @default.
- W2570796735 hasConceptScore W2570796735C144745244 @default.
- W2570796735 hasConceptScore W2570796735C159023740 @default.
- W2570796735 hasConceptScore W2570796735C173608175 @default.
- W2570796735 hasConceptScore W2570796735C199360897 @default.
- W2570796735 hasConceptScore W2570796735C2777904410 @default.
- W2570796735 hasConceptScore W2570796735C2779639559 @default.
- W2570796735 hasConceptScore W2570796735C31258907 @default.
- W2570796735 hasConceptScore W2570796735C41008148 @default.
- W2570796735 hasConceptScore W2570796735C48044578 @default.
- W2570796735 hasLocation W25707967351 @default.
- W2570796735 hasOpenAccess W2570796735 @default.
- W2570796735 hasPrimaryLocation W25707967351 @default.
- W2570796735 hasRelatedWork W1984058114 @default.
- W2570796735 hasRelatedWork W2006866566 @default.
- W2570796735 hasRelatedWork W2008647243 @default.
- W2570796735 hasRelatedWork W2021384817 @default.
- W2570796735 hasRelatedWork W2048849615 @default.
- W2570796735 hasRelatedWork W2051383666 @default.
- W2570796735 hasRelatedWork W2053285917 @default.
- W2570796735 hasRelatedWork W2061211227 @default.
- W2570796735 hasRelatedWork W2119266178 @default.
- W2570796735 hasRelatedWork W2123013088 @default.
- W2570796735 hasRelatedWork W2138723837 @default.
- W2570796735 hasRelatedWork W2158375611 @default.
- W2570796735 hasRelatedWork W2166834428 @default.
- W2570796735 hasRelatedWork W2387313526 @default.
- W2570796735 hasRelatedWork W2946623105 @default.
- W2570796735 hasRelatedWork W2963335587 @default.
- W2570796735 hasRelatedWork W2990416406 @default.
- W2570796735 hasRelatedWork W3045028504 @default.
- W2570796735 hasRelatedWork W3091311950 @default.
- W2570796735 hasRelatedWork W3190614485 @default.
- W2570796735 isParatext "false" @default.
- W2570796735 isRetracted "false" @default.
- W2570796735 magId "2570796735" @default.
- W2570796735 workType "article" @default.