Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585398435> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1585398435 endingPage "281" @default.
- W1585398435 startingPage "271" @default.
- W1585398435 abstract "We consider the problem of verifying MPI programs that use MPI_Probe and MPI_Iprobe. Conventional testing tools, known to be inadequate in general, are even more so for testing MPI programs containing MPI probes. A few reasons are: (i) use of the MPI_ANY_SOURCE argument can make MPI probes non-deterministic, allowing them to match multiple senders, (ii) an MPI_Recv that follows an MPI probe need not match the MPI_Send that was successfully probed, and (iii) simply re-running the MPI program, even with schedule perturbations, is insufficient to bring out all behaviors of an MPI program using probes. We develop several key insights that help develop an elegant solution: prioritizing MPI processes during dynamic verification, handling non-determinism, and safe handling of probe loops. These solutions are incorporated into a new version of our dynamic verification tool ISP. ISP is now able to efficiently and soundly verify larger MPI examples, including MPI-BLAST and ADLB." @default.
- W1585398435 created "2016-06-24" @default.
- W1585398435 creator A5014920685 @default.
- W1585398435 creator A5054841277 @default.
- W1585398435 creator A5069008580 @default.
- W1585398435 creator A5069846379 @default.
- W1585398435 creator A5073887611 @default.
- W1585398435 creator A5083523340 @default.
- W1585398435 date "2009-01-01" @default.
- W1585398435 modified "2023-09-22" @default.
- W1585398435 title "Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism" @default.
- W1585398435 cites W1596400970 @default.
- W1585398435 cites W1644332395 @default.
- W1585398435 cites W1815537977 @default.
- W1585398435 cites W1848189967 @default.
- W1585398435 cites W1893845610 @default.
- W1585398435 cites W2016730924 @default.
- W1585398435 cites W2115309705 @default.
- W1585398435 cites W2149871224 @default.
- W1585398435 cites W2151240335 @default.
- W1585398435 cites W2163499368 @default.
- W1585398435 cites W2169870841 @default.
- W1585398435 cites W4244486899 @default.
- W1585398435 doi "https://doi.org/10.1007/978-3-642-03770-2_33" @default.
- W1585398435 hasPublicationYear "2009" @default.
- W1585398435 type Work @default.
- W1585398435 sameAs 1585398435 @default.
- W1585398435 citedByCount "5" @default.
- W1585398435 crossrefType "book-chapter" @default.
- W1585398435 hasAuthorship W1585398435A5014920685 @default.
- W1585398435 hasAuthorship W1585398435A5054841277 @default.
- W1585398435 hasAuthorship W1585398435A5069008580 @default.
- W1585398435 hasAuthorship W1585398435A5069846379 @default.
- W1585398435 hasAuthorship W1585398435A5073887611 @default.
- W1585398435 hasAuthorship W1585398435A5083523340 @default.
- W1585398435 hasBestOaLocation W15853984352 @default.
- W1585398435 hasConcept C111919701 @default.
- W1585398435 hasConcept C120314980 @default.
- W1585398435 hasConcept C166782233 @default.
- W1585398435 hasConcept C173608175 @default.
- W1585398435 hasConcept C26517878 @default.
- W1585398435 hasConcept C41008148 @default.
- W1585398435 hasConcept C68387754 @default.
- W1585398435 hasConcept C854659 @default.
- W1585398435 hasConceptScore W1585398435C111919701 @default.
- W1585398435 hasConceptScore W1585398435C120314980 @default.
- W1585398435 hasConceptScore W1585398435C166782233 @default.
- W1585398435 hasConceptScore W1585398435C173608175 @default.
- W1585398435 hasConceptScore W1585398435C26517878 @default.
- W1585398435 hasConceptScore W1585398435C41008148 @default.
- W1585398435 hasConceptScore W1585398435C68387754 @default.
- W1585398435 hasConceptScore W1585398435C854659 @default.
- W1585398435 hasLocation W15853984351 @default.
- W1585398435 hasLocation W15853984352 @default.
- W1585398435 hasOpenAccess W1585398435 @default.
- W1585398435 hasPrimaryLocation W15853984351 @default.
- W1585398435 hasRelatedWork W148823471 @default.
- W1585398435 hasRelatedWork W1513967072 @default.
- W1585398435 hasRelatedWork W1582405267 @default.
- W1585398435 hasRelatedWork W1591171990 @default.
- W1585398435 hasRelatedWork W1967627035 @default.
- W1585398435 hasRelatedWork W2354106728 @default.
- W1585398435 hasRelatedWork W2362269215 @default.
- W1585398435 hasRelatedWork W3106220299 @default.
- W1585398435 hasRelatedWork W4235217501 @default.
- W1585398435 hasRelatedWork W2622060226 @default.
- W1585398435 isParatext "false" @default.
- W1585398435 isRetracted "false" @default.
- W1585398435 magId "1585398435" @default.
- W1585398435 workType "book-chapter" @default.