23 citations · 23 across the 3 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
cs.LO2003
Methods to Model-Check Parallel Systems Software
Olga Shumsky Matlin, William McCune, Ewing Lusk
We report on an effort to develop methodologies for formal verification of parts of the Multi-Purpose Daemon (MPD) parallel process management system. MPD is a distributed collecti…
cs.DC2003
Optimizing Noncontiguous Accesses in MPI-IO
Rajeev Thakur, William Gropp, Ewing Lusk
The I/O access patterns of many parallel applications consist of accesses to a large number of small, noncontiguous pieces of data. If an application's I/O needs are met by making…