Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596400970> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1596400970 endingPage "256" @default.
- W1596400970 startingPage "248" @default.
- W1596400970 abstract "We examine the problem of formally verifying MPI programs for safety properties through an efficient dynamic (runtime) method in which the processes of a given MPI program are executed under the control of an interleaving scheduler. To ensure full coverage for given input test data, the algorithm must take into consideration MPI’s out-of-order completion semantics. The algorithm must also ensure that nondeterministic constructs (e.g., MPI wildcard receive matches) are executed in all possible ways. Our new algorithm rewrites wildcard receives to specific receives, one for each sender that can potentially match with the receive. It then recursively explores each case of the specific receives. The list of potential senders matching a receive is determined through a runtime algorithm that exploits MPI’s operation ordering semantics. Our verification tool ISP that incorporates this algorithm efficiently verifies several programs and finds bugs missed by existing informal verification tools." @default.
- W1596400970 created "2016-06-24" @default.
- W1596400970 creator A5014920685 @default.
- W1596400970 creator A5054841277 @default.
- W1596400970 creator A5069846379 @default.
- W1596400970 creator A5077899389 @default.
- W1596400970 creator A5083523340 @default.
- W1596400970 creator A5090117182 @default.
- W1596400970 date "2008-01-01" @default.
- W1596400970 modified "2023-09-22" @default.
- W1596400970 title "Implementing Efficient Dynamic Formal Verification Methods for MPI Programs" @default.
- W1596400970 cites W1507330041 @default.
- W1596400970 cites W1529671387 @default.
- W1596400970 cites W1978562726 @default.
- W1596400970 cites W2065675749 @default.
- W1596400970 cites W2089427110 @default.
- W1596400970 cites W2118437239 @default.
- W1596400970 cites W2169870841 @default.
- W1596400970 cites W4232616607 @default.
- W1596400970 cites W4255326147 @default.
- W1596400970 doi "https://doi.org/10.1007/978-3-540-87475-1_34" @default.
- W1596400970 hasPublicationYear "2008" @default.
- W1596400970 type Work @default.
- W1596400970 sameAs 1596400970 @default.
- W1596400970 citedByCount "15" @default.
- W1596400970 countsByYear W15964009702014 @default.
- W1596400970 crossrefType "book-chapter" @default.
- W1596400970 hasAuthorship W1596400970A5014920685 @default.
- W1596400970 hasAuthorship W1596400970A5054841277 @default.
- W1596400970 hasAuthorship W1596400970A5069846379 @default.
- W1596400970 hasAuthorship W1596400970A5077899389 @default.
- W1596400970 hasAuthorship W1596400970A5083523340 @default.
- W1596400970 hasAuthorship W1596400970A5090117182 @default.
- W1596400970 hasConcept C111919701 @default.
- W1596400970 hasConcept C120314980 @default.
- W1596400970 hasConcept C165696696 @default.
- W1596400970 hasConcept C173608175 @default.
- W1596400970 hasConcept C176181172 @default.
- W1596400970 hasConcept C184337299 @default.
- W1596400970 hasConcept C199360897 @default.
- W1596400970 hasConcept C28034677 @default.
- W1596400970 hasConcept C38652104 @default.
- W1596400970 hasConcept C41008148 @default.
- W1596400970 hasConcept C80444323 @default.
- W1596400970 hasConceptScore W1596400970C111919701 @default.
- W1596400970 hasConceptScore W1596400970C120314980 @default.
- W1596400970 hasConceptScore W1596400970C165696696 @default.
- W1596400970 hasConceptScore W1596400970C173608175 @default.
- W1596400970 hasConceptScore W1596400970C176181172 @default.
- W1596400970 hasConceptScore W1596400970C184337299 @default.
- W1596400970 hasConceptScore W1596400970C199360897 @default.
- W1596400970 hasConceptScore W1596400970C28034677 @default.
- W1596400970 hasConceptScore W1596400970C38652104 @default.
- W1596400970 hasConceptScore W1596400970C41008148 @default.
- W1596400970 hasConceptScore W1596400970C80444323 @default.
- W1596400970 hasLocation W15964009701 @default.
- W1596400970 hasOpenAccess W1596400970 @default.
- W1596400970 hasPrimaryLocation W15964009701 @default.
- W1596400970 hasRelatedWork W1474311139 @default.
- W1596400970 hasRelatedWork W1566713756 @default.
- W1596400970 hasRelatedWork W1587224678 @default.
- W1596400970 hasRelatedWork W1991569066 @default.
- W1596400970 hasRelatedWork W2005574148 @default.
- W1596400970 hasRelatedWork W2102187481 @default.
- W1596400970 hasRelatedWork W4213187981 @default.
- W1596400970 hasRelatedWork W4232974719 @default.
- W1596400970 hasRelatedWork W872977860 @default.
- W1596400970 hasRelatedWork W971450223 @default.
- W1596400970 isParatext "false" @default.
- W1596400970 isRetracted "false" @default.
- W1596400970 magId "1596400970" @default.
- W1596400970 workType "book-chapter" @default.