1 - 25 of 2
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, GaneshGEM: graphical explorer for MPI programsFormal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit...GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs2009
2 Gopalakrishnan, Ganesh; Kirby, Robert Michael IIVerification of MPI programs using SpinVerification of distributed systems is a complex yet important process. Concurrent systems are vulnerable to problems such as deadlock, starvation, and race conditions. Parallel programs written using the MPI (Message Passing Interface) Standard are no exception. Spin can be used to formally ver...MPI programs; Verification; distributed systems; Message Passing Interface; Spin2004
1 - 25 of 2